OpenAI: Intern AI tog fram 719 mattemanuskript
OpenAI har lagt ut hundratals matematiska manuskript på GitHub. Enligt företaget har de tagits fram av en intern AI-modell som inte är släppt. Bara en del av resultaten är formellt kontrollerade.
ForskningAI-illustrationMaterialet finns i repositoriet openai/math. Där ligger 719 manuskript, uppdelade i 372 familjer, tillsammans med material som stöder bevisen. Enligt OpenAI har materialet tagits fram av en intern modell som företaget inte har släppt.
En familj rymmer närliggande texter, som ett huvudresultat med följdsatser eller alternativa bevis. Varje familj sorteras efter matematiskt område.
Bakgrunden är enligt OpenAI att modellerna har nått taket på de befintliga mattetesterna. Därför har företaget i högre grad börjat pröva modellerna på olösta forskningsproblem under utvecklingen.
Under arbetet fick modellen ungefär 4 000 problem att lösa, uppger OpenAI. Varje resultat krävde i genomsnitt tre timmars beräkningstid för ChatGPT Pro-tänkande. En del nya resultat vilar enligt företaget på sådant som modellerna själva bevisat tidigare.
Två arbeten följde inte den fasta metoden: ett om Riemanns zetafunktion och ett om Hodgeförmodan för CM-abelska varieteter. OpenAI anger inte hur de togs fram. Texten om zetafunktionen har dessutom redigerats av människor för att bli lättare att läsa.
Enligt repositoriet är cirka 42 procent av huvudresultaten formaliserade i bevissystemet Lean. OpenAI skriver att vissa av resultaten utan sådan formalisering kan innehålla fel: "Some of the unformalized results could have issues." Repositoriet anger inget publiceringsdatum och nämner ingen annan oberoende granskning. OpenAI uppger att företaget undersöker om repositorier som drivs av forskarsamhället kan bli värd för materialet.
