OpenAI опубликовала 722 научные работы по математике от неанонсированного ИИ
Читайте в Telegram
|
OpenAI выложила в открытом репозитории на GitHub каталог из 722 научных работ и доказательств, сгенерированных новой внутренней моделью.
Материалы распределены по 372 тематическим группам из различных разделов математики. Исследования стартовали после того, как прежние бенчмарки для тестирования ИИ исчерпали себя. В рамках эксперимента нейросети предложили решить около 4000 открытых научных задач, а на каждое решение уходило в среднем около трёх часов вычислительной мощности уровня режима глубоких рассуждений в ChatGPT.
Большую часть доказательств исследователи перевели на Lean (специализированный язык программирования для верификации математических теорем), что позволило автоматически проверить выкладки алгоритма на компьютере.
Помимо этого, OpenAI обнародовала сокращённый ход мыслей модели для десяти масштабных проблем. В их число вошли продвижение в доказательстве гипотезы Римана об отсутствии нулей дзета-функции в определённой полуплоскости, гипотеза Ходжа для абелевых многообразий и показатель иррациональности числа пи.
Публикацию подготовили при участии независимой консультативной группы Института перспективных исследований (IAS).
В OpenAI заявили, что намерены профинансировать серию академических конференций и воркшопов, посвящённых интеграции ИИ в фундаментальную науку. В дальнейшем компания планирует открыть доступ к самой модели для исследовательского сообщества после завершения проверок безопасности.
