Искусственный интеллект OpenAI совершил прорыв в математике, информатике и физике
Компания OpenAI представила три новых открытия в математике, информатике и физике, полученных с помощью искусственного интеллекта
В математике ИИ доказал гипотезу о локальном сглаживании в любом измерении, что также позволяет решить гипотезу Какея (о том, насколько малым может быть множество, содержащее отрезок единичной длины в каждом направлении) и гипотезу ограничения Стейна во всех измерениях. Доказательство основано на новом вспомогательном дифференциальном уравнении в частных производных. Результаты опубликованы в открытом доступе на GitHub.
В информатике ИИ опроверг гипотезу об экспоненциальном времени (ETH) — давнее предположение о вычислительной сложности задачи выполнимости булевых формул. Результаты проверены с помощью Lean — программы для автоматической проверки математических доказательств — и также размещены в открытом доступе. Работу будут изучать эксперты под руководством Рассела Импальяццо, Рамамохана Патури и Райана Уильямса.
В физике ИИ математически доказал существование определённых взаимодействующих квантовых теорий поля, включая квантовую хромодинамику и унифицированное завершение Стандартной модели физики элементарных частиц. Группу исследователей, которая будет изучать этот результат, возглавит Дэвид Гросс. Учёные надеются, что эти результаты станут началом перехода квантовой теории поля в разряд строго математических дисциплин.
Ранее по теме: Учёный МФТИ оценил предложенное ИИ решение задачи тысячелетия
Источник: OpenAI
