Следующая модель OpenAI Astra решила десять открытых проблем в математике и теоретической информатике
OpenAI
OpenAI опубликовала статью, показывающую, что внутренняя версия следующей крупной модели компании, Astra, решила или существенно продвинулась в решении десяти давних открытых проблем — от оценок плотной упаковки сфер и теории групп (несофические группы) до алгебр фон Неймана, сложности арифметических схем, решёточной криптографии и экстремальной комбинаторики, — выпустив 249-страничную рукопись с формализованными в Lean, машинно проверяемыми доказательствами.
Почему это важно
Результаты, полученные примерно за $2000 вычислительных затрат, по сообщениям, были признаны заслуживающими публикации сторонними математиками (в их числе — филдсовский лауреат Тимоти Гауэрс), что говорит о том, что передовые LLM начинают выдавать по-настоящему новые, проверяемые математические результаты, а не просто решать бенчмарк-задачи.
Важность: 3/5
Заметный исследовательский результат от передовой лаборатории, официальный источник плюс 2 независимых подтверждения в СМИ; сигнализирует о крупной готовящейся модели (Astra), но сам по себе не является релизом продукта.