ТехноСводка

ИИ

OpenAI объявила о трёх «крупных» открытиях в математике, информатике и физике

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

Меньше чем через месяц после массовой публикации рукописей с решениями давних математических задач OpenAI выложила ещё три результата. На этот раз компания привлекла внешних экспертов: в информатике и физике они выступают «наставниками» (shepherds) и проверяют результаты, а по математической задаче, по их совету, выложен сам вывод модели, чтобы исследователи разбирались в нём самостоятельно.

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

В информатике, по утверждению компании, найден детерминированный алгоритм точного подсчёта выполняющих наборов для CNF фиксированной ширины за субэкспоненциальное время. Для 3-SAT это опровергло бы ETH, которую широко считали верной. Проверкой займётся группа Рассела Импальяццо, Рамамохана Патури и Райана Уильямса. По их просьбе отчёт и Lean-доказательство сразу опубликовали на GitHub.

Физические материалы раскрыты не полностью. Речь о строгом доказательстве существования некоторых взаимодействующих квантовых теорий поля с калибровочными полями и фермионами в четырёх измерениях, включая КХД. Работу будет курировать группа под руководством Дэвида Гросса.

По данным The Verge, совет математических консультантов AGMAI, созданный OpenAI, накануне рекомендовал компаниям не использовать практику предварительного доступа для избранных. Он указал на неравный доступ, заимствованную репутацию и предвзятый отбор. Вместо этого советуют публиковать результаты в научных репозиториях с Lean-доказательствами и описанием выбора задач. OpenAI также опубликовала открытое письмо с вопросами о нормах работы с результатами, созданными ИИ.

  • Три результата: математика, информатика, физика
  • ETH, по заявлению OpenAI, опровергнута; проверку ведут Импальяццо, Патури и Уильямс
  • Совет AGMAI не рекомендует практику предварительного доступа для избранных

Источники

Текст подготовлен автоматически по материалам источников и может содержать неточности.