ME News: 9 вересня (UTC+8) OpenAI оголосила про вирішення однієї з проблем тисячоліття — проблеми існування та гладкості Нав'є-Стокса, яка залишалася нерозв'язаною близько 90 років.
Це доведення було виконано групою агентів за допомогою наступного покоління моделі OpenAI, яка значно потужніша за GPT-6 Astra; OpenAI стверджує, що приблизно 10 000 агентів працювали паралельно протягом приблизно 88 годин, щоб отримати доведення, після чого GPT-6 Astra виконав формальну верифікацію за 17 годин у теоремному довіднику Lean. Доведення показує, що тривимірний рух рідини може мати сингулярність за скінченний час: вихори стискаються всередину, ядро розтягується і прискорюється, доки швидкість не стає нескінченною, тоді як загальна енергія системи залишається скінченною. OpenAI опублікувала 165-сторінковий текст доведення та формалізований код Lean і заявила, що не планує вимагати 1 мільйон доларів США винагороди. На даний момент Інститут математики Клее залишає цю проблему нерозв’язаною, оскільки згідно з правилами розв’язок має бути опублікований у кваліфікованому журналі, зберігатися щонайменше два роки та отримати загальне признання математичним співтовариством, перш ніж буде розглянуто присудження винагороди. (Джерело: X)

