Седем математически задачи, обявени в Париж през 2000 година, по милион долара всяка. За четвърт век е решена само една. Сега OpenAI твърди, че е решила една от тях, и точно затова си струва да знаеш какво е заложено.
Това не са гатанки за умници в свободното време. Всяка стои в основата на цял клон от математиката или физиката. Навие-Стокс описва как тече течност: водата в чешмата, въздухът около крилото, кръвта във вената. Инженерите ползват уравненията всеки ден. Близо век обаче никой не успя да докаже дали решенията им винаги остават гладки, или в някой момент могат да се счупят.
Защо сега говорим за тях
На 8 септември 2026 OpenAI публикува текст, в който твърди, че нейна вътрешна система е стигнала до решение по задачата за Навие-Стокс: доказателство и формализация в Lean, че първоначално гладка течност в покой може да развие сингулярност за крайно време. Компанията заявява, че няма да претендира за наградата. На страницата не се цитира проверка от независими математици или от института Clay.
Как да четеш такава новина
Мерилото е проверката. Формализацията в Lean е силен сигнал, защото машина проверява всяка стъпка. Но и тогава трябва да се провери дали е доказано точно онова, което задачата пита. Затова решението се признава, когато математици извън екипа го прочетат и приемат, а не в деня на съобщението. Видиш ли заглавие, че AI е решил задача на хилядолетието, потърси кой освен автора го е проверил.