Matematik utgiven i parti

Handelshuset OpenAI lade den 6 oktober ut ett stort parti matematiska manuskript på GitHub. De är framställda av en intern maskin, ännu icke släppt och utan uppgivet namn. Katalogen upptar i dag 719 manuskript, ordnade i 372 familjer.

Maskinen hade under prövningen förelagts omkring 4 000 problem. Av huvudresultaten har 300 nu även förts över till bevisspråket Lean, där de kan kontrolleras. Handelshuset för själv räkningen, ”300 / 719 = ~42%”, och skriver om de övriga att några ”kan ha brister”.

Den 7 oktober, dagen efter utgivningen, drogs tre manuskript tillbaka. Orsaken var ett teckenfel i manuskriptet ”Algebraicity of Weil classes on split abelian eightfolds”, en titel Veckobladet avstår från att översätta. Till handelshusets heder skall sägas att de tre nu bär var sin notis som förklarar luckan.

Föreningen Association for Human Mathematics har uttalat: ”Att släppa över 700 filer på en gång är inte en uppvisning i lärdom, utan en uppvisning i makt.” Rådgivningsgruppen AGMAI, som handelshuset säger sig ha rådfrågat inför utgivningen, hade redan på utgivningsdagen meddelat att dess roll ”inte bör tolkas som ett omdöme om dessa resultats genomslag eller ett godkännande av förfarandet”.

Boktryckeriet på Kyrkogatan 7, som sätter varje tecken för hand, har stämplar med ordet ”GODKÄND” i lager. Någon beställning från rådgivningsgruppen har icke inkommit.