🚨OpenAI заявляет, что её ИИ ОПРОВЕРГ ГЭВ.
ГЭВ — это гипотеза экспоненциального времени, давнее предположение о сложности решения некоторых вычислительных задач по мере их роста.
OpenAI утверждает, что её ИИ разработал алгоритм, который работает быстрее, чем допускает эта гипотеза, опровергая предположение, использовавшееся в сотнях научных работ.
По словам компании, опровержение было найдено 16 октября, на следующий день проверено с помощью системы проверки доказательств Lean и опубликовано на GitHub вместе с формальной верификацией.
Райан Уильямс из MIT проведёт проверку вместе с авторами исходного предположения ГЭВ — Расселом Импальяццо и Рамамоханом Патури. OpenAI отмечает, что для превращения этого результата в более быстрые алгоритмы для реальных задач потребуются «значительные дополнительные исследования».
Компания также заявляет о ещё двух прорывах:
• Математика: доказательство гипотезы Какеи во всех размерностях — вслед за доказательством для трёхмерного случая в прошлом году.
• Физика: создание доказательства, решающего часть задачи из Millennium Prize стоимостью 1 МИЛЛИОН долларов. Эта работа ещё не опубликована; её изучит команда под руководством лауреата Нобелевской премии Дэвида Гросса.
ГЭВ — это гипотеза экспоненциального времени, давнее предположение о сложности решения некоторых вычислительных задач по мере их роста.
OpenAI утверждает, что её ИИ разработал алгоритм, который работает быстрее, чем допускает эта гипотеза, опровергая предположение, использовавшееся в сотнях научных работ.
По словам компании, опровержение было найдено 16 октября, на следующий день проверено с помощью системы проверки доказательств Lean и опубликовано на GitHub вместе с формальной верификацией.
Райан Уильямс из MIT проведёт проверку вместе с авторами исходного предположения ГЭВ — Расселом Импальяццо и Рамамоханом Патури. OpenAI отмечает, что для превращения этого результата в более быстрые алгоритмы для реальных задач потребуются «значительные дополнительные исследования».
Компания также заявляет о ещё двух прорывах:
• Математика: доказательство гипотезы Какеи во всех размерностях — вслед за доказательством для трёхмерного случая в прошлом году.
• Физика: создание доказательства, решающего часть задачи из Millennium Prize стоимостью 1 МИЛЛИОН долларов. Эта работа ещё не опубликована; её изучит команда под руководством лауреата Нобелевской премии Дэвида Гросса.
