OpenAI: Astra-modellen har løst ti uløste matematiske problemer

OpenAI kunngjorde 1. august at en intern versjon av Astra, selskapets neste store modellfamilie, har generert løsninger på ti langvarige uløste problemer innen matematikk og teoretisk datavitenskap til en samlet inferenskostnad på rundt 2 000 dollar med Sol API-priser.openai

Problemene hadde motstått fremgang i minst et tiår og spenner over høy-dimensjonal geometri, kodingsteori, aritmetisk kretskompleksitet, gruppeteori, operatoralgebraer, kvantekompleksitet, gitterkryptografi og ekstremal kombinatorikk. Menneskelige forskere utarbeidet argumentene til manuskripter ved hjelp av den samme modellen, som deretter formaliserte hvert bevis i Lean, et språk for maskinverifiserte teoremer. OpenAI har publisert alle sertifikater og resonneringslogger offentlig.forklog+1

Hva Astra løste

De ti resultatene inkluderer nye øvre grenser for kulepakkingstetthet ned til Cohn-Elkies-terskelen, en konstruksjon som beviser eksistensen av ikke-sofiske grupper, et sentralt spørsmål i gruppeteori som har vært uløst siden 1999, og et motbevis av Connes' stivhetsformodning om von Neumann-algebraer. Astra leverte også nye nedre grenser for aritmetisk kretskompleksitet for beregning av permanenten, et eksponentielt parallelt repetisjonsteorem for kvantespill med to spillere, og polynomfaktor-vanskelighet for tilnærming av det nærmeste vektorproblemet, noe som har konsekvenser for kvantesikker kryptografi.forklog+1

Modellen løste Ehrharts volumformodning i alle dimensjoner, produserte en superekspoensiell nedre grense for flerfargede trekant-Ramsey-tall som løste Erdős-problem 183, og adresserte kompakthets- og degenerasjonsformodninger i ekstremal grafteori som løste Erdős-problemene 146 og 180.openai

Thomas Bloom, en matematiker ved University of Manchester, beskrev resultatene som "store nyheter" og et "betydelig skritt".forklog

Astra er fortsatt ikke lansert

Astra har ikke blitt offentliggjort. Sam Altman demonstrerte modellen for amerikanske senatorer og regulatorer i Washington i slutten av juli, og den kan bli det første systemet som sendes inn under Trump-administrasjonens planlagte rammeverk for vurdering av AI-modeller før lansering. Ifølge The Information News Corp ↘ 1.67% har OpenAI ennå ikke avgjort om Astra vil bli lansert som GPT-6 eller som en variant i GPT-5-serien, og ingen lanseringsdato er fastsatt.softonic+2

Noam Brown, medforfatter av Astras resonneringsteknologi, bemerket at modellen ikke klarte å løse Millennium-problemene, syv oppgaver identifisert av Clay Mathematics Institute i 2000 som de viktigste i matematikk. OpenAI uttalte rett ut at "å kreve menneskelig forfatterskap for et bevis generert utelukkende av et AI-system ville gi et feilaktig bilde av både systemets bidrag og arten av ekte menneskelig intellektuelt arbeid".forklog+1