OpenAI опубликовала отчёт «Десять достижений в математике и теоретической информатике»: внутренняя версия будущей флагманской модели Astra получила доказательства для 10 открытых задач, над некоторыми из которых математики бились 40–50 лет (по одной — с 1999 года, по другой — с 1978 года). Все доказательства формализованы в Leani и опубликованы вместе с рукописью на 249 страниц, суммарная стоимость успешных запусков — около $2000 по тарифам Sol API.
Среди результатов — первый явный пример несофической группы, опровержение гипотезы жёсткости Конна, доказательство гипотезы Эрхарта об объёме, квантовая теорема о параллельном повторении для двухигровых систем и первое с 1978 года улучшение верхней оценки плотности упаковки сфер. Astra ещё не выпущена, воспроизвести эксперимент снаружи нельзя; на следующий день после публикации инженер Anthropic заявил, что с помощью общедоступной модели Fable/Claude без доступа в интернет получил решения половины из перечисленных задач менее чем за 24 часа — что ставит под вопрос уникальность и сложность части заявленных результатов OpenAI.
ВыводСэм Альтман лично представил семейство Astra чиновникам в Вашингтоне; по данным источников, это будет первая модель, проходящая новый государственный процесс одобрения перед релизом
10решённых открытых задач
$2000стоимость токенов по тарифам Sol
249 страницобъём опубликованной рукописи
Полный разбор →
