🗿 Що це за модель, яка закрила задачу тисячоліття Після новини про Нав'є - Стокса головне питання не

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

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

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

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

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

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