ИИ решает математические задачи, но кто проверит его ответы?

OpenAI опубликовала на GitHub 719 математических рукописей, созданных с помощью ИИ, и столкнулась с критикой научного сообщества. Учёные считают, что недостаточно просто выложить результаты — необходимо объяснить доказательства и обеспечить их независимую проверку.
Об этом пишет RB.RU.

▪️В августе компания обсуждала с математиками, как лучше публиковать результаты работы ИИ. Исследователи рекомендовали готовить полноценные научные статьи с подробными объяснениями, а не ограничиваться публикациями в блогах и репозиториях. Однако OpenAI в итоге разместила сотни материалов на GitHub, предупредив, что часть доказательств может содержать ошибки.
Отдельные вопросы вызвало заявление компании о решении задачи, связанной с уравнениями Навье — Стокса. Это одна из семи задач тысячелетия, за решение которой Институт Клэя обещает $1 млн. Но даже если ИИ выдаёт формальное доказательство, это ещё не гарантирует, что оно корректно отражает исходную математическую задачу и будет признано научным сообществом.

▪️Учёные настаивают: математические открытия должны быть понятны другим исследователям, чтобы те могли проверить результаты и использовать их в дальнейшей работе. Важно не только получить ответ, но и разобраться, почему он верен.

Эта история показывает одну из главных проблем развития ИИ: скорость генерации результатов уже опережает возможности людей по их проверке. И чем активнее нейросети участвуют в научных исследованиях, тем важнее становятся прозрачность, воспроизводимость и независимая экспертиза.

Образование, которое мы заслужили в МАХ