OpenAI впервые официально подтвердила существование новой модели искусственного интеллекта Astra. В опубликованном отчёте говорится, что внутренняя версия ИИ-модели помогла решить десять открытых задач, над которыми математики безуспешно ломали голову минимум десять лет, а то и дольше.
Решённые задачи относятся к многомерной геометрии, теории кодирования, теории групп, квантовой сложности, криптографии на решётках и экстремальной комбинаторике. В частности, модель построила первый пример несофической группы — объекта, существование которого математики обсуждали многие годы.
Математик Манчестерского университета Томас Блум назвал результаты Astra «большой новостью». По его мнению, они имеют большее значение, чем опубликованный ранее контрпример к гипотезе о единичных расстояниях, однако это не означает, что искусственный интеллект вскоре заменит математиков.
Один из разработчиков технологии рассуждений Astra Ноам Браун рассказал, что OpenAI уже пыталась применить модель к другим известным открытым задачам, однако пока безуспешно.
«К сожалению, никаких задач тысячелетия (пока)», — написал он в соцсети X.
В OpenAI сообщили, что после получения решений исследователи совместно с Astra оформили их в научные статьи, а все доказательства были формализованы в системе Lean, позволяющей автоматически проверять теоремы.
Компания также опубликовала пошаговое описание рассуждений модели и заявила, что продолжит эксперименты с новым семейством моделей.
