🚨 Новая внутренняя модель OpenAI решила задачу тысячелетия Навье Стокса
Над решением около 88 часов работали примерно 10 000 агентов на модели, которая значительно мощнее GPT 6 Astra.
После того как решение нашли, GPT 6 Astra формализовала и проверила доказательство в Lean.
