OpenAI afslørede mandag, at dens generelle ræsonnementmodel har løst problemet med enhedsafstande i planet, et åbent spørgsmål i diskret geometri først stillet af matematikeren Paul Erdós i 1946. Præstationen markerer første gang, et AI-system autonomt har knækket et fremtrædende åbent problem centralt for et matematikfelt.
Hvad AI opdagede
I næsten 80 år troede matematikere, at optimale løsninger på Erdós-problemet groft lignede kvadratgitre. OpenAI-modellen modbeviste denne antagelse og genererede en helt ny familie af konstruktioner, der leverer bedre ydeevne. Beviset kom fra en generel ræsonnementmodel, ikke et system bygget specifikt til matematik, og blev formaliseret i verifikationssproget Lean.
Ekspertverifikation
Fields-medaljevinder Terence Tao gennemgik og accepterede beviset, hvilket giver det troværdighed i det matematiske samfund. Resultatet er blevet beskrevet som begyndelsen på en ny æra, hvor AI-systemer kan holde sammen på lange ræsonnementkæder og forbinde ideer på tværs af fjerne felter.
Implikationer ud over matematik
OpenAI sagde, at de samme evner, der muliggjorde dette matematiske gennembrud, snart vil fremskynde arbejdet inden for biologi, fysik, ingeniørvidenskab og medicin. Virksomheden understregede, at menneskelig dømmekraft forbliver afgørende – AI kan søge, foreslå og verificere, men mennesker vælger de problemer, der betyder noget, og fortolker resultaterne.