KI knekker 80 år gammel matte-nøtt

Matematikere over hele verden har i tiår brynt seg på et spørsmål som høres enkelt ut:

Hvis du setter mange punkter på et ark, hvor mange av dem kan ligge nøyaktig én enhet fra hverandre?

Dette kalles enhetsavstandsproblemet. Den ungarske matematikeren Paul Erdős tok opp problemet i 1946. Siden har det vært en kjent nøtt innen geometri.

Nå skriver OpenAI at en intern KI-modell har funnet en løsning som river i stykker en gammel antakelse i faget.

Fikk vitenskapens Oscar: Genterapi kan gi synet tilbake

Fant noe ekspertene ikke ventet

Mange matematikere har lenge trodd at den beste måten å få mange slike avstander på, var å plassere punktene i et slags rutenett.

OpenAI-modellen fant derimot en annen konstruksjon som gir flere treff enn ventet. 

Det betyr at en gammel formodning ikke stemmer.

Ifølge OpenAI ble beviset først laget av modellen, før matematikere gikk gjennom og kontrollerte arbeidet.

Reaksjonene fra fagfolk er sterke.

Fields-medaljevinner Tim Gowers omtaler resultatet som en milepæl for KI og matematikk. Han mener arbeidet ville vært godt nok for et av verdens fremste matematikk-tidsskrifter dersom det var skrevet av et menneske.

Krasjet i Sverige – får kjøre uten fører i Norge

nyheter

Nytt håp for forskning

Eksperimentet viser at KI kan bli et kraftig verktøy i forskning. 

I dette tilfellet koblet modellen sammen ideer fra ulike deler av matematikken på en måte som overrasket ekspertene.

KI fant et spor mennesker ikke hadde fulgt langt nok.