„A matematika történetének legjelentősebb pillanata” – az OpenAI 722 új tanulmányt mutatott be egy nap alatt

Az OpenAI október 6-án, kedden egy nyilvánosan még nem elérhető, belső AI-modellje által írt matematikai tanulmányokat tett közzé: összesen 722 anyagot, 372 eredménycsoportba rendezve, 17 matematikai területről, egy nyilvános GitHub-tárhelyen. Az anyagok a modell fejlesztése során készültek: a cég azután bővítette ki a nyitott kutatási problémákon végzett teszteket, hogy a modell a meglévő matematikai teszteken már a maximumot hozta, és a tesztidőszak alatt nagyjából 4000 problémát kapott meg. Az OpenAI szerint egy-egy eredmény átlagosan nagyjából három órányi ChatGPT Pro-gondolkodásnak megfelelő számítási kapacitást igényelt. A modell nevét a cég nem árulta el, csak annyit közölt, hogy dolgozik annak nyilvános, de felelős kiadásán. A legnagyobb visszhangot a Riemann-sejtéshez kapcsolódó eredmény kapta. A Riemann-sejtés a prímszámok eloszlásáról szóló, egymillió dolláros jutalommal kiírt probléma, az OpenAI modellje ennek egy gyengébb változatát bizonyította: azt, hogy egy széles függvénycsaládnak, köztük a Riemann-féle zétafüggvénynek egy jól meghatározott tartományban nincs zérushelye. A tanulmányok között szerepel többek közt egy ellenpélda Kaplansky egyik algebrai sejtésére és a Mahler-sejtés bizonyítása is. A csomag ugyanakkor a hátralévő öt millenniumi probléma egyikét sem oldja meg, bár egyes tanulmányok kapcsolódnak hozzájuk. Egy független összesítés szerint a kiadott tanulmányok az 500 legfontosabb matematikai problémából akár 90-re is megoldást kínálhatnak – ez azonban nem az OpenAI hivatalos állítása, és a cég nem közölte, melyek ezek közül a sejtések teljes megoldásai és melyek inkább kisebb technikai előrelépések.Hogy mennyi igaz az eredményekből, azt még ellenőrizni kell. A bizonyítások egy részét a cég Lean nyelven is közzétette, amellyel számítógép tudja ellenőrizni a levezetés minden lépését: ez a 722 tanulmányból 162 fő eredményére terjed ki, de a leírás maga is figyelmeztet arra, hogy a gépileg nem ellenőrzött eredmények között lehetnek hibásak. A