OpenAI stáhlo tři matematické rukopisy po odhalení chyby ve znaménku v práci o algebraičnosti Weilových tříd. Chyba narušuje jeden z argumentů i konstrukci, kterou využívaly další dvě práce. Stažení se proto týká také rukopisů o Kugaových–Satakeových korespondencích a racionální Hodgeově domněnce pro součiny K3 ploch. Oznámení je součástí aktualizace veřejného matematického repozitáře, přijaté 8. října. U stažených prací zůstávají vysvětlení mezery a odkazy na archivované verze. Firma současně opravila čtrnáct dalších rukopisů a aktualizovala odkazy ve třinácti navazujících pracích. Přibylo také šest formalizací a pět podpůrných výsledků. Stažení neznamená vyvrácení samotných domněnek, ale to, že zveřejněné důkazy v této podobě neobstály. Případ zdůrazňuje potřebu nezávislé kontroly matematických výstupů AI.
OpenAI stáhlo tři matematické rukopisy kvůli chybě ve znaménku
OpenAI stáhlo tři matematické rukopisy kvůli chybě ve znaménku a opravilo další práce. Archivované verze i vysvětlení chyb zůstávají veřejně dostupné.