Отчёты по ИИ · OpenAI · 2026-10-06 · Блог / комментарии
Делимся прогрессом ИИ в математике
Оригинальное название: Sharing AI progress in mathematics
OpenAI опубликовала новые результаты по открытым задачам математики, полученные внутренней передовой моделью. Она также делится формализациями доказательств в Lean и подробностями исследования на GitHub.