Темы



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

Коротко сгенерировано ИИ по тексту статьи
  • OpenAI выложила на GitHub две рукописи: доказательство гипотезы Согге о волнах и опровержение гипотезы ETH.
  • Учёные, предложившие ETH, вошли в группу, проверяющую и объясняющую результаты моделей; для проверки результатов по физике тоже привлечены внешние эксперты.
  • В физике заявлено доказательство существования взаимодействующих квантовых теорий поля с калибровочными полями и фермионами в четырёх измерениях.

Почему это важно: ETH считают верной и используют в сотнях научных работ; если гипотеза неверна, теоретически могут появиться более эффективные алгоритмы.

Компания сформировала группы экспертов, чтобы проверить и объяснить результаты.

OpenAI logo
Samuel Boivin/Shutterstock

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

Для этой публикации OpenAI опробовала три разные стратегии. Математические результаты компания опубликовала, чтобы исследователи могли ознакомиться с ними и самостоятельно попытаться объяснить их. Для проверки результатов в информатике и физике OpenAI привлекла внешние группы экспертов. Группе, работавшей над результатами в области информатики, компания предложила объяснить их в собственных статьях и материалах, одновременно открыв публике доступ к результатам работы ИИ. Публикацию материалов по физике OpenAI, в свою очередь, отложила до завершения работы занимающейся ими группы. Компания приглашает присылать отзывы «о том, как расширить круг участников и сделать этот процесс полезнее».

OpenAI добавила две новые рукописи на GitHub, которые уже доступны. В одной доказывается гипотеза Согге о локальном сглаживании для волн в пространстве любой размерности. Эта гипотеза касается поведения решений волнового уравнения. В другой приводится доказательство того, что гипотеза экспоненциального времени (ETH) — предположение в информатике о том, что некоторые задачи слишком сложны для быстрого решения, — неверна.

Как отмечает OpenAI, гипотезу ETH широко считают верной; на ней основаны сотни научных работ в самых разных областях, включая базы данных, вычислительную биологию и геометрию. Если она действительно неверна, то, по крайней мере теоретически, можно будет найти более эффективные алгоритмы решения задач в этих областях. Учёные, предложившие гипотезу ETH, теперь входят в группу, которую OpenAI попросила проверить и объяснить результаты, полученные её моделями.

Наконец, результаты в области физики включают доказательство существования взаимодействующих квантовых теорий поля с калибровочными полями и фермионами в четырёх измерениях. Группа, изучающая эти результаты, пока ничего не опубликовала, но указала адрес электронной почты — YANGMILLS4D[@]gmail.com — для вопросов о своей работе.

Компания заявляет, что не будет добиваться академического признания за открытия, сделанные её моделями. Вместо этого авторство статей и материалов будет указано за участниками каждой группы. Группы также будут отвечать за то, чтобы в результатах, созданных ИИ, должным образом признавался вклад всех исследователей, методов и идей, на которые опирались модели компании.

©  GDGT.ru

Об этом также пишут