OpenAI заявила о трёх научных прорывах в математике, информатике и физике
Компания привлекла независимых экспертов в области физики и информатики, а математические доказательства открыла для изучения научным сообществом
Компания представила три заявленных ИИ-результата в математике, информатике и физике. Для двух последних направлений к проверке привлекли внешних специалистов, а математические эксперты рекомендовали сразу опубликовать результаты.
В математике модель, по заявлению компании, доказала гипотезу Согге о локальном сглаживании волнового уравнения в евклидовом пространстве. Работа также подтвердила несколько гипотез Какеи и оценок Штейна. Эксперты предложили сопровождать такие публикации формализованными доказательствами в Lean, критериями выбора задач и механизмами финансирования их анализа.
В информатике ИИ, как утверждается, опроверг гипотезу экспоненциального времени. Представленный алгоритм подсчитывает число решений для определённого класса логических задач быстрее экспоненциального метода при ограниченной памяти. Независимая группа учёных займётся изучением и объяснением доказательства.
О физическом результате пока известно только, что он содержит строгое математическое доказательство существования некоторых взаимодействующих квантовых теорий поля с калибровочными полями и фермионами в четырёхмерном пространстве, включая квантовую хромодинамику и единое дополнение к Стандартной модели.
В открытом письме компания предложила обсудить правила раннего доступа к результатам ИИ, признания вклада в открытия и их проверку, а также поддержки студентов и исследователей.
