OpenAI i dowód Yang-Millsa: fizycy czekają, Swift kończy misję

Pięciu fizyków, którzy oceniają liczący 1147 stron dowód wygenerowany przez model OpenAI, odmawia jego publikacji, dopóki nie potwierdzi się jego poprawność. Najpierw sprawdzą formalizację dowodu w systemie Lean, a dopiero potem przedstawią swoją analizę środowisku naukowemu. Według zespołu złożoność dokumentu jest „ogromna”.

Nawet jeśli dowód okaże się poprawny, obejmowałby jedynie istnienie teorii Yanga-Millsa. Nie rozwiązuje on problemu przerwy masowej, który jest potrzebny do zdobycia nagrody milenijnej. Matematycy apelowali o szybkie ujawnienie wyników, jednak recenzenci wolą nie spieszyć się z publikacją.

Swift kończy pracę po 20 latach

NASA ogłosiła zakończenie naukowych operacji teleskopu Swift i przygotowuje jego deorbitację. Prywatna misja ratunkowa firmy Katalyst nie powiodła się, ponieważ holownik Link nie dotarł do obserwatorium.

W tej chwili żaden działający teleskop nie przejmie w pełni zadań Swifta w polowaniu na rozbłyski gamma. SVOM stanowi tylko częściową alternatywę.

Śluza modułu Zvezda wyłączona z użytku

Na Międzynarodowej Stacji Kosmicznej tylną śluzę modułu Zvezda zamknięto na stałe. Mikropęknięcia powodują wycieki powietrza, których nie da się uszczelnić. Statki towarowe Progress trzeba teraz rozładowywać przy innym porcie, a dopiero potem przemieszczać do Zvezdy, aby podnosiły orbitę stacji.

Awaria pokazuje starzenie się ISS, ponieważ moduł Zvezda działa od 2000 roku.