OpenAI заявила, что внутренние модели ИИ подготовили доказательства для задач в области математики, информатики и физики. Компания опубликовала исходные данные и доказательства на языке Lean для независимой проверки экспертами.
В информатике ИИ якобы опроверг гипотезу экспоненциального времени, на которой базируются исследования в теории графов и вычислительной геометрии. Проверку результатов проводят эксперты Райан Уильямс, Рассел Импальяццо и Рамамохан Патури.
Математический результат касается гипотезы о локальном сглаживании волн. OpenAI утверждает, что модели доказали её для всех размерностей, что также автоматически доказывает гипотезы Какеи и Стейна об ограничении.
В физике компания заявила о доказательстве существования квантовых теорий поля в четырех измерениях, включая теорию Янга-Миллса. Это частично затрагивает одну из «Задач тысячелетия». Проверку курирует группа под руководством нобелевского лауреата Дэвида Гросса.
OpenAI выделила $5 миллионов фонду Simons Foundation на проведение конференций по результатам ИИ. Компания тестирует различные подходы к верификации, от прямой публикации до привлечения профильных экспертов.
