OpenAI заявила о трёх научных открытиях ИИ и привлекла учёных к проверке
Изображение: OpenAI
OpenAI 26 октября заявила, что её ИИ-модели сделали три крупных научных открытия. Как сообщает The Verge, результаты по информатике и физике проверят внешние группы учёных, а математические материалы компания опубликовала для изучения научным сообществом.
В информатике компания заявила об опровержении широко признанной гипотезы экспоненциального времени (ETH), на которой основаны сотни работ по информатике: модель предложила алгоритм точного подсчёта числа решений задачи 3-SAT за субэкспоненциальное время. Рассуждения модели и формализованное доказательство на Lean опубликованы на GitHub.
Независимую проверку организует группа учёных, в которую вошли соавторы гипотезы. Они подчёркивают, что их участие само по себе не подтверждает правильность результата: столь значимое утверждение требует тщательной независимой проверки.
В математике OpenAI заявила о доказательстве гипотезы локального сглаживания волн во всех пространственных размерностях от двух. Компания также утверждает, что из него следуют результаты по гипотезам Какейи и Стейна.
В физике компания заявила о строгом доказательстве существования ряда квантовых теорий поля в четырёх измерениях, включая квантовую хромодинамику и объединённое завершение Стандартной модели. Материалы пока опубликованы не полностью. Работу разберёт группа под руководством нобелевского лауреата Дейвида Гросса.
При этом собранная OpenAI группа математических советников AGMAI 25 октября рекомендовала ИИ-компаниям не предоставлять отдельным экспертам доступ к результатам раньше остальных исследователей, а сама компания признаёт, что у её подхода могут быть свои проблемы. Они указали на неравный доступ и использование репутации учёных. Вместо этого советники предложили публиковать материалы в научных репозиториях вместе с формализованными доказательствами на Lean.
