OpenAI: AI model opovrgnuo 80-godišnju konjekturu u diskretnoj geometriji
OpenAI je objavio da je njegov AI model riješio otvoreni problem jedinične udaljenosti (unit distance problem) — središnju konjekturu diskretne geometrije postavljenu prije više od 80 godina. Tvrtka opisuje rezultat kao prekretnicu u AI-vođenoj matematici jer model nije samo provjerio postojeću tezu, nego ju je opovrgnuo originalnom konstrukcijom protuprimjera.
Ovaj članak generiran je uz pomoć umjetne inteligencije na temelju primarnih izvora.
OpenAI je 20. svibnja 2026. objavio da je njegov AI model riješio problem jedinične udaljenosti (engl. unit distance problem) — otvoreno pitanje koje je u središtu diskretne geometrije od kad ga je Paul Erdős formulirao 1946. godine. Tvrtka navodi rezultat kao prvi slučaj u kojem je AI sustav originalnom konstrukcijom opovrgnuo dugogodišnju centralnu konjekturu, a ne samo verificirao tezu koju su prije postavili ljudski matematičari.
Što je problem jedinične udaljenosti i zašto je otvoren 80 godina?
Problem pita: ako u ravnini imamo N točaka, koliko parova točaka može biti na točno jediničnoj udaljenosti jedna od druge? Erdős je 1946. dokazao donju granicu, ali precizna gornja granica predmet je istraživanja desetljećima. Najbolje poznate hipoteze tvrdile su određeni rast funkcije N — upravo te hipoteze OpenAI-jev model navodno opovrgava izgradnjom skupa točaka koji premašuje pretpostavljenu gornju granicu.
Kako se ovaj rezultat razlikuje od dosadašnjih AI matematičkih dokaza?
Dosadašnji AI doprinosi matematici uglavnom su se svodili na provjeru postojećih dokaza (Lean, Coq, Isabelle formalisations) ili pronalaženje novih dokaza za već postavljene teoreme (DeepMind AlphaProof, FunSearch). OpenAI-jev rezultat je drugačiji jer je model konstruktivno opovrgnuo hipotezu, što zahtijeva geometrijsku kreativnost: pronalaženje protuprimjera koji ne odgovara intuitivnim simetrijskim konstrukcijama koje su matematičari isprobavali desetljećima.
Kakva je peer-review situacija?
OpenAI je objavu napravio kroz svoj newsroom i RSS feed; puni tekst članka u trenutku objave vraćao je HTTP 403 te su detalji dostupni samo kroz RSS opis. Tvrtka u objavi poziva matematičku zajednicu na nezavisnu provjeru. Formalna recenzija u časopisima poput Discrete & Computational Geometry ili Journal of Combinatorial Theory nije najavljena ovim oglasom.
Što ovo znači za polje?
Ako konstrukcija izdrži peer review, dva su trenutna utiska. Prvi: AI sustavi prelaze granicu samostalnog otkrivanja matematičke istine, ne samo izvođenja zadanih dokaza. Drugi: discoverability layer komercijalnih AI sustava može postati izvor novih matematičkih rezultata, što otvara pitanje kako se citiranje, atribucija i autorstvo trebaju mijenjati. Diskretna geometrija, kombinatorika i teorija brojeva najvjerojatniji su sljedeći ciljevi za sličnu metodologiju.
Česta pitanja
- Što je problem jedinične udaljenosti?
- Problem jedinične udaljenosti je klasično pitanje u kombinatornoj geometriji koje pita koliko parova točaka u skupu od N točaka u ravnini može biti na točno jediničnoj udaljenosti. Erdős ga je formulirao 1946. godine, a najbolja gornja granica desetljećima je hipoteza koju je OpenAI-jev model sada opovrgnuo.
- Što ovaj rezultat znači za AI istraživanja?
- Rezultat znači da AI modeli prelaze s rješavanja zadanih problema na samostalno otkrivanje protuprimjera u otvorenim matematičkim pitanjima. Originalna konstrukcija opovrgavanja zahtijeva kreativnost koja je dosad bila domena top-razine matematičara.
- Je li puni dokaz već recenziran?
- OpenAI je objavu napravio kroz vlastiti newsroom i RSS feed, no zasebna formalna recenzija u matematičkom časopisu još nije najavljena. Konstrukcija će tek proći peer review zajednice koja se bavi diskretnom geometrijom.