Компания впервые официально объявила о названии следующего семейства моделей и сообщила, что Astra самостоятельно достигла доказательств, которые оставались недоказанными на протяжении десятилетий
Искусственный интеллект120:25
OpenAI впервые официально раскрыла наименование своего следующего семейства моделей — Astra — и одновременно сообщила, что внутренняя версия этой системы успешно решила 10 открытых задач в области математики и теоретической информатики. По информации компании, над всеми этими задачами не удавалось достичь прогресса как минимум 10 лет, а в большинстве случаев — значительно дольше.
Среди полученных результатов — первое явное построение несофической группы, опровержение гипотезы жёсткости Конна, доказательство квантовой теоремы о параллельном повторении, доказательство гипотезы Эрхарта о объёме и первое с 1978 года улучшение общей верхней оценки плотности упаковки сфер.
OpenAI утверждает, что Astra самостоятельно выработала математические аргументы для всех доказательств. Затем совместно с той же моделью исследователи подготовили результаты в виде научных статей, а сама система формализовала каждое доказательство на языке Lean — языке формальной верификации, который позволяет автоматически проверять математическую корректность. Компания также опубликовала сертификаты, описания процесса рассуждений модели и сообщила, что поиск всех решений потребовал вычислений на сумму примерно $2000 по тарифам Sol API.
Полученные результаты охватывают высокоразмерную геометрию, кодовую теорию, теорию групп, квантовую сложность вычислений, криптографию на решётках и экстремальную комбинаторику. При этом OpenAI отмечает, что модели не удалось решить задачи из списка «Проблем тысячелетия» (семи наиболее известных нерешённых математических задач, за каждую из которых назначена премия в $1 млн), однако компания считает достигнутые результаты значительным шагом вперёд в развитии систем научного рассуждения.
Все доказательства ещё предстоит тщательно проверить математическому сообществу. OpenAI отдельно заявила, что считает неправильным приписывать авторство таких результатов людям, если математические аргументы были полностью получены искусственным интеллектом: исследователи занимались подготовкой рукописей и формализацией доказательств, тогда как сами решения, по утверждению компании, были сгенерированы Astra.
Darth SaharaИсточники:OpenAIИскусственный интеллект1ASTRAИскусственный интеллектOpenAIКвантовые вычисленияКриптографияНаучные исследования20:25
Источник