Sinabi ng OpenAI na nalutas ng isang AI system ang problema ng Navier-Stokes. Ito ay isa sa pitong Millennium Prize Problems, ang pinakamahirap na bukas na tanong sa matematika.
Sinabi ng kumpanya na 10,000 na AI agent ang nagtrabaho nang magkasama para sa 88 oras upang makamit ang patotoo. Pinag-uusapan ni Professor Tristan Buckmaster ng NYU ang pagkakaroon ng kredito.
Ano ang Ipinagmamalaki ni OpenAI
Ang mga ekwasyon ng Navier-Stokes ay naglalarawan kung paano gumagalaw ang mga likido, tulad ng hangin o tubig.
Ang patunay ng OpenAI ay nagpapakita na ang mga ekwasyon ay maaaring makamit ang finite-time blowup, kung saan ang bilis ng fluid ay naging walang hanggan kaysa sa manatiling malambot.
Ang patunay ay galing sa isang hindi pa inilabas na modelo na sinasabi ng OpenAI na mas mahusay kaysa sa kanilang inilabas na GPT-6 Astra system.
Ginamit ni GPT-6 Astra ang 17 na oras upang patunayan ang lohika ng patotoo.
Ang Clay Mathematics Institute ay nag-aalok ng $1 milyon para sa paglutas ng anumang sa pitong mga problema. Sinabi ng OpenAI na hindi ito maghahangad ng prizyo.
Ang Disputa sa Kredito
Sabi ng propesor ng NYU na si Tristan Buckmaster, kasama niya ang matematiko ng Anthropic na si Levent Alpöge ay malapit na sa isang kaugnay na resulta.
Nasa loob ng OpenAI’s Codex, isang AI model na nakatuon sa coding, ang kanilang trabaho. Sabi ni Buckmaster, maaaring naging sanhi iyon na maexpose ito sa koponan ng OpenAI.
Tinugon ni Buckmaster ang pag-aalala nang direkta sa isang pampublikong pahayag:
Hindi ko alam kung ano ang ginawa ng kanilang modelo o paano. Hindi ko alam kung ginamit ang aming data. Hindi ako nag-aakusahan ng sinuman sa anumang bagay.
— Tristan Buckmaster, matematiko ng NYU
Sumagot ang siyentipiko ng OpenAI na si Sebastien Bubeck sa isang press briefing. Tinanggol niya na ang kumpanya ay hindi nakakapag-access o naggamit ng kanilang hindi pa nalalabas na trabaho.
Kinilala rin ng OpenAI ang isang iba pang bagay. Hindi ito maaaring alisin na ang paggamit ng produkto ng mga siyentipiko ang nag-impact sa pagtuturo ng modelo nito.
Ang dispute ay nangyari habang handa ang OpenAI para sa isang inaasahang $1 trilyon na public listing. Kinakamit ng Anthropic ang mas malaking valuation sa pamamagitan ng ang kanilang sariling IPO push.
