9 сентября 2026

OpenAI опубликовала доказательство решения задачи существования и гладкости Навье—Стокса — одной из семи «задач тысячелетия». Его построила группа из 10 тыс. ИИ-агентов на внутренней модели мощнее GPT‑6 Astra; система обменялась 4,9 млн сообщений и сгенерировала около 300 млрд токенов, а доказательство также формализовали в Lean — OpenAI #openai #ии #математика #наука #нейросети