OpenAI и Скотт Ааронсон подняли планку ожиданий от ИИ в математике
Скотт Ааронсон написал, что ИИ уже решает крупные математические задачи темпом, который раньше считали тревожным сигналом
Сэм Альтман заявил, что внутренняя модель после Astra решает задачи, недоступные лучшим математикам мира
Архивный контекст описывает решение задачи Навье-Стокса мультиагентной системой и формализацию в Lean
Почему важно
Даже до полного консенсуса науки меняется практический порог: сложная математика становится инструментом, который можно вызывать по запросу