Hindi pa tapos ang OpenAI sa pagkuha ng kredito mula sa pinakamahirap na bukas na tanong sa matematika—hindi bababa sa kredito sa paglutas ng mga ito, dahil sinabi ng kumpanya na hindi nito gusto ang pera.

Ilang araw matapos i-claim ang isang solusyon sa mga equation ng Navier-Stokes, sinabi ng OpenAI sa The New York Times na nakagawa ito ng "malaking pag-unlad" sa isa pang Millennium Prize Problem, isa sa pitong malalaking palaisipan na sinuportahan ng Clay Mathematics Institute na may $1 milyong gantimpala mula pa noong 2000.

Hindi pa rin sinasabi ng OpenAI kung aling problema ang tinutukoy nito, ngunit mayroon nang mga teorya ang mga eksperto, mahilig—at mga reporter.

Ang pag-uusap sa social media ay nakatuon sa Hodge Conjecture, isang palaisipan noong 1950 tungkol sa kung paano bilangin ang mga "butas" sa kumplikadong geometric na hugis—ang uri na may napakaraming dimensyon na walang sinuman ang talagang makakaimagine. Iminungkahi ng mathematician na si William Hodge ang isang shortcut gamit ang algebra sa halip na geometry upang gawin ito, ngunit walang nakapagpatunay na palaging gumagana ang shortcut.

Hindi kinumpirma ng OpenAI ang hula na iyon, at hindi rin nito kinumpirma ang mga tsismis na ang hindi pa inilalabas na modelo sa likod ng trabaho ay ang pinaghihinalaang bersyon ng Aeon na binuo para sa mga gawain na may mahabang panahon at agentic na workflow. Pareho itong haka-haka, hindi pahayag ng kumpanya.

Noong Setyembre 8, sinabi ng OpenAI na ang isang hindi pa inilalabas na internal na modelo ay nakabuo ng isang Lean-verified na patunay—ang Lean ay software na sumusuri sa isang patunay sa matematika, isang lohikal na hakbang sa bawat pagkakataon—na nagpapakita na ang mga equation ng Navier-Stokes, na naglalarawan kung paano gumagalaw ang mga likido tulad ng hangin at tubig, ay maaaring "sumabog" sa isang pisikal na imposibleng walang katapusang bilis. Kinailangan ng humigit-kumulang 10,000 magkakasamang AI agent na nagtatrabaho ng humigit-kumulang 88 oras upang makarating doon.

Malaking bagay iyon bukod pa sa departamento ng matematika. Ang Navier-Stokes ay nagsisilbing pundasyon ng disenyo ng sasakyang panghimpapawid, pagtataya ng panahon, at kung paano sinusuri ng mga doktor ang daloy ng dugo, at nilabanan nito ang isang kumpletong paliwanag sa matematika sa loob ng halos 90 taon.

Ngunit naging magulo ang anunsyo. Ibinahagi ng mathematician ng NYU na si Tristan Buckmaster ang kanyang panig sa isang apat na pahinang pahayag: siya at ang researcher ng Anthropic na si Levent Alpöge ay tahimik na naghabol ng isang kaugnay na patunay sa loob ng halos isang taon at natapos ito noong Agosto 22—bago nalaman ni Sébastien Bubeck ng OpenAI ang tungkol dito at nagmadaling ilathala ito nang una.

Sinabi ni Buckmaster na sinabihan siya ni Bubeck na hayaan ang OpenAI na maglathala sa susunod na araw pagkatapos ng kanyang koponan o isulat ito nang mag-isa, nang walang Alpöge, dahil nagtatrabaho si Alpöge sa isang karibal na lab. "Bakit mo sisirain ang iyong karera?" diumano'y sinabi ni Bubeck sa kanya nang tumanggi siya.

Napakat powerful ng bagong wave na ito ng mga modelo ng AI kaya nagmumukhang cool ang matematika. Sa parehong linggo, sinabi ng Anthropic na ang kanilang modelo ng Claude ay pormal na nagpatunay sa isang 358-taong-gulang na patunay ng Fermat's Last Theorem sa loob ng 11 araw, at binalaan ng mathematician na si Terence Tao na ang karera ng mga AI lab sa isa't isa ay mabilis na nauubos ang suplay ng matematika ng mahirap, kapaki-pakinabang na problema kaysa sa bilis ng paghahanap ng mga bago.

Sinasabi ng OpenAI na hindi nito hinahabol ang $1 milyong premyo para sa paglalathala ng anumang resulta—ginagamit nito ang mga problema bilang isang pampublikong batayan para sa kung gaano kabilis ang pagpapabuti ng kanilang mga modelo. Ang susunod na pagsubok ng batayan na iyon ay kung ang Clay Institute, o sinumang mathematician sa labas ng kumpanya, ay maaaring malayang kumpirmahin kahit isa sa mga claim nito—isang proseso na, para sa mga nakaraang pagsumite ng Millennium Prize, ay tumagal ng mga taon sa halip na linggo.