Anthropicov model unapredio rad na Rimanovoj hipotezi
Anthropic je saopštio da je neobjavljeni model ostvario napredak u istraživanju Rimanove hipoteze, jednog od najvažnijih nerešenih problema matematike. Sistem je tokom približno dan i po razmotrio 650 pristupa, koordinirao 60 podagenata i utrošio ukupno 31 milion tokena, pri čemu je povećao donju granicu za rešenja za koja hipoteza važi.
Rimanova hipoteza više od 150 godina ostaje otvoreno pitanje povezano sa raspodelom prostih brojeva. Za opšti, ispravan dokaz i dalje je namenjena nagrada od milion dolara, a Anthropicov rezultat ne predstavlja konačno rešavanje problema.
Mreža podagenata i formalna provera
Prema opisu rada, zaposleni u Anthropicu bez značajnije matematičke obuke zadao je modelu da ozbiljno pokuša dokaz, a sistem je potom sam organizovao istraživanje. Od 60 podagenata, dva su razvila ključne matematičke ideje, 13 ih je doprinelo predlozima, 30 je pokušavalo da razvije nove ideje bez uspeha, 13 je proveravalo ispravnost argumenata, a dva su pomogla pri pisanju početne verzije rada.
Nalaz su potvrdila dvojica internih matematičara kompanije, dok je argument formalizovan pomoću Lean-a, otvorenog alata za asistirano dokazivanje. Takva formalizacija je važna jer omogućava strogu mašinsku proveru koraka u dokazu, umesto oslanjanja isključivo na tekstualno obrazloženje modela.
Širi niz AI rezultata u matematici
Ovaj rad dolazi posle niza rezultata u kojima su veliki jezički modeli korišćeni za matematičke probleme. Tokom godine rešavano je više Erdošovih problema uz pomoć AI sistema, OpenAI je objavio deset značajnih rezultata svog internog modela Astra, a zaseban Anthropicov poduhvat opovrgao je dugotrajnu Jakobijevu pretpostavku.
Istovremeno, matematička zajednica raspravlja o autorstvu i odgovornosti za dokaze nastale uz AI. Grupa uglednih matematičara upozorila je u javnoj deklaraciji da bi tehnologija mogla da potkopa standard prema kojem se dokaz pripisuje konkretnim autorima koji preuzimaju odgovornost za njegovu tačnost. Fieldsov medalista Timoti Govers izneo je i mogućnost da uticaj AI-a promeni matematiku na složeniji, potencijalno pozitivan način.
Šta ovaj slučaj znači za organizacije
Rezultat se uklapa u tržišni kontekst u kojem se otvoreni i zatvoreni AI pristupi vide kao dva paralelna pristupa razvoju i primeni naprednih AI sistema. Ovde se posebno izdvaja kombinacija autonomne podele rada, ljudske stručne potvrde i formalne verifikacije.
Za poslovnu primenu pouka nije da se jezičkom modelu prepusti konačna odluka u složenom domenu. Korisniji obrazac je jasno razdvajanje generisanja ideja, nezavisne validacije i proverljivog završnog rezultata, uz odgovornost stručnjaka za odluke koje utiču na poslovanje.