OpenAI раскрыла десять результатов модели Astra в математике

OpenAI представила десять результатов в математике и теоретической информатике, полученных внутренней версией модели Astra. Для подборки выбрали открытые задачи без прогресса по главным утверждениям минимум десять лет, а чаще — намного дольше.

Какие задачи вошли в подборку

• Упаковка сфер: новые верхние границы плотности до порога Кона—Элкиса. Для двоичных и сферических кодов экспоненциально улучшены оценки максимального размера.
• Несофические группы: конструкция, доказывающая их существование. Гипотеза Конна: опровергнута однозначная определимость групп их алгебрами фон Неймана.
• Перманент: новые нижние границы для арифметических схем и формул, включая n^4/log n. Общие квантовые игры двух участников: экспоненциальная теорема о параллельном повторении.
• Задача ближайшего вектора: трудность аппроксимации в пределах полиномиального множителя. Гипотеза Эрхарта: во всех размерностях найден максимальный объём тела, чей центр масс — его единственная внутренняя точка решётки.
• Многоцветные числа Рамсея для треугольников: сверхэкспоненциальная нижняя граница, решающая задачу Эрдёша 183. Результаты по компактности и вырожденности закрывают задачи 146 и 180.

Как готовили и проверяли решения

По оценке OpenAI, токены, потребовавшиеся для поиска всех решений, стоили бы около $2 000 по тарифам Sol API. Люди с той же моделью подготовили рукописи, затем Astra формализовала каждый аргумент в сертификате Lean. Также опубликован рассказ модели о ходе каждого решения.

До этой подборки OpenAI представила созданное моделью опровержение гипотезы Эрдёша о единичных расстояниях, которое уже подтолкнуло новые исследования, указывает компания.

Вопрос авторства и вывод для бизнеса

OpenAI уточняет авторство: математические аргументы сгенерировала система, а люди участвовали в подготовке рукописей и формализации. Компания берёт на себя ответственность за корректность и считает неверным приписывать полностью созданное ИИ доказательство человеку.

Для бизнеса практический вывод — не оценивать исследовательский ИИ только по финальному ответу. В пилоте стоит фиксировать вычислительную стоимость, участие экспертов, ход работы и возможность формальной проверки — элементы, которые OpenAI раскрыла вместе с решениями.