Anthropic запустила 1000 агентов Fable 5.2, которые за 30 часов записали доказательство Великой теоремы Ферма на языке Lean. Opus 5.5 за то же время осилила лишь 26%. Внутренний тест CVE Rediscovery: Mythos 5.2 нашла 89.6% уязвимостей против 78.3% у Mythos 5.1.
Модель OpenAI решила 90 задач из топ-500 открытых проблем математики (Proof of Atlas), создав 722 рукописи в 372 семействах за среднее время 3 часа вычислений на одно решение. Среди результатов — квази-гипотеза Римана (zero-free strip), матричное умножение с показателем 2.25, новый алгоритм умножения целых чисел и результат по числу Пи. Левант назвал 6 октября 2026 «самым значимым моментом в истории математики».
В GitHub-репозитории OpenAI появилось 6 новых формализаций на Lean, 19 правок и 3 withdrawals. Сейчас формализовано около 42% «топовых» результатов. Какие именно результаты отозваны, в твите не уточняется.
OpenAI опубликовала репозиторий github.com/openai/math с кодом и препринтами, посвящёнными ИИ-исследованиям в математике. Пост набрал 1255 очков на Hacker News и 1424 комментария — детали пока не раскрыты.
Модель OpenAI решила задачу о гладкости решений уравнений Навье-Стокса, потратив 88 часов и 300 миллиардов выходных токенов (4.9 млн сообщений агентов). Формальная верификация в Lean заняла ещё 17 часов. Математик Тристан Бакмастер признал, что доказательства выглядят как «AI slop» из-за поспешной публикации, и заявил, что Луис Мартинес-Зорока заслуживает Филдсовской медали за исходную программу.
Математики OpenAI объявили, что группа из 10 000 автономных ИИ-агентов на закрытой продвинутой модели нашла «сингулярность» в трёхмерных уравнениях Навье — Стокса — одной из задач тысячелетия с призом $1 млн. Результат формально проверен на языке Lean, но уже вызвал споры. За 12 часов до этого похожие результаты заявили Тристан Бакмастер из NYU и Левент Алпёге из Anthropic, опиравшиеся на работы Кордобы и Мартинеса-Сороа.
Компания выпустила материал, посвящённый задаче Навье-Стокса — одной из семи нерешённых «задач тысячелетия» Института Клэя. Никаких подробностей о решении или новых результатах в доступном тексте нет.
В коротком посте на Mathstodon математик высказал мнение, что AI «добывает» открытые математические проблемы как невозобновляемый ресурс. Подробных аргументов в доступном тексте нет.
Исследователь Microsoft Research Дмитрис Папаилиопулос попросил GPT-5.6 и Claude Fable 5 доказать, что быстрый алгоритм MIMO-детекции работает с того же порога SNR, что и полный перебор. Обе модели выдали доказательство за полчаса, но верификация заняла пять дней. Главная проблема — «бутылочное горлышко» проверки.
OpenAI отчиталась, что внутренняя версия Astra (следующая большая модель) справилась с десятью нерешёнными задачами — от упаковки сфер в высоких размерностях до чисел Рамсея и несофических групп. Каждое решение обошлось бы ~$2000 по тарифам Sol API, и все формализованы в Lean. OpenAI признаёт, что Millennium Prize проблемы пока не взяты.
На Habr автор собрал каталог из 83 floating-point форматов и пытается разобраться, почему разные реализации считают одно и то же по-разному. В примере всплывает привычный ад: matmul на разных устройствах дает разные результаты, и уже непонятно, это баг, округление в bf16 или просто "так и было задумано". Для всех, кто когда-нибудь спорил с моделью и железом одновременно, тема очень узнаваемая.
Статья на HN с 159 очками и 32 комментариями — математическая прогулка по идее, что во многих системах естественная шкала растёт именно логарифмически. Автор не просто рисует красивые графики, а разбирает, почему линейные интуиции ломаются, когда речь про восприятие, измерения и порядок величин. Для тех, кто любит, когда «всё просто» превращается в «ну конечно, опять логарифмы».
На Habr выложили учебный разбор функциональных уравнений из международной олимпиады IMC: автор провел онлайн-занятие со студентами ВШЭ и собрал материал по пяти задачам. Это не «мотивационная статья про математику», а именно конспект с задачами и техникой их решения.
На Хабре автор копается в геометрической алгебре и находит изоморфизм между алгеброй четырёхмерного евклидова пространства и алгеброй пространства-времени. Дальше он переписывает уравнения в новой форме — то есть это не философия на салфетке, а вполне конкретная алгебраическая возня.