Редакция OMM
Американская компания в сфере искусственного интеллекта «OpenAI» заявила, что ее модели получили три научных результата в математике, информатике и теоретической физике, включая доказательства, относящиеся к задачам, которые десятилетиями ставили в тупик исследователей, сообщает Anadolu Agency.
В заявлении, опубликованном в понедельник, разработчик «ChatGPT» сообщил, что его модели доказали гипотезу о локальном сглаживании во всех размерностях. По словам компании, этот результат также решает гипотезу Какеи и гипотезу об ограничении Штейна.
Доказательство было получено 18 октября, а на следующий день формализовано с помощью «Lean» — системы проверки математических доказательств, сообщила «OpenAI».
В области информатики компания заявила, что ее ИИ опроверг гипотезу экспоненциального времени — давнюю гипотезу о вычислительной сложности решения ряда задач, на которую опирались сотни научных работ.
Результат, также формализованный в «Lean», изучат исследователи из Калифорнийского университета в Сан-Диего и Массачусетского технологического института.
В теоретической физике модели «OpenAI», как утверждает компания, разработали доказательства существования некоторых четырёхмерных квантовых теорий поля, в том числе квантовой хромодинамики, описывающей сильное ядерное взаимодействие.
Работа также включает предложенное доказательство существования чистой теории Янга — Миллса, связанное с частью одной из задач тысячелетия Института математики Клэя.
Исследователей, изучающих результаты в области физики, возглавит лауреат Нобелевской премии физик Дэвид Гросс. Эти результаты пока не опубликованы.
«OpenAI» назвала подготовленные ИИ рукописи исходными исследовательскими данными и сообщила, что независимые академические группы изучат результаты и дадут им оценку. Компания также пообещала финансово поддержать этот процесс.
