Группа из 25 лауреатов Филдсовской премии выступила с критикой гонки ИИ-компаний за решением сложных математических задач. Среди подписантов — Теренс Тао, Питер Шольце, Марина Вязовская и Максим Концевич. Ученые предупредили, что акцент на быстрых результатах вредит науке и процессу подготовки исследователей.
Математики подчеркнули, что для науки важны методы исследования, а не только получение ответа. По их мнению, спешка с публикациями не оставляет времени на проверку доказательств, указание авторства и обсуждение с коллегами. Это может уничтожить почву для появления новых идей и снизить качество обучения математиков.
Обращение появилось после того, как OpenAI заявила о решении вариантов задачи Навье — Стокса. Система из 10 000 агентов нашла доказательство за 88 часов, еще 17 часов ушло на проверку в Lean. Компания опубликовала код, но не планирует претендовать на премию Института Клэя. Результат вызвал споры об использовании чужих наработок.
OpenAI провела внутреннюю проверку и заявила, что запросы математика Тристана Бакмастера к системе Codex не могли повлиять на результат. Тем не менее, Бакмастер отметил, что в научном сообществе усиливается нежелание делиться данными. Ранее Anthropic также представила формализацию доказательства Великой теоремы Ферма с помощью Claude.
Авторы письма признали пользу ИИ для математики, однако отметили, что последствия внедрения технологий зависят от решений людей. Сбор подписей под обращением продолжается, а документ был подготовлен в течение недели после обсуждений внутри сообщества, так как ученые сочли ситуацию срочной.
