OpenAI lahendis probleemi milleniumist, kuid plagiaariumisüitusud kõlavad

- OpenAI väidab, et nende AI-süsteem lahendas ühe seitmest milleniumi probleemist (Navier-Stokesi võrrandid).
- Lahenduse leidmiseks kasutati massiivset agentide võrgustikku ja ligi 22,5 miljoni dollari väärt computingut.
- Matemaatik Tristan Buckmaster süüstitab ettevõtet teiste teadlaste töö ja meetodite kopeerimises.
- Tulemus on formaliseeritud Lean keeles, mis võimaldab matemaatilise tõenduse kontrollimist.
Tehnoloogia maailmas on harjumudnud kiirete läbimurkudega, kuid OpenAI viimane avaldus tõstab küsimusi, mis ulatuvad kaugemale pelgastest koodiradadest. Ettevõte teatas 8. septembril 2026, et on leidnud tehisintellekti abil lahenduse ühele seitmest milleniumi probleemist, mida haldab Clay Mathematics Institute. Tegemist on Navier-Stokesi võrranditega, mis on üle 200 aasta kirjeldanud vedelikute ja gaaside liikumist, kuid mille täielik matemaatiline tõend on jäänud aastakümnetite jooksul saavutamata.
Matemaatiline läbimurre ja vedelikute dünaamika
Navier-Stokesi võrrandid on kriitilise tähtsusega kõiges, alates lendokide aerodünaamikast kuni kliimamuutuste modelleerimiseni. OpenAI väidab, et nende AI-süsteem suutis tõendada, et teatud juhtudel võivad need võrrandid plahvatada, saavutades lõpliku kiiruse piiratud aja jooksul. See on nälgus füüsiliselt võimatu olukord reaalsete vedelikute või gaaside puhul, kuid matemaatiliselt on see olnud üks suurimaid väljakutsetid.
Selle saavutuse väärtus ei ole ainult teoreetiline. Iga milleniumi probleemi lahendamine kaasab ühe miljoni dollari auhella, kuid tegelik väärtus peitub võimeuses, millega AI suudab nüüdseks läbida abstraktsiooni tasmeid, mis olid varem reserveeritud vaid inimmeele. OpenAI kinnituse kohval on tõend formaliseeritud Lean keeles, mis on spetsiaalne programmeerimiskeel matemaatiliste tõenduste kontrollimiseks, vähendades seega inimlike vigade riski.
Kuidas OpenAI saavutas tulemuse
Protsess ei olnud juhuslik, vaid massiivse ressursse planeerimise tulemus. Sébastien Bubeck, OpenAI matemaatika meeskonna juht, selgitas, et töö alustati pärast seda, kui ringides levisid kuuldused teiste matemaatikate edusammudest. Ettevõte ei lootnud ühele mudelile, vaid rakendas paralleelse agentide süsteemi, mis põhineb veel avaldamata järgmisel põlvkonnal, Astra.
Töö kulgedi järgmiselt:
Esmalt treeniti uut mudelit 28. augustil ja 1. septembril suunに取りiti kogu tähelepanu just Navier-Stokesi probleemi poole. Esimesed katsetused lihtsustatud versiooni lahendamiseks võttisid 50 tundi ja nõudsid 1000 agenti töötamist paralleelselt. Täislahenduse leidmiseks tõsteti võimsust 10 000 agendini, kes tegutsesid ühe nädalavahe jooksul. Kokku kulutati 300 miljardit väljundtokenit, mille maksumus praeguste Astra hinnapoolt oli ligikaudu 22,5 miljonit dollarit.
Süüitused plagiaadi ja ebaausliku mängu üle
Hoolimata tehnilisest triumpist on OpenAI reputatsioon sattunud rünnaku alla. NYU matemaatik Tristan Buckmaster on avaldanut terava süüituse, väidledes, et tehisintellekt ei leidnud lahendust iseseisvalt, vaid kopeeris teekonna, mille olid juba ette valmistanud tema ja Anthropic'u uurija Levent Alpöge. Buckmasteri sõnul on OpenAI lihtsalt kiirendanud protsessi, kasutades teiste teadlaste eelnevat tööd, et võtta endeks au.
See konflikt toob esile sügavama probleemi AI arenduses: piiri vahelse uuringu ja plagiaadi. Kui AI treenitakse andmetel, mis sisaldavad teiste teadlaste hypoteese või poolikuid lahendusi, siis kas tulemus on loov läbimurre või lihtsalt statistiline kokkupanek? Wiredi raporti kohaselt on see vaidlus muutunud publiseks võitluseks, mis paneb kahtluse alla OpenAI eetiliste standardite üle.
Computingu hind ja teaduse automatiseerimine
22,5 miljoni dollari kulutus ühe matemaatilise tõenduse jaoks on summa, mis paneb paljusid mõtlema. See näitab, et AI-põhine teadus ei ole enam ainult tarkvara optimeerimine, vaid muutub energiaintensiivseks ja kalliks ettevõtteks. See on strateegiline panus, mis näitab, et OpenAI soovib domineerida mitte ainult tekstide genereerimises, vaid ka fundamentaalse teaduse arendamises.
Sébastien Bubeck on rõitanud, et agentide paralleelne töö võimaldas läbi proovida miljoneid variante, mida üks inimmatemaatik ei suudaks elu jooksul läbi käia.
Kuid see tõstab küsimuse: kas teadus on muutumas võidus mänguks, kus võidab see, kellel on kõige rohkem GPU-id ja computingut? Kui lahendus sõltub 300 miljardi tokenist, siis muutub teaduslik avastamine ressursside sõjaliseks võistlekuks, kus väiksemad ülikoolid ja sõltumatud uurijad jäävad kõrvale.
AI roll matemaatika tulevikus
Navier-Stokesi probleem on vaid algus. Kui AI suudab tõendada milleniumi probleeme, on järgmine samm tõenäoliselt uute matemaatiliste teoreemide loomine, mitte ainult olemasolevatele vastuste leidmine. Lean keele kasutamine on siin võtmetähtsusega, sest see loob silla AI-genereritud ideede ja range matemaatilise tõendamise vahel.
Kuid plagiaariumisüitusud näitavad, et AI ei ole veel täielikult iseseisev teadlane. See on tööriist, mis vajab sisendit. Kui see sisend on varastatud või ebaõnnetult kasutatud, siis tulemus on etiliselt problematiline. ABC analüüsi kohaselt on see juhtum signaal kogu teadusDigiteknooniale, et läbikuud peavad olema läbipaistvad.
Mida see tähendab Eesti ja Balti riikide ettevõtjatele
Eesti ja Balti riikide jaoks, kus digitaalne ökosüsteem on üks arengusmaid, on see uudis oluline kahe põhjuse tõttu: AI-põhise automatiseerimise potentsiaali ja regulatsiooni vajaduse tõttu. Meie regioonis, kus e-riigi ja digitaalse innovatsiooni kultuur on tugev, näitab see juhtum, et AI ei ole enam ainult assistent, vaid võimekalt agent, kes suudab lahendada probleeme, mida inimestel on aastaid ebaõnnestunud.
Kohalike ettevõtjate jaoks tähendab see, et AI-agentide rakendamine äriprotsessidesse muutub vältimatuks. Kui OpenAI suudab 10 000 agendiga lahendada matemaatika probleeme, siis Balti startupid saavad sarnaseid agentide võrgustikke kasutada keeruliste logistika- või finantsmudelite optimeerimiseks. Kuid siinkohal tuleb arvestada Euroopa Liidu AI Actiga, mis nõuab läbipaistvust ja vastutust.
Eesti e-ökosüsteemi jaoks on kriitiline, et me ei jäädaks vaid kasutajateks, vaid arendaksime meetodeid, kuidas kontrollida AI-genereritud tulemusi. Lean-i sarnaste kontrollimekanismide kasutamine on tulevikus standard, et vältida plagiaati ja tagada tõendatavus. Balti riigid peaksid keskenduma AI-auditimise ja eetilise kasutamise kompetentsidele, et pakkuda turule usaldusväärseid AI-lahendusi, mis ei tugine vaid massiivsele computingule, vaid läbikaikujale ja ausale teadustööle.
Korduma kippuvad küsimused
Mis on Navier-Stokesi võrrandid?
Need on matemaatilised võrrandid, mis kirjeldavad vedelikute ja gaaside liikumist, olles üks seitmest milleniumi probleemist.
Miks süüstitakse OpenAI-d plagiaadis?
Matemaatik Tristan Buckmaster väidab, et OpenAI kasutas tema ja Levent Alpöge eelnevat tööd, et kiiresti jõuda lahenduseni.
Kui palju maksis selle lahenduse leidmine?
OpenAI hinnangul kulutas computingu vastavalt Astra mudeli tarifidele ligikaudu 22,5 miljonit dollarit.
Kuidas kontrollitakse AI tehtud matemaatilist tõendust?
Tõend on formaliseeritud Lean programmeerimiskeeles, mis võimaldab masinalist ja täpset kontrollimist.
Allikad: Es, Abc, Ecosistemastartup ·
Scrivila qui: Susanna, l assistente AI di glacom, ti risponde via email con un approfondimento gratuito.
Nessuna consulenza personalizzata (finanziaria, legale o medica): solo informazione e fonti. Email usata solo per rispondere.
oppure scrivile su: WhatsApp · Telegram · SimpleX · Delta Chat · Email