Az OpenAI belső modellje egy nap alatt 722 matematikai tanulmányt mutatott be
Az OpenAI október 6-án közzétette egy egyelőre nyilvánosan nem elérhető belső AI-modellje által készített matematikai tanulmányok gyűjteményét. A nyilvános GitHub-tárhelyre összesen 722 anyag került fel, amelyeket 372 eredménycsoportba rendeztek 17 matematikai területről. A modell a tesztidőszakban nagyjából 4000 nyitott problémát vizsgált, miután a meglévő matematikai teszteken már elérte a maximumot. Az OpenAI szerint egy-egy eredmény átlagosan körülbelül háromórányi ChatGPT Pro-gondolkodásnak megfelelő számítási kapacitást igényelt.
A legnagyobb figyelmet a Riemann-sejtéshez kapcsolódó eredmény kapta, de a modell nem oldotta meg a híres sejtést: annak egy gyengébb változatát bizonyította. A csomagban szerepel továbbá egy ellenpélda Kaplansky egyik algebrai sejtésére és a Mahler-sejtés bizonyítása. Az öt fennmaradó millenniumi probléma egyikét sem sikerült megoldani. Egy független összesítés szerint akár 90 megoldás is kapcsolódhat az 500 legfontosabb matematikai problémához, ezt azonban az OpenAI nem erősítette meg.
Az eredmények megbízhatóságát még ellenőrizni kell. Lean nyelven 162 fő eredmény bizonyítása is elérhető, így ezeket számítógép vizsgálhatja, de az OpenAI szerint a többi között lehetnek hibás levezetések. A matematikusok megítélése megosztott: egyesek történelmi áttörést látnak, mások az ellenőrizetlen tömeges publikálást bírálják. A modell nevét a cég nem árulta el, és csak felelős, nyilvános kiadását ígérte.