Письмо про «слоп-математику» выбило OpenAI из хакатона

Сорок часов и 20 000 долларов в токенах на открытую исследовательскую задачу: столько отводит участникам первый раунд «математического хакатона» Caltech. Как сообщает Business Insider, в четверг исследователь OpenAI написал, что компания снимает с этого события спонсорство.

Коротко

• Открытое письмо действующих и бывших математиков Caltech вышло в среду: авторы считают, что хакатон «вероятно, будет иметь разрушительные последствия для математического сообщества», и называют практику компаний «слоп-математикой».
• OpenAI и Anthropic вместе обещали событию 2 миллиона долларов ИИ-кредитами; сколько из этой суммы приходилось на OpenAI и что теперь будет с её токенами, в четверг оставалось неизвестным.
• Математик NYU Тристан Бакмастер опубликовал работу по уравнениям Навье-Стокса в понедельник, а во вторник о своём решении объявила OpenAI; в компании говорят, что не могут исключить влияния деидентифицированных данных.

Если вы не следили: по данным Quanta Magazine, 20 мая 2026 года OpenAI сообщила, что внутренняя, недоступная публично модель построила контрпример к задаче о единичных расстояниях, гипотезе, которую Пал Эрдёш поставил в 1946 году; это был первый исторически значимый результат от ИИ-модели, и люди заметно улучшили его за несколько недель. Там же сообщается, что 1 августа неизданная модель Astra выдала ещё десять математических продвижений, включая решения трёх задач Эрдёша, и часть математиков назвала такой сдвиг фазовым переходом.

Руководитель исследований OpenAI назвал прогресс ИИ в математике разрушительным

В четверг исследователь OpenAI сообщил, что компания снимает спонсорство с «математического хакатона» Caltech, где открытые исследовательские задачи решают с помощью больших языковых моделей. Руководитель исследований компании Дэн Робертс написал в X, что быстрый прогресс ИИ в математике «разрушителен», и добавил, что OpenAI хочет плотнее работать с математическим сообществом над тем, как встраивать эту технологию и как говорить о её последствиях.

Поддержать событие OpenAI и Anthropic договорились двумя миллионами долларов в ИИ-кредитах. Сколько из этой суммы приходилось на OpenAI и что теперь с этими токенами, в четверг было неясно. Anthropic — второй спонсор хакатона. Сам хакатон заявлен как тренировочная площадка, где молодые математики учатся «ответственно применять ИИ-инструменты, чтобы расширить человеческое понимание математики».

Письмо называет неоплаченную проверку результатов слоп-математикой

Письмо появилось в среду, за день до выхода OpenAI. Подписали его действующие и бывшие математики Caltech; они считают, что событие «вероятно, будет иметь разрушительные последствия для математического сообщества». Претензия в том, как ИИ-компании заявляют о решении нерешённых теоретических задач, а доказательства и практические применения оставляют настоящим исследователям.

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

По тексту письма, опубликованному на сайте Proofs and Prompts, компании ведут «гонку вооружений» за право первыми объявить о доказательстве известных гипотез, сообщения об ИИ-результатах появляются в соцсетях каждую неделю, и такую практику авторы прямо называют исследовательским нарушением.

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

Во вторник OpenAI объявила о решении уравнений Навье-Стокса

Во вторник OpenAI объявила, что её агенты решили уравнения Навье-Стокса, набор формул девяностолетней давности, который описывает движение жидкостей и газов. По данным The Verge, за результатом стоят внутренняя модель, более мощная, чем недавно вышедшая GPT-6 Astra, и 10 000 параллельных агентов, а обучение этой модели началось 28 августа; задача входит в семь «проблем тысячелетия» с призом в миллион долларов за каждую, и приз OpenAI брать не планирует.

Днём раньше, в понедельник, работу по тому же маршруту опубликовали математик NYU Тристан Бакмастер и исследователь Anthropic Левент Альпёге, которые пользовались Codex от OpenAI и Claude, сообщает The Verge. Бакмастер сказал во вторник, что OpenAI могла воспользоваться его перепиской с чат-ботами, включая продукты самой OpenAI.

OpenAI ответила, что не может исключить: «деидентифицированные данные, полученные из их использования наших продуктов», помогли улучшить модели. Сотрудник OpenAI Себастьен Бюбек сказал, что их работу в компании не видели до публичного выхода, а Бакмастер в Mastodon написал, что OpenAI признаёт использование обучающих данных за период после того, как результат был найден, передаёт The Verge.

Первый раунд даёт 40 часов и 20 000 долларов в токенах

Формат такой. В первом раунде участники получают 40 часов и 20 000 долларов в токенах на открытую задачу. Те, чьи ответы сочтут «перспективными и хорошо объяснёнными», проходят во второй раунд: полгода и дополнительные ИИ-токены на продолжение работы.

Почему проверка стала узким местом? Стандартные бенчмарки смотрят только на итоговый ответ. Как отмечают авторы статьи об Open Proof Corpus на arXiv, наборе из более чем пяти тысяч доказательств от языковых моделей с человеческой оценкой, тесты вроде AIME и HMMT не требуют ни доказательств, ни подробных промежуточных шагов, поэтому и не показывают всего диапазона математических способностей. Модель может выдать верный итог при негодном выводе, а отличить одно от другого получается только чтением.

Главного в этой истории не раскрыли: сколько кредитов из двух миллионов приходилось на OpenAI и что с ними теперь. На наш взгляд, формулировка про деидентифицированные данные вопрос Бакмастера не закрывает, она его лишь не исключает.

Старт хакатона 30 октября

По тексту открытого письма на Proofs and Prompts, хакатон должен начаться 30 октября 2026 года. Что происходит с обещанными OpenAI токенами после её выхода, в четверг было неясно. Робертс написал, что компания хочет обсуждать с математиками, как встраивать технологию и как говорить о её последствиях; ни формата, ни сроков такого разговора в его сообщении нет.