Исследования 2026-08-08

Математики: доказательства, написанные ИИ OpenAI, опираются на их работы без ссылок

Через неделю после того как OpenAI представила десять математических результатов, полученных её будущей моделью Astra, несколько названных по именам математиков заявили, что тексты используют опубликованные идеи без ссылок. Стивен Миллер из Йешива-университета говорит, что результат об упаковке сфер опирается на аргумент из его же статьи 2016 года; Франческо Фурнье-Фачо из Кембриджского университета считает, что результат по теории групп — элементарная комбинация работ Габора Куна и Андреаса Тома 2016 и 2019 годов, поданная как новое открытие. OpenAI смягчила первоначальное утверждение, что по этим задачам не было прогресса как минимум десять лет. Представитель компании сказал, что она отвечает за корректность результатов, придерживается стандартов, ожидаемых от математиков-людей, и внесёт небольшие правки в статью.

Почему это важноДоказательства формализованы в Lean, поэтому машина может подтвердить, что каждый шаг следует из предыдущего. Чего не проверяет ни одна машина — новизны результата, и спор идёт именно об этом. Математики уже предупреждали об этом в Лейденской декларации, поддержанной Международным математическим союзом: указывайте предшествующие работы и не объявляйте результаты пресс-релизами. Исход этого спора определит, что ИИ-лаборатории вправе называть прорывом.

#Наука и исследования

✓ Проверено · 3 источников

Читайте в приложении — бесплатно, 9 языков

Математики: доказательства, написанные ИИ OpenAI, опираются на их работы без ссылок

Похожие новости