**Що це за модель, яка закрила задачу тисячоліття**

Після новини про Нав'є - Стокса головне питання не «чи правильне доведення», а «чим його взяли». OpenAI розповіла про внутрішню модель рівно стільки, щоб стало неспокійно.

 Її ще **вчать** - те, що ми побачили, це не фінальна якість, а проміжна
 Офіційно вона **значно перевершує Astra**
 Єдиний графік у публікації: по осі X - бюджет обчислень на inference у логарифмічній шкалі, по осі Y - частка розв'язаних задач

І ось найцікавіше з того графіка: **при однаковому бюджеті нова модель закриває приблизно втричі більше задач, ніж Astra**.

Тобто справа не тільки в тому, що вона розумніша. Вона ефективніша на тому ж компʼюті - а це зовсім інша історія, ніж просто «залили більше заліза».

Нагадаю масштаб задачі: Нав'є - Стокс упав за 88 годин після старту, плюс 17 годин на формалізацію в Lean, разом близько 130 млрд токенів. І це модель, яку ще не дотренували.