24 октября в блоге Теренса Тао вышел гостевой пост Абхинава Неллора, Йоханнеса Шмитта, Соледад Виллар и Рэйчел Уорд о запуске oai-math-revised — открытого проекта сообщества для доработки математических работ, опубликованных OpenAI.
Зачем он нужен
OpenAI выложила в репозитории openai/math большую коллекцию рукописей, написанных одной из её моделей. Авторы проекта отмечают, что эти тексты бывает трудно читать и в них неполные ссылки на литературу. Тао описывает хаб как центральное, принадлежащее сообществу место, где можно координировать исправления, продолжения и критику отдельных рукописей.
Что внутри
- 719 рукописей, сгруппированных в 372 семейства результатов, разложенных по 17 дисциплинам — от теории чисел и алгебраической геометрии до теоретической информатики, комбинаторики и топологии.
- Для каждой записи приведены собственные резюме и аннотация OpenAI, а рядом — заметки сообщества о том, что проверено, исправлено или поставлено под сомнение.
- Отдельно помечены формализации на Lean, предыдущие редакции и последующие работы.
- Сайт прямо предупреждает: рукописи не рецензированы, а проект не одобрен и не спонсируется OpenAI.
Как участвовать
Правки принимаются через issues и pull requests в репозитории на GitHub. Приглашают студентов, постдоков, профессоров и энтузиастов; желающих стать ревьюерами просят указать разделы, которые они готовы проверять. В качестве примера Тао приводит доработку документа о несуществовании нулей Зигеля, куда добавили ссылки на последующие препринты.
Проект — показательный ответ научного сообщества на поток результатов, полученных ИИ: вместо споров о каждом заявлении — общая инфраструктура для их проверки.
On October 24, Terence Tao’s blog carried a guest post by Abhinav Nellore, Johannes Schmitt, Soledad Villar and Rachel Ward announcing oai-math-revised, an open community project to improve the math write-ups published by OpenAI.
Why it exists
OpenAI has released a large collection of manuscripts written by one of its models in the openai/math repository. The project’s authors say these texts can be hard to follow and often have incomplete citations. Tao describes the hub as a central, community-owned place to coordinate corrections, follow-up work and criticism of individual manuscripts.
What’s inside
- 719 manuscripts grouped into 372 result families across 17 disciplines, from number theory and algebraic geometry to theoretical computer science, combinatorics and topology.
- Each entry shows OpenAI’s own summary and abstract, next to community notes on what has been checked, corrected or questioned.
- Lean formalizations, earlier editions and follow-up work are tagged separately.
- The site states plainly that the manuscripts are not peer reviewed and that the project is neither sanctioned nor sponsored by OpenAI.
How to contribute
Changes go through issues and pull requests in the GitHub repository. Students, postdocs, professors and enthusiasts are invited; would-be reviewers are asked to name the areas they can cover. As an example, Tao points to revisions of the document on the non-existence of Siegel zeros, which added references to later preprints.
The project is a telling response from the research community to the flood of AI-generated results: shared infrastructure for checking them rather than arguing over each claim.