Доказательство OpenAI по Янгу — Миллсу проверяют, Swift завершил работу

Пятеро физиков, которым поручено проверить 1147-страничное доказательство, созданное моделью OpenAI, отказываются публиковать его до подтверждения корректности. Сначала они проверят формализацию доказательства в системе Lean, а затем представят свой анализ научному сообществу. По их оценке, сложность документа «огромна».

Даже если доказательство подтвердится, оно охватит лишь существование теории Янга — Миллса. Проблема щели масс, необходимая для получения премии тысячелетия, так и не будет решена. Математики призывали скорее опубликовать результаты, однако рецензенты не хотят спешить.

Swift завершил работу спустя 20 лет

NASA объявило о прекращении научных операций телескопа Swift и готовит его сведение с орбиты. Частная спасательная миссия компании Katalyst провалилась: буксир Link не смог добраться до обсерватории.

Сейчас нет действующего телескопа, способного полностью продолжить охоту Swift за гамма-всплесками. SVOM лишь частично заменяет его.

Шлюз модуля «Звезда» закрыт навсегда

На Международной космической станции кормовой шлюз модуля «Звезда» закрыт окончательно. Микротрещины вызывают утечки воздуха, которые невозможно устранить. Грузовые корабли «Прогресс» теперь придётся разгружать у другого порта, а затем перемещать к «Звезде» для подъёма орбиты станции.

Сбой подчёркивает старение МКС: модуль «Звезда» эксплуатируется с 2000 года.