Osegi
ИИ·1 мин чтения

OpenAI опубликовала 719 математических работ неанонсированной ИИ-модели

OpenAI выложила 719 документов по открытым математическим задачам, созданных ещё не выпущенной моделью. Учёные впечатлены, но некоторые предупреждают о потерях.

Abstract illustration of mathematical equations flowing out of an AI neural network onto a blackboard.
Фото: genbeta.com

OpenAI разом опубликовала на GitHub 719 математических документов, подготовленных одной из самых продвинутых моделей искусственного интеллекта компании. Работы сгруппированы в 372 семейства результатов, и многие касаются задач, которые годами оставались нерешёнными. Модель, использованная для этого, пока недоступна публично.

Материалы охватывают алгебру, теорию чисел и теоретическую информатику. Компания проверила систему примерно на 4000 открытых задач и на каждый результат выделила вычислительные ресурсы, эквивалентные примерно трём часам работы ChatGPT Pro. Однако не все доказательства проверены, и сама OpenAI признаёт, что в некоторых документах могут быть ошибки.

Восхищение и «чувство пустоты»

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

Стивен Келк, доцент теоретической информатики Маастрихтского университета, заявил нидерландской газете Volkskrant, что относится к этим результатам с восхищением. По его мнению, ИИ мог разом добиться прогресса, равного десяти или двадцати годам исследований. Но он считает проблемой стремление как можно быстрее получить решение, оставляя за скобками всё, что узнаёшь по пути. Келк признался, что это вызывает у него «большое чувство пустоты»: исследование — это ещё и ошибки, сотрудничество и поиск новых идей.

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

OpenAI объявила о взносе в пять миллионов долларов в инициативу Фонда Саймонса, которая должна помочь математикам изучать и понимать доказательства, созданные искусственным интеллектом.

Приложения, на которые стоит взглянуть

SUMO: числовая головоломка

Выбирайте нужные клетки, складывайте, достигайте цели. Легко понять, сложно освоить. Бесплатно, для любого возраста.

Теги:openaimathematicsai researchgithubterence taoopen problems

Ещё за этот день

Показать все →

Ещё в рубрике: ИИ

Показать все →