🚨 Новая внутренняя модель OpenAI решила задачу тысячелетия Навье Стокса

Над решением около 88 часов работали примерно 10 000 агентов на модели, которая значительно мощнее GPT 6 Astra.

После того как решение нашли, GPT 6 Astra формализовала и проверила доказательство в Lean.