ИИ OpenAI нашел способ опровергнуть гипотезу, на которой десятилетиями строились научные исследования

Математики негодуют — придется искать новые темы для грантов.

OpenAI сообщила о трех крупных научных открытиях, сделанных ее нейросетью. Неназванная модель компании нашла доказательства нескольких математических гипотез, опровергла гипотезу экспоненциального времени в информатике и получила результат, связанный с существованием квантовых теорий поля.

Первое исследование посвящено гипотезе локального сглаживания для евклидова волнового уравнения. ИИ предложил доказательство, охватывающее пространства с двумя и более измерениями.

Согласно OpenAI, полученный результат подтверждает ряд гипотез, выдвинутых математиками. Особый интерес вызывает гипотеза Какея: профессор Нью-Йоркского университета Хун Ван получила Филдсовскую премию за решение ее трехмерного случая, а модель OpenAI смогла получить доказательство для всех размерностей.

Вторая работа посвящена гипотезе экспоненциального времени, предложенной в 1999 году: нейросеть разработала алгоритм, опровергающий эту гипотезу, активно разрабатывавшуюся исследователями. Проверкой алгоритма займутся Рассел Импальяццо, Рамамохан Патури и Райан Уильямс — Импальяццо и Патури участвовали в формулировке исходной гипотезы.

Третье исследование относится к теоретической физике. OpenAI утверждает, что ее ИИ построил математически строгое доказательство существования определенных взаимодействующих квантовых теорий поля с калибровочными полями и фермионами в четырехмерном пространстве-времени. Изучением работы ИИ займется группа под руководством физика Дэвида Гросса.

Пока невозможно сказать, когда опубликованные OpenAI решения пройдут проверку профильными учеными и будут окончательно признаны научным сообществом.