OpenAI math: 722 manus – intern modell, Lean, vektene stengt

OpenAI legger 6. oktober ut 722 matematiske manuskripter produsert av en intern frontiermodell. 372 resultfamilier. Repoet github.com/openai/math, Apache-2.0. Modellen er ikke i ChatGPT, ikke i API, ikke til salgs. Laben skriver at de jobber mot å slippe den ansvarlig.

De utvidet evalueringen etter at eksisterende matte-benchmarks var mettet. Om lag 4 000 oppgaver. Snitt tre timer ChatGPT Pro-tenking per resultat med den interne modellen. Ti forkortede resonneringsspor. Unntak fra den faste prosedyren: arbeid på en nullfri region for Riemanns zeta-funksjon, og et bevis for Hodge-formodningen for CM-abelske varieteter. Teksten for Re(s) > 11/12 er menneskeredigert for lesbarhet.

Hva laben legger ut

Katalog per README 6. oktober: 722 manus i 372 familier, gruppert etter disiplin. Oversikt i overview.pdf. Manuskriptkart i CONTENTS.md. Preprints som PDF og kilde. Lean-bibliotek med formaliseringskatalog. Mange, men ikke alle, er formalisert.

Repoet sier rett ut at samlingen er på ulike verifikasjonstrinn. Uformelle resultater kan ha feil. De vil rette raskt. De utforsker community-hostede arkiv. Versjoner skal bevares; rettelser kommer som nye versjoner.

Eksempler i kartet, sitert fra OpenAI, ikke fra uavhengig referee:

Quasi-Riemann: alle Dirichlet L-funksjoner, inkludert zeta, nullfri for Re(s) > 7/8. En følgeartikkel gir Re(s) > 11/12.

Full Birch–Swinnerton-Dyer-formel for elliptiske kurver over Q der q-potens Selmer-gruppen har korank 0 eller 1.

Milnes rasjonalitetsformodning for abelske varieteter.

Ti resonneringssammendrag, blant annet irrasjonalitetseksponenten til π, Kaplanskys direkte-endelighetsformodning i karakteristikk to, Mézard–Parisi-formelen, og det tre-dimensjonale relativistiske Vlasov–Maxwell-systemet.

Lean-katalogen formalization.yaml merker review.status som unchecked. Katalogen lister 162 artikler med tittel, mot 722 manus totalt. Comparator-utfordringer følger med. Et innlegg i OpenAIs utviklerforum 6. oktober hevder at en uavhengig sjekk av quasi-Riemann (familie 003) kompilerer. Det er én sjekk, ikke feltets dom.

Hva det betyr for CIO og CISO

Dere har ikke denne modellen. GPT-6 Astra og Sol er det som selges. Dette er samme internlinje som Navier–Stokes-påstanden 8. september. Clay har fortsatt ikke tildelt der. Behandle dumpet som evnesignal, ikke som innkjøp.

Styrespørsmål: laben evaluerer nå åpne forskningsproblemer fordi benchmarkene er mettet. 722 manus på én dag er mer enn et forskningsmiljø kan referee. OpenAI har konferert med det uavhengige Advisory Group on Mathematics and Artificial Intelligence ved Institute for Advanced Study om hvordan de skal slippe slikt. De lover versjonshistorikk og sitering. De lover ikke at alt er sant.

CISO og forskningsleder: kopier verifikasjonsmønsteret, ikke skalaen. Lean-sertifikat der det finnes. Uavhengig sjekk. Skill «formalisert» fra «PDF uten Lean». Skill «OpenAI hevder» fra «feltet har akseptert». Ikke la en intern modell uten modellkort inn i risikomodellen som ferdig vitenskap.

De sier de vil slippe modellen ansvarlig. Ingen dato. Ingen systemkort. Ingen pris. Inntil da er dette et vindu inn i noe kundene ikke får.

Ikke innfør Riemann eller Hodge i styrepapirene som løst. Quasi-Riemann i deres katalog er Re(s) > 7/8, ikke den klassiske Riemann-hypotesen. Hodge er avgrenset til CM-abelske varieteter. Uformelle bevis kan ha feil, skriver laben selv.

Begrensninger

Intern modell. Ingen vekter. Ingen API. Review unchecked. Ikke alle manus har Lean. Unntak fra standardprosedyrene er nettopp de tyngste påstandene. Forrige Navier–Stokes-sak er ikke Clay-godkjent. Dette er labens egen katalog, 6. oktober 2026.

Kilder og medier

Primærkilde: OpenAI, «Sharing AI progress in mathematics», 6. oktober 2026. https://openai.com/index/sharing-ai-progress-in-mathematics/

GitHub, openai/math: https://github.com/openai/math

Thumbnail: OpenAI Image 2 / hogby.ai