Dvadeset pet nositelja Fieldsove medalje, najvišeg priznanja u matematici, potpisalo je otvoreno pismo protiv načina na koji AI laboratoriji objavljuju rješenja poznatih problema.
Ne smeta im što strojevi rješavaju probleme. Smeta im što rezultati izlaze u žurbi, bez vremena za uredan zapis i bez navođenja radova na kojima počivaju.
Matematika radi drukčije od tehnološke industrije. Dokaz nije gotov kad ga netko objavi, nego kad ga drugi pročitaju, provjere i prihvate. To traje mjesecima, ponekad godinama, i cijeli je smisao u tome da netko treći nađe rupu ako je ima.
Žurba, izostale zasluge, tajnost
Prema pisanju TechCruncha od 11. rujna, potpisnici navode da se rezultati objavljuju prije provjere, da se raniji radovi ne navode uredno i da natjecanje tjera laboratorije na tajnost, suprotno od načina na koji je struka radila.
U pozadini stoji i konkretan spor. Tristan Buckmaster s njujorškog sveučilišta tvrdi da je OpenAI vršio pritisak da suradnika iz Anthropica ne navede kao zaslužnog. OpenAI je, prema istom izvješću, povukao sponzorstvo događaja na CalTechu nakon kritika. Radna skupina matematičara još je u lipnju objavila Leidensku deklaraciju o radu s AI alatima.
Tvrdnja o pritisku nije neovisno potvrđena. Provjeriti se može da pismo postoji, da ima dvadeset pet potpisnika i da je sponzorstvo povučeno.
Tko odgovara ako dokaz padne
Iza spora oko zasluga stoji praktičnije pitanje. U dosadašnjem sustavu za netočan dokaz odgovara autor, a recenzenti su prva brana. Kad dokaz izađe iz sustava koji je pokrenula tvrtka i nitko ga izvana ne pregleda, te brane nema.
Sljedeći je potez na časopisima i arhivima poput arXiva. Nijedan od njih još nema pravila za dokaz koji je napisao stroj.
