Компания OpenAI обратилась к группе независимых ученых, включая нобелевского лауреата по физике Дэвида Гросса, с просьбой проверить три доказательства, которые, по ее словам, получили ее ИИ-модели в математике, информатике и физике. Об этом говорится в посте компании от 26 октября.
По утверждению OpenAI, ее модели опровергли гипотезу экспоненциального времени (ETH): предположение 1999 года о том, что некоторые вычислительные задачи нельзя решить быстрее определенного предела. Предложенный моделями алгоритм работает быстрее, чем допускала гипотеза, но, по данным компании, на практике требует настолько больших вычислительных ресурсов, что проблему P против NP он не решает.
В математике модели расширили гипотезу локальной гладкости, предложенную Кристофером Соджем в 1991 году: ранее она была доказана только для двух измерений, а теперь, как заявляет OpenAI, для всех. Компания также представила доказательства гипотезы Какейя и гипотезы Стейна об ограничении преобразования Фурье.
В физике модели построили доказательство существования взаимодействующих квантовых теорий поля в четырехмерном пространстве-времени, включая теорию Янга-Миллса (одну из моделей, описывающих взаимодействие элементарных частиц).
Проверку результата по информатике проводят Рассел Импальяццо и Рамамохан Патури из Университета Калифорнии в Сан-Диего, предложившие саму гипотезу ETH, а также профессор MIT Райан Уильямс. Физическую часть изучает группа под руководством Дэвида Гросса, получившего Нобелевскую премию по физике в 2004 году, в которую входят Майкл Дуглас, Артур Джаффе, Игорь Клебанов и Никита Некрасов.
Рецензенты уточнили, что их участие «не следует считать подтверждением» выводов OpenAI. Сама компания называет опубликованные материалы необработанными исследовательскими данными, которые нужно осмыслить, и назвала привлеченных ученых кураторами этой работы.
Все доказательства выложены на GitHub в текстовом виде и в формате Lean, допускающем автоматическую компьютерную проверку: версия доказательства гипотезы локальной гладкости в Lean датирована 19 октября, а первые варианты доказательств по физике относятся к 9 и 18 сентября.
OpenAI также пообещала перевести Simons Foundation $5 млн на конференции и семинары по теме, включая отдельную встречу о последствиях опровержения ETH. Признают ли ученые доказательства верными, станет известно по итогам их работы.
