OpenAI опубликовала 722 научные работы по математике от неанонсированного ИИ

OpenAI разместила в открытом репозитории на GitHub каталог из 722 научных работ и доказательств, которые сгенерировала новая внутренняя модель. Материалы распределены по 372 тематическим группам из разных разделов математики. Исследования начались после того, как прежние бенчмарки для тестирования ИИ исчерпали себя.

В рамках эксперимента нейросети предложили решить около 4000 открытых научных задач, а на каждое решение уходило в среднем около трёх часов вычислительной мощности уровня режима глубоких рассуждений в ChatGPT.

Большую часть доказательств исследователи перевели на Lean — специализированный язык программирования для верификации математических теорем. Это позволило автоматически проверить выкладки алгоритма на компьютере. OpenAI также обнародовала сокращённый ход мыслей модели для десяти масштабных проблем. Среди них — продвижение в доказательстве гипотезы Римана об отсутствии нулей дзета-функции в определённой полуплоскости, гипотеза Ходжа для абелевых многообразий и показатель иррациональности числа пи. Публикацию подготовили при участии независимой консультативной группы Института перспективных исследований.

В OpenAI заявили, что намерены профинансировать серию академических конференций и воркшопов, посвящённых интеграции ИИ в фундаментальную науку. В дальнейшем компания планирует открыть доступ к самой модели для исследовательского сообщества после завершения проверок безопасности.

Подписывайтесь на наш Telegram-канал, чтобы быть в курсе всех новостей и событий Рунета.