mathematics — AI Digest

9 сен OpenAI заявляет, что внутренняя модель нашла решение Millennium Prize-задачи о Навье—Стоксе OpenAI research
10 мая AI Co-Mathematician от Google DeepMind достигает 48% на FrontierMath Tier 4 Google DeepMind research
15 мая SU-01: рассуждения на уровне золотой медали олимпиады через curriculum SFT и двухэтапный RL SU-01 Team research
18 мая SOOHAK: фронтирные LLM решают сложную математику, но не распознают неразрешимые задачи research
3 авг Следующая модель OpenAI Astra решила десять открытых проблем в математике и теоретической информатике OpenAI research
12 авг Исследовательская модель Claude повышает нижнюю оценку нулей дзета-функции Римана с 41,6% до 67,2% Anthropic research
14 июн MaxProof: модель MiniMax превышает пороги золотых медалей IMO и USAMO в формальной математике MiniMax research
4 июл Mistral выпускает Leanstral 1.5: открытая модель формальной верификации для Lean 4 Mistral research
13 сен NVIDIA открыла рецепт золотого уровня IMO с пайплайном Nemotron на естественном языке NVIDIA research
8 мая AI Co-Mathematician: Google DeepMind достигает 48% на FrontierMath Tier 4 Google DeepMind research
11 июл Обзор LLM-систем в формальной математике: где современные системы отстают UCLA research
1 сен Агенты Gemini 3.7 Flash в Antigravity решают открытые математические задачи и собирают симулятор RISC-V Google DeepMind research
11 мая Soohak: 64 математика создали исследовательский бенчмарк, который ставит frontier LLM в тупик Seoul National University research
22 сен OpenAI формирует консультативную группу по математике и AI OpenAI research
14 июл AdvancedMathBench: набор бенчмарков для генерации и верификации математических доказательств InternLM research
13 сен Скандал OpenAI вокруг Navier-Stokes разгорается: математики выступают против из-за авторства и поведения OpenAI industry