Markdown izdanje

AI-translated from English; not yet reviewed by a fluent editor.

# Od udaljenosti jedinice do Navije-Stoksovih jednačina: AI matematika ulazi u novu fazu

> Od opovrgavanja pretpostavke o jediničnim rastojanjima do Navije-Stoksovih jednačina, AI matematika napreduje kroz nove rezultate, ljudske nastavke istraživanja i formalne dokaze. Šta se zaista promenilo?

By BIG CHANGE Editorial

Published: 2026-09-22T03:48:27.579Z
Updated: 2026-09-22T03:48:27.579Z
Canonical: https://bigchange.ai/blog/ai-mathematics-unit-distance-navier-stokes

![An open notebook pairs a point-and-line geometry sketch with swirling fluid lines, with an orange pencil beside it.](https://bigchange.ai/api/media/file/geometry-fluid-hero-v1.png)
AI-generated conceptual illustration by BIG CHANGE. From geometry to fluid mathematics: conceptual sketches of the article's range, not the actual unit-distance construction, a proof or a fluid simulation.

U maju je pitanje o tačkama u ravni dobilo neočekivan odgovor. Do septembra su AI laboratorije objavljivale argumente o singularitetima fluida, uz datoteke namenjene računarskoj proveri dokaza. Između tih objava pojavili su se novi kontraprimeri, jače ocene i formalizacija Fermaove poslednje teoreme.

Napredak AI-ja u matematici zaslužuje više od pukog brojanja oborenih pretpostavki. Ovi rezultati bave se različitim pitanjima, počivaju na različitim dokazima i ostavljaju različit posao nedovršenim. Kontraprimer može preokrenuti uverenje, a da ne pruži najbolje moguće rešenje. Poboljšana ocena može biti važna iako poznata pretpostavka uz nju ostaje otvorena. Računarski proveren dokaz može potvrditi tvrdnju, a da ne objasni zašto će njegove ideje biti korisne drugde.

Ovo je naš pregled važnih dešavanja od OpenAI-jeve objave o jediničnim rastojanjima 20. maja do septembarske tvrdnje o Navije-Stoksovim jednačinama, zasnovan na izveštavanju do 22. septembra 2026. Uključuje važne objave i istraživanja koja su iz njih proistekla. To je mapa ovog niza događaja, a ne iscrpan popis svih radova iz matematike uz pomoć AI-ja. Pročitali smo navedene objave, relevantne iskaze teorema, uvode radova i dokumentaciju o proveri. Nismo nezavisno recenzirali ove dokaze niti ponovo izgradili njihove formalizacije.

Naš glavni zaključak je da najjači dokaz napretka ima dva dela: mašine proizvode matematičke argumente vredne ozbiljnog razmatranja, a ljudi iz nekih od tih argumenata već izvode dalju matematiku. Da li će to prerasti u postojan napredak zavisi od resursa za proveru, objašnjavanje i nadogradnju tog rada.

## Maj: kontraprimer otvara novi put kroz geometriju

Problem jediničnih rastojanja lako je zamisliti. Postavite skup tačaka na ravnu površ i prebrojte parove koji su međusobno udaljeni tačno jednu jedinicu. Koliko takvih parova može biti kada dodajete tačke?

U objavi od 20. maja OpenAI je novu konstrukciju pripisao internom modelu za opšte zaključivanje, testiranom na skupu Erdešovih problema. Objavio je i zaseban prateći rad spoljnih matematičara koji su razmotrili argument. Važno je što postoji i taj drugi dokument: čitaoci mogu da provere šta su matematičari razumeli i rekonstruisali izvan laboratorijskog opisa modela. [OpenAI-jeva objava](https://openai.com/index/model-disproves-discrete-geometry-conjecture/).

U izvornom rukopisu se konstruišu beskonačne familije skupova od n tačaka sa najmanje n^(1+δ) parova jediničnih rastojanja, za neku fiksnu pozitivnu vrednost δ. Jednostavno rečeno, poboljšanje eksponenta opstaje i kako primeri rastu. Time se opovrgava pretpostavljena skoro linearna granica. Rezultat ne određuje tačan maksimalni broj jediničnih rastojanja za svaki broj tačaka, a šira potraga za optimalnim granicama se nastavlja. [Rukopis o jediničnim rastojanjima](https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf).

Iznenađenje je bilo poreklo konstrukcije. Prateći rad povezuje geometrijski rezultat sa naprednom algebarskom teorijom brojeva i navodi ranije matematičke sastojke. Autori nude pojednostavljenu i donekle uopštenu rekonstrukciju. To je koristan primer ljudskog rada nakon otkrića uz pomoć AI-ja: prepoznati mehanizam, učiniti vidljivim njegove zavisnosti i pretvoriti argument u nešto čime drugi istraživači mogu da se bave. [Prateći rad matematičara](https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf).

Čitalac koji želi da razume značaj majskog rezultata treba zato da prati i kasnije radove, a ne samo početnu objavu. Nova tehnika stiče drugačiji kredibilitet kada je istraživači upotrebe da postave i reše nova pitanja.

## Maj–jul: ideje počinju da se šire

Tomasa Bluma, Vila Sevina, Karla Šildkrauta i Dmitrija Železova objavili su 27. maja kontraprimer pretpostavci o zbiru i proizvodu nad realnim brojevima. Uopšteno, reč je o tome koliko se skup proširuje kada se njegovi elementi sabiraju ili množe. Njihova konstrukcija dopušta da oba nastala skupa ostanu manja od pretpostavljene skoro kvadratne veličine. Autori izričito navode da ih je kontraprimer za jedinična rastojanja podstakao da ponovo razmotre polja brojeva velikog stepena. Objašnjavaju i da njihova konačna konstrukcija zahteva manje teorije brojeva od prethodnog rezultata. [Rad o zbiru i proizvodu](https://arxiv.org/html/2605.28781v1).

To je konkretan slučaj u kojem je rezultat nastao uz AI podstakao matematiku koju su autori napisali sami. To ne znači da je AI napisao taj nastavak, niti treba izbrisati imena njegovih autora tako što ćemo njihov rad ubrojati u uspehe laboratorije.

Kosmin Pohotaov preprint, prvi put podnet 11. juna, a izmenjen 28. juna, prenosi ovaj niz na problem Elekes–Rónyai. Daje polinomski primer čije se vrednosti na odgovarajućim skupovima šire manje nego što se očekivalo, koristeći sastojke iz nedavnih konstrukcija za jedinična rastojanja i zbir–proizvod. U radu je veza između problema jasno objašnjena. [Pohotaov rad](https://arxiv.org/html/2606.13619v2).

Sungčul Li, Pohota i Danijel Džu objavili su 6. jula još jedan rezultat o Minkovskijevoj mreži. Njihova konstrukcija čuva svojstva ponavljanja rastojanja unutar podskupova i ima posledice za pitanja o ponovljenim rastojanjima i jednakokrakim trouglovima. To je bogatija struktura od jednog neuobičajeno bogatog rasporeda čije unutrašnje osobine nisu razmotrene. [Rad o Minkovskijevoj mreži](https://arxiv.org/html/2607.05374v1).

Ovde postoje dokazi koji podupiru optimističan zaključak. Majski rezultat ponudio je materijal koji su drugi istraživači za nekoliko nedelja mogli da izmene i ponovo upotrebe. Predlažemo da uspeh merimo proizvodnjom takvih upotrebljivih metoda i trudom potrebnim da se one razumeju. Prosto brojanje rešenih problema ne bi obuhvatilo tu razliku.

## Jul: kontraprimer Jakobijevoj pretpostavci pokazuje zašto je važno precizno odrediti obuhvat

Druga upečatljiva epizoda ticala se Jakobijeve pretpostavke. U izlaganju od 21. jula Terens Tao razmatra kontraprimer dobijen pomoću Fable AI-ja: polinomsku transformaciju tri kompleksne promenljive koja je invertibilna u maloj okolini, ali ukupno preslikava različite tačke u istu vrednost. Opšta tvrdnja pretpostavke ne važi u tri i više dimenzija; slučaj dve dimenzije i dalje je otvoren. Tao navodi izričite formule i objašnjava geometriju konstrukcije. [Taovo matematičko izlaganje](https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/).

Izričit kontraprimer može olakšati računarsku proveru ključne protivrečnosti. Otkriti zašto bi takav primer trebalo da postoji i kako se konstruišu srodni primeri zahteva dodatni matematički rad. Epizoda s Jakobijevom pretpostavkom omogućava čitaocima da vide te različite zadatke u objavljenim radovima.

Razlika je ostala važna i u septembru. Preprint Arna van den Esena od 15. septembra prikazuje elementaran put do kontraprimera koji je, posle linearnih promena koordinata, ekvivalentan primeru Leventa Alpegea. To je novo objašnjenje konstrukcije, a ne drugo, nezavisno opovrgavanje izvorne pretpostavke. [Van den Esenov rad](https://arxiv.org/abs/2609.17795).

Rukovodiocima istraživanja ovo sugeriše praktičnu promenu u tome šta treba nagrađivati. Finansiranje osobe koja složeno otkriće čini razumljivim može pokrenuti isto toliko daljeg rada koliko i finansiranje još jedne potrage za rezultatom koji puni naslovne strane. To je naša procena ovog niza događaja, a ne tvrdnja da su univerziteti već promenili svoje podsticaje.

## Avgust: širi raspon matematičkih tvrdnji

OpenAI-jevo izdanje od 1. avgusta predstavilo je deset grupa rezultata iz matematike i teorijskog računarstva. Kompanija kaže da je argumente generisala interna verzija modela Astra, da su ljudi sarađivali sa modelom na pripremi rukopisa i da je model proizveo Lean sertifikate. To je drugačiji opis nastanka nego majska objava jednog rezultata, a izričito pominje doprinos pripremi rukopisa. [Avgustovska objava](https://openai.com/index/ten-advances-in-mathematics/).

Prateća zbirka, ažurirana 6. avgusta, navodi sledeće. Ovo su opisi tvrdnji iz rukopisa, a ne deset zasebnih potvrda BIG CHANGE-a:

- **Pakovanje sfere:**oštrija asimptotska gornja granica u višim dimenzijama.
- **Binarni i sferni kodovi:**jače granice veličine kodova za određena rastojanja.
- **Teorija grupa:**konstrukcija nesofičke grupe.
- **Algebre operatora:**kontraprimeri Konovoj hipotezi krutosti.
- **Aritmetička složenost:**jače donje granice za kola i formule za permanentu.
- **Kvantne igre:**teorema o eksponencijalnom paralelnom ponavljanju.
- **Problemi rešetki:**jači rezultati o težini aproksimacije za problem najbližeg vektora.
- **Konveksna geometrija:**dokaz Erhartove pretpostavke o zapremini.
- **Remzijeva teorija:**supereksponencijalna donja granica za Remzijeve brojeve višebojnih trouglova.
- **Ekstremalna teorija grafova:**kontraprimeri pretpostavkama o kompaktnosti i degeneraciji.

[Zbirka istraživanja o deset rezultata](https://cdn.openai.com/pdf/ten-proofs-oai.pdf).

Širina tema je važna, ali zbog nje zbirni broj može da zavara. Pronalaženje kontraprimera, poboljšanje granice i dokaz opšte teoreme imaju različite posledice. Ni rezultat o težini matematičkog problema sam po sebi ne pokazuje da je napadnut kriptografski sistem u upotrebi. Primena zahteva sopstveni niz dokaza i zaključivanja.

Anthropic je 10. avgusta objavio uže definisan napredak u vezi sa Rimanovom hipotezom. Kaže da je neobjavljeni model Klod poboljšao donju granicu udela nula zeta-funkcije koje leže na kritičnoj pravoj. Matematičari Anthropic-a razmotrili su rad, spoljašnji stručnjaci recenzirali su članak, a izrađena je i formalizacija. Kompanija izričito navodi da Klod nije rešio Rimanovu hipotezu i da ne očekuje da će je ove tehnike rešiti. [Anthropic-ov izveštaj](https://www.anthropic.com/research/riemann-zeta).

Povezani rad postavlja granicu malo iznad dve trećine, približno 67,25 odsto, i navodi prethodne analitičke rezultate koje koristi. Reč je o asimptotskoj matematičkoj tvrdnji, a ne o tvrdnji da provera velikog konačnog uzorka nula dokazuje hipotezu. Razlika je suštinska: donja granica udela ne stavlja svaku relevantnu nulu na pravu. [Rukopis o nulama zeta-funkcije](https://www-cdn.anthropic.com/95c246936988e43127bc6b2ceb7077c1dad2d68e.pdf).

U opticaju su i drugi ambiciozni rukopisi. Dokument na Alpegeovoj veb-stranici predlaže kompleksnu strukturu na šestodimenzionalnoj sferi. Konstrukcija je dostupna za razmatranje, ali kopija koju smo videli ne utvrđuje pouzdan datum objave niti potpun opis doprinosa AI-ja. Zato je navodimo kao predlog koji čitaoci mogu istražiti, a ne kao nezavisno potvrđenu prekretnicu u ovoj hronologiji. [Rukopis o šestodimenzionalnoj sferi](https://alpo.ge/s6.pdf).

## Početak septembra: praznine između prostih brojeva otkrivaju granicu provere

Rukopisnu seriju objava zahvatio je i problem razmaka između prostih brojeva. Preliminarni rad saradnje Axiom od 3. septembra tvrdi da beskonačno mnogo parova uzastopnih prostih brojeva ima razmak najviše 212. U njemu se navodi analitički rad Julije Stadlman i raniji projekat Polymath. Lean sertifikat takođe uzima analitičke procene i zasebno provereni varijacioni sertifikat kao pretpostavke. Rezultat unapređuje problem ograničenog razmaka; hipoteza o prostim blizancima zahteva beskonačno mnogo razmaka tačno dva. [Rad tima Axiom](https://primegaps.axiommath.ai/bgp212.pdf).

Javni repozitorijum OpenAI-ja PrimeGaps186 prikazuje još manju granicu uz važno ograničenje. Njegov Lean dokaz uslovljen je trima ulaznim aksiomama, koje obuhvataju dve procene iz literature i numeričke granice integrala. U repozitorijumu se navodi da numerički sertifikat ne dokazuje te aksiome. Zato treba razlikovati predloženi matematički argument od dela koji je formalno proveren na osnovu navedenih ulaza. Bilo bi pogrešno opisati ovaj artefakt kao bezuslovan, potpuno formalizovan dokaz izveden samo iz osnovnih aksioma. [Repozitorijum PrimeGaps186](https://github.com/openai/PrimeGaps186).

Drugi rukopis OpenAI-ja bavi se velikim razmacima: pitanjem koliko veliki mogu postati intervali između uzastopnih prostih brojeva. U njemu se iznosi poboljšana donja granica za najveće razmake ispod rastućeg praga. To je odvojeno ekstremalno pitanje od nalaženja beskonačnog broja bliskih parova prostih brojeva; napredak u jednom ne treba brojati kao rešenje drugog. [Rukopis o velikim razmacima](https://cdn.openai.com/pdf/51126fac-1b68-4128-9666-c908bcc16033/long_gaps.pdf).

Ovi detalji čine epizodu sa razmacima između prostih brojeva posebno korisnom. Dva broja u naslovu mogu delovati kao jednostavna trka. Kada postanu vidljive zavisnosti dokaza, bolje pitanje je koji su koraci utvrđeni kojim metodama. Korisno je jasno navesti pretpostavke čak i kada formalizacija još nije potpuna.

## 4. septembar: formalizacija postaje deo priče o otkriću

Objava Anthropic-a od 4. septembra odnosi se na teoremu čiji je matematički dokaz već bio poznat: Fermaovu poslednju teoremu. Navodni doprinos je potpuna formalizacija u Lean-u, koju je Klod uglavnom samostalno izradio za jedanaest dana. Kompanija opisuje ljudsko usmeravanje i platformu za saradnju koja je agentima pomagala da prate zavisnosti. Takođe priznaje tradiciju matematičkih dokaza na kojoj se rad zasniva. [Objava o formalizaciji](https://www.anthropic.com/research/formalizing-fermats-last-theorem).

Javni repozitorijum pruža konkretnije dokaze od samog naslova. U njemu su navedeni teorema, zavisnosti i provere prema standardnim aksiomama Lean-a i formulaciji u biblioteci Mathlib. Takođe je opisan kao istraživački artefakt koji se ne održava. Pregledali smo dokumentaciju, ali nismo ponovo pokrenuli izgradnju projekta. [Repozitorijum za Fermaovu poslednju teoremu](https://github.com/anthropics/fermats-last-theorem).

Ako isti alati koji stvaraju više kandidata za dokaz mogu i da ih formalizuju, može se proširiti i kapacitet provere. To je značajan razlog za optimizam. Budući istraživači dobijaju nešto konkretno što mogu da ispitaju. I dalje treba utvrditi da li se međurezultati lako ponovo koriste, da li zavisnosti mogu da se izgrade i ko održava artefakt. Sam obim generisanog koda ne odgovara na ta pitanja.

Ovde postoji važan institucionalni izbor. Laboratorija može da objavi dokaz kao završnu demonstraciju modela ili da ga podrži kao infrastrukturu na kojoj će drugi raditi. Ti pristupi stvaraju različite obaveze nakon dana objave. Održavanje, primeri koji objašnjavaju rad i stabilne reference treba da budu deo istraživačkog budžeta.

## 8. septembar: šta rezultat o Navije-Stoksovim jednačinama zaista tvrdi

Rezultat o fluidima jasnije iznosi ova pitanja. U objavi od 8. septembra, ažuriranoj 10. septembra, OpenAI predstavlja predloženo rešenje problema postojanja i glatkoće Navije-Stoksovih jednačina. Rad pripisuje internom modelu koji je radio preko koordinisanih agenata i objavljuje pisani argument i Lean formalizaciju. OpenAI navodi da ne namerava da traži Milenijumsku nagradu. [Objava](https://openai.com/index/navier-stokes-solution/).

U rukopisu se razmatra trodimenzionalno kretanje nestišljivog fluida sa pozitivnom viskoznošću i pažljivo konstruisanom spoljašnjom silom. Polazeći iz mirovanja, predloženo rešenje razvija neograničenu brzinu za konačno vreme, dok ukupna energija ostaje ograničena. Sila je glatka i prostorno i vremenski ograničena. Matematička konstrukcija koristi skupljajući vrtlog i korekcije kojima preostala sila ostaje glatka. To su tvrdnje o rešenjima jednačina, a ne zapažanja iz fizičkog eksperimenta ili novog inženjerskog simulatora. [Rukopis o Navije-Stoksovim jednačinama](https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf).

Spoljašnja sila je ključna za razumevanje obuhvata. Zvanični opis problema Čarlsa Fefermana za Klajevu nagradu dopušta glatko forsiranje u alternativama C i D. Alternative A i B, koje se odnose na globalnu glatkoću, bave se jednačinama bez spoljašnje sile. Zato važeći rezultat predloženog tipa može da odgovori na izričito dopuštenu Klajevu alternativu, a da nerešeno pitanje globalne regularnosti bez forsiranja ostane otvoreno. Nazvati forsiranje nevažnim preuveličalo bi teoremu; odbaciti ga kao nešto van formulisanog problema pogrešno bi prikazalo pravila. [Zvanična formulacija problema](https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf).

OpenAI je objavio i zaseban argument za Ojlerove jednačine, koje opisuju idealizovan fluid bez viskoznosti. U tom rukopisu se predlaže slom glatkog rešenja za konačno vreme, počev od glatkih početnih podataka bez spoljašnjeg forsiranja. Ojlerove i Navije-Stoksove jednačine jesu povezane, ali pretpostavke i zaključke ova dva rada treba držati odvojenim. [Rukopis o Ojlerovim jednačinama](https://cdn.openai.com/pdf/315b36cd-ec98-4023-8342-93345194ece1/euler.pdf).

Važna je i istorija istraživanja. U izjavi od 10. septembra Evropsko matematičko društvo ističe rad Kordobe, Martines-Soroe i Dženga, kao i Alpegea, Bakmastera i ranije matematičke doprinose. Takođe pokreće pitanja pristupa, autorstva i priznanja zaslugama. Pripoved koja skače direktno od imena modela do teoreme gubi niz ideja koje su omogućile taj rad. [Izjava Evropskog matematičkog društva](https://euromathsoc.org/news/ems-statement-on-recent-navier-stokes-announcement-225).

Klajev institut odgovorio je 11. septembra uzdržanim oduševljenjem zbog prividnog rešenja i saopštio da će procena i dodela zasluga teći namerno sporim postupkom. To je značajna institucionalna reakcija. Nije dodela nagrade niti potvrda da su svi aspekti rada već prošli recenziju. [Objava Klajevog instituta](https://www.claymath.org/news/navier-stokes-announcement/).

Čitaoci mogu da izvuku suštinski, ali i dalje značajan zaključak: AI laboratorija je objavila predloženi dokaz za prepoznati milenijumski problem, zajedno sa matematičkim i formalnim artefaktima koje je moguće ispitati, a važne institucije ga ozbiljno razmatraju. Šire prihvatanje, pripisivanje zasluga i razumevanje i dalje zahtevaju rad.

![Manuscript pages lead to a magnifying glass over a statement and dependency pages, then to an explanatory book and reusable pages.](/api/media/file/proposal-check-understanding-inline-v2.png)

## Provera dokaza odgovara na precizno pitanje

Formalna verifikacija menja dokaze dostupne recenzentima. Trebalo bi da doprinese i preciznijem izveštavanju.

Dokumentacija samog Lean-a razlikuje važeći dokaz od značenja tvrdnje koja se dokazuje. Osnovna uspešna provera utvrđuje da tvrdnja formalno sledi iz definicija i pretpostavki. Dodatne provere mogu da otkriju nedovršene zavisnosti, pregledaju aksiome i uporede dokaz sa nezavisno definisanom tvrdnjom. Dokumentacija opisuje i strože provere pomoću spoljnih alata i navodi pretpostavke koje ostaju. [Vodič za proveru u Lean-u](https://lean-lang.org/doc/reference/latest/ValidatingProofs/).

Zamislimo istraživača kome je potrebna granica koja važi za svaki ulaz algoritma. Pomoćnik ponudi formalno ispravnu teoremu, ali njena definicija dozvoljenih ulaza isključuje težak slučaj. Dokaz može biti ispravan, a da primena istraživača i dalje nema potporu. Ovo je hipotetički primer zašto treba pažljivo proveriti prevod pitanja u formalnu tvrdnju.

Novina zahteva još jednu vrstu provere. Sistem za dokazivanje ne utvrđuje da li se isti argument pojavio pod drugačijom terminologijom u starijem radu, da li je autorstvo potpuno navedeno niti da li navodno poboljšanje menja nešto važno za primenu. Za te procene potrebni su pregled literature i stručnost u oblasti.

Zato predlažemo da laboratorija koja objavljuje važan rezultat pruži trajni paket: tačnu tvrdnju običnim matematičkim jezikom, njenu formalnu verziju gde je dostupna, dokaz i zavisnosti, jasan opis doprinosa ljudi i modela i evidenciju onoga što je pregledano i izmenjeno. To je naš predlog standarda izveštavanja. Drugim istraživačima omogućava da utvrde odgovornost i ponove relevantne provere.

## Savetodavna grupa rešava rastući problem koordinacije

Objava Savetodavne grupe za matematiku i veštačku inteligenciju od 21. septembra dolazi u ovom kontekstu. Grupa navodi da je nezavisna, neplaćena i spremna da savetuje bilo koju relevantnu AI kompaniju. Neposredni zadatak joj je da savetuje OpenAI o objavi dodatnih rezultata za koje kompanija kaže da ih je postigla. Obećava javne preporuke i izričito navodi da nema ovlašćenje da odlučuje unutar kompanija. Objava na blogu Terensa Taoa gostujući je tekst grupe. [Saopštenje grupe](https://agmai.org/).

OpenAI opisuje mandat koji obuhvata pregled, komunikaciju, značaj i širenje rezultata. Takođe kaže da grupa ne savetuje o tempu internog napretka kompanije u matematici. Savetodavnu ulogu zato treba razumeti kao kanal za kontrolu i koordinaciju, dok odluke ostaju na kompaniji. [Objava OpenAI-ja o savetodavnoj grupi](https://openai.com/index/advisory-group-on-mathematics-and-ai/).

Postoje razlozi da se ovaj aranžman pozdravi. Bolja koordinacija može smanjiti dupliranje recenzentskog rada, pronaći odgovarajuće stručnjake i osigurati da opis rezultata odgovara onome što dokazi zaista potkrepljuju. Ograničenja su podjednako jasna: na savet treba odgovoriti, a sama nezavisnost ne omogućava sprovođenje. Čitaoci treba da prate objavljene preporuke i reakcije kompanija.

Skeptičan stav tiče se i svrhe istraživanja. Deklaracija Math and AI od 11. septembra upozorava da trka u rešavanju navedenih problema može zanemariti razvoj razumevanja i obrazovanje budućih matematičara. Potpisnici opisuju rizik po procese kroz koje ideje postaju poučljive i korisne. To je ozbiljan stav ljudi iz matematičke discipline, a ne merenje koje pokazuje da je svaka upotreba AI-ja već nanela štetu. [Deklaracija](https://mathandai.org/).

Henri Kon iznosi srodan argument u gostujućem eseju na Taovom blogu od 15. septembra: slabo objašnjeni rezultati mogu nametnuti veliki posao zajednici koja treba da ih usvoji. Brinu ga i podsticaji za ljude koji obavljaju taj posao objašnjavanja. I ovde je važno pravilno pripisati autorstvo: esej je Konov, iako je objavljen na Taovom blogu. [Konov esej](https://terrytao.wordpress.com/2026/09/15/the-technical-debt-of-ai-generated-mathematics/).

## Sledeći napredak treba da bude lakši za korišćenje drugima

Niz događaja od maja do septembra podupire optimističnu sliku konkretnim primerima. Geometrijski kontraprimer nadahnuo je nove konstrukcije. Istraživači su pronašli jasnije načine da objasne iznenađujuću polinomsku transformaciju. Formalizacija je proizvela dodatne artefakte pomoću kojih je moguće ispitati složeno zaključivanje. Već postoje sastojci za plodnu vezu između rezultata modela i matematičke prakse.

Pesimističan scenario je takođe praktičan. Laboratorije bi mogle da stvaraju predložene rezultate brže nego što drugi uspevaju da ih razumeju, a zatim da objave računaju kao završene naučne doprinose. Recenzentski teret mogao bi pasti na malu grupu stručnjaka, dok sredstva i ugled odlaze sistemima koji stvaraju zaostatak. Ograničen pristup modelima mogao bi produbiti neravnotežu između onih koji stvaraju otkrića i onih od kojih se očekuje da ih procenjuju.

Smatramo da laboratorije, finansijeri i časopisi treba da mere obe strane procesa. Pratite predložena otkrića, ali i nezavisnu proveru, korisna pojednostavljenja, ispravljene argumente, formalne biblioteke koje se mogu ponovo koristiti i dalji rad. Odajte priznanje ljudima koji rezultat čine razumljivim. Ispravke objavljujte jednako uporno kao i saopštenja.

Za čitaoca koji prati sledeći proboj najotkrivajuće je konkretno pitanje: šta drugi istraživač sada može da uradi, a ranije nije mogao? Odgovor može biti da konstruiše kontraprimer, utvrdi jaču garanciju, proveri težak argument ili nauči novu metodu. Tu napredak AI matematike postaje napredak matematike.

## Sources

- [OpenAI: objava o jediničnim rastojanjima](https://openai.com/index/model-disproves-discrete-geometry-conjecture/) — 20. maj 2026. Utvrđuje datum objave i opis kompanije o ulozi modela i spoljnoj proveri. Tvrdnje o prvenstvu i autonomiji nisu nezavisna procena svake faze rada.
- [OpenAI: Planarni skupovi tačaka sa mnogo jediničnih rastojanja](https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf) — Objavljeno uz saopštenje od 20. maja. Sažetak i glavna teorema navode beskonačnu familiju uz fiksno pozitivno poboljšanje eksponenta. Kontraprimer ne određuje tačnu ekstremalnu funkciju; dokaz nismo recenzirali.
- [Alon i saradnici: Napomene o opovrgavanju pretpostavke o jediničnim rastojanjima](https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf) — Prateći rad uz majsko izdanje. Pruža ljudski proverenu rekonstrukciju, određeno pojednostavljenje i uopštavanje, kao i pripisivanje zasluga ranijoj teoriji brojeva. Čitanje tvrdnji nije isto što i nezavisna provera svakog matematičkog koraka.
- [Blum, Sevina, Šildkraut i Železov: Pretpostavka o zbiru i proizvodu ne važi za realne brojeve](https://arxiv.org/html/2605.28781v1) — Preprint od 27. maja. U uvodu se izričito navodi da je kontraprimer za jedinična rastojanja poslužio kao nadahnuće. Reč je o nastavku istraživanja koji su napisali matematičari; njegovo uključivanje ovde ne pripisuje dokaz OpenAI-ju niti potvrđuje da je rad prihvaćen u časopisu.
- [Kosmin Pohota: Razdvojeni prosti brojevi i problem Elekes–Rónyai](https://arxiv.org/html/2606.13619v2) — Prvi put podnet 11. juna, a izmenjen 28. juna. Navodi kontraprimer polinomskog širenja i objašnjava primenu nedavnih konstrukcija. Datumi se odnose na verzije preprinta, a ne na potvrđeni datum prvog javnog saopštenja.
- [Li, Pohota i Džu: Minkovskijeva mreža ima snažno svojstvo ponavljanja rastojanja](https://arxiv.org/html/2607.05374v1) — Preprint od 6. jula. Utvrđuje tvrdnje autora o ponovljenim rastojanjima otpornim na izbor podskupova i njihove posledice. Sažimamo obuhvat i dokumentovano nadahnuće, ali ne proveravamo nezavisno ocene niti sugerišemo da je AI bio autor.
- [Terens Tao: Razlaganje kontraprimera Jakobijevoj pretpostavci](https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/) — Taovo matematičko izlaganje od 21. jula sadrži izričito preslikavanje i objašnjenje. Razlikuje kontraprimer u tri i više dimenzija od otvorenog slučaja dve dimenzije. Ne koristimo neproverene tvrdnje iz komentara.
- [Arno van den Esen: Elementaran način za pronalaženje kontraprimera Jakobijevoj pretpostavci](https://arxiv.org/abs/2609.17795) — Preprint od 15. septembra. Njegov navedeni doprinos je elementaran put do primera ekvivalentnog, nakon promene koordinata, Alpegeovom primeru. To je objašnjavajući nastavak rada, a ne dokaz drugog, nezavisnog otkrića kontraprimera.
- [OpenAI: Deset napredaka u matematici i teorijskom računarstvu](https://openai.com/index/ten-advances-in-mathematics/) — Objava od 1. avgusta. Opisuje podelu rada između internog modela, ljudi koji su pripremali rukopise i formalizacije modela. Izostavljamo poređenje troškova tokena i izdanje ne predstavljamo kao nezavisnu recenziju.
- [OpenAI: Istraživačka zbirka deset napredaka](https://cdn.openai.com/pdf/ten-proofs-oai.pdf) — Zbirka je ažurirana 6. avgusta nakon objave 1. avgusta. Sažeti spisak u članku prikazuje deset prijavljenih oblasti. Pročitali smo sažetak, sadržaj i odabrane iskaze teorema, a ne svih 253 stranice kao recenzenti.
- [Anthropic: Više o matematičkim sposobnostima Kloda](https://www.anthropic.com/research/riemann-zeta) — Objava od 10. avgusta, ažurirana 13. avgusta. Opisuje rad o nulama zeta-funkcije i ljudske provere, uz izričitu napomenu da Rimanova hipoteza ostaje nerešena. Opis procesa modela i provere pripisujemo Anthropic-u.
- [Klod/Anthropic: Nule Rimanove zeta-funkcije](https://www-cdn.anthropic.com/95c246936988e43127bc6b2ceb7077c1dad2d68e.pdf) — Rukopis od 11. avgusta, povezan iz objave ažurirane 13. avgusta. Sažetak i Teorema A razlikuju asimptotski udeo, jednostruke nule i položaj na kritičnoj pravoj. Preciznija konstanta je približno 0,6725; ceo dokaz Rimanove hipoteze nije dat.
- [Rukopis o šestodimenzionalnoj sferi na sajtu Alpegea](https://alpo.ge/s6.pdf) — Nedatirana kopija pregledana 22. septembra. Naslov i uvod opisuju predloženu kompleksnu strukturu na šestodimenzionalnoj sferi. Iz tog dokumenta nismo mogli da utvrdimo pouzdan datum objave niti potpun doprinos AI-ja, pa je navodimo kao uslovni predlog.
- [Čarton i saradnici: Nova granica za male razmake između prostih brojeva](https://primegaps.axiommath.ai/bgp212.pdf) — Preliminarna verzija od 3. septembra. Sažetak i Teorema 1.1 navode granicu 212 i priznaju raniji rad. Lean sertifikat u dodatku A pretpostavlja analitičke ulaze i zasebno provereni varijacioni sertifikat; dokaz nije u potpunosti formalizovan iz osnovnih aksioma.
- [OpenAI: Repozitorijum PrimeGaps186](https://github.com/openai/PrimeGaps186) — Aktuelni repozitorijum pregledan 22. septembra. U datoteci README izričito se navode tri nedokazane ulazne aksiome u Lean razvoju. Numerički sertifikat ih ne dokazuje. Pregledali smo dokumentaciju, ali nismo pokrenuli izgradnju projekta ni numerički sertifikat.
- [OpenAI: Veliki razmaci između uzastopnih prostih brojeva](https://cdn.openai.com/pdf/51126fac-1b68-4128-9666-c908bcc16033/long_gaps.pdf) — Rukopis povezan sa septembarskim izdanjem Astre od 3. septembra. Teorema se odnosi na donju granicu najvećeg razmaka između prostih brojeva ispod rastućeg praga. To se razlikuje od tvrdnji o malim razmacima ili prostim blizancima; dokaz nismo nezavisno proverili.
- [Anthropic: Formalizacija Fermaove poslednje teoreme](https://www.anthropic.com/research/formalizing-fermats-last-theorem) — Objava od 4. septembra. Izveštava o jedanaestodnevnoj formalizaciji i opisuje koordinaciju i ljudsko usmeravanje. Reč je o proveri poznate matematike; vreme i stepen autonomije potiču iz opisa laboratorije.
- [Anthropic: Repozitorijum Fermaove poslednje teoreme](https://github.com/anthropics/fermats-last-theorem) — Aktuelni repozitorijum pregledan 22. septembra. Dokumentuje tvrdnju, zavisnosti, proveru aksioma i poređenje sa Mathlib-om. Izdanje označava kao neodržavani istraživački artefakt. Nismo ga ponovo izgradili niti nezavisno proverili formalni dokaz.
- [OpenAI: O problemu Navije-Stoksovih jednačina i Milenijumskoj nagradi](https://openai.com/index/navier-stokes-solution/) — Objava od 8. septembra, ažurirana 10. septembra. Utvrđuje tvrdnju laboratorije, opis nastanka uz pomoć agenata i odluku da ne traži nagradu. Ne presuđujemo o privatnim sporovima oko porekla niti izjednačavamo objavu sa završenom stručnom proverom.
- [OpenAI: Rukopis o Navije-Stoksovim jednačinama](https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf) — Objavljen 8. septembra. Uvod i Teorema 1.1 opisuju pozitivnu viskoznost, glatko forsiranje ograničenog opsega, početno mirovanje, ograničenu energiju i eksploziju brzine za konačno vreme. To je obuhvat predložene teoreme, a ne naša nezavisna provera.
- [Čarls Feferman: Zvanični opis problema Navije-Stoksovih jednačina](https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf) — Zvanična formulacija Klajevog instituta, pregledana 22. septembra. Alternative C i D dopuštaju glatko forsiranje; A i B postavljaju pitanja o glatkoći bez forsiranja. Direktorijum u URL-u nije korišćen kao prvobitni datum objave.
- [OpenAI: Rukopis o Ojlerovim jednačinama](https://cdn.openai.com/pdf/315b36cd-ec98-4023-8342-93345194ece1/euler.pdf) — Objavljen uz materijale od 8. septembra. Teorema 1.1 odnosi se na glatke neforsirane Ojlerove podatke i izbijanje izvoda/vrtložnosti za konačno vreme. Njegove jednačine i zaključak ne treba zamenjivati zasebnom tvrdnjom o forsiranim Navije-Stoksovim jednačinama.
- [Evropsko matematičko društvo: Izjava o objavi u vezi sa Navije-Stoksovim jednačinama](https://euromathsoc.org/news/ems-statement-on-recent-navier-stokes-announcement-225) — Izjava od 10. septembra. Ističe savremene i ranije matematičke doprinose i razmatra pristup i zasluge. Pruža institucionalni kontekst; nije nezavisni sertifikat dokaza niti razrešava sva pitanja prvenstva.
- [Klajev matematički institut: Objava o Navije-Stoksovim jednačinama](https://www.claymath.org/news/navier-stokes-announcement/) — Odgovor od 11. septembra koristi oprezan jezik o prividnom rešenju i opisuje promišljen postupak procene. Dokazuje ozbiljnu institucionalnu pažnju, a ne dodelu Milenijumske nagrade.
- [Lean: Provera Lean dokaza](https://lean-lang.org/doc/reference/latest/ValidatingProofs/) — Aktuelna zvanična dokumentacija, pregledana 22. septembra. Razlikuje valjanost dokaza, značenje tvrdnje, reviziju aksioma i strože metode provere. Formalna provera daje konkretne garancije uz određene pretpostavke; ne utvrđuje novinu, zasluge ni korisnost.
- [Savetodavna grupa za matematiku i veštačku inteligenciju](https://agmai.org/) — Grupa je pokrenuta 21. septembra, a isto saopštenje objavljeno je i kao gostujući tekst na Taovom blogu. Potvrđuje neplaćeni nezavisni status, obećanje javnih preporuka i odsustvo ovlašćenja da odlučuje u kompanijama. Dodatna serija rezultata i dalje se pripisuje OpenAI-ju.
- [OpenAI: Savetodavna grupa za matematiku i veštačku inteligenciju](https://openai.com/index/advisory-group-on-mathematics-and-ai/) — Objava od 21. septembra. Opisuje savetodavni mandat i izričito isključuje davanje saveta o tempu internog matematičkog napretka. Izostavljamo kompanijin zbirni broj novih rezultata jer njihova ukupna ispravnost i novina nisu nezavisno utvrđene.
- [Matematika i AI: ozbiljan nesklad u primeni AI-ja na matematiku](https://mathandai.org/) — Deklaracija od 11. septembra. Iznosi stav matematičara o razumevanju, obrazovanju, pripisivanju zasluga i podsticajima. Reč je o zagovaračkom tekstu učesnika u matematičkoj disciplini, a ne o kontrolisanom merenju efekata svake upotrebe AI-ja.
- [Henri Kon: Tehnički dug matematike koju je generisao AI](https://terrytao.wordpress.com/2026/09/15/the-technical-debt-of-ai-generated-mathematics/) — Gostujući esej Henrija Kona od 15. septembra na Taovom blogu. Razmatra objašnjavanje i teret razumevanja rezultata. Argument pripisujemo Konu i razlikujemo ga od empirijske procene troškova recenziranja.