OpenAI объявила, что модель GPT-5.6 Sol смогла доказать гипотезу о двойном покрытии циклов (Cycle Double Cover Conjecture), остававшуюся нерешённой более 50 лет. По утверждению компании, успешное доказательство было получено одновременно с выпуском новой версии ИИ-модели. Гипотеза, сформулированная в 1970-х годах, относится к области теории графов, изучающей вершины и соединяющие их рёбра. Она утверждает, что практически любой граф допускает двойное покрытие циклами, при котором каждое ребро входит ровно в два замкнутых контура...

Запуск провели с помощью метеорологической ракеты Atrax. Во время испытания специалисты проверяли, как корпус боеприпаса выдерживает аэродинамические нагрузки при входе в атмосферу. Полученные данные планируют использовать при разработке неядерных компонентов новой боеголовки. Работы над ними ведутся в Национальных лабораториях Sandia. W93 стала первой новой термоядерной боеголовкой, которую США разрабатывают почти за 40 лет. Программа её создания стартовала в мае 2022 года на базе Лос-Аламосской национальной лаборатории в Нью-Мексико...