Att en AI nu bevisar att Paul Erdős hade fel ger en kollega inom matematik lite mer gemensamt sammanhang.
AI knäckte 80-årig matematiknöt Berättelseflöde och nyckelfakta
Ett matematiskt problem formulerat 1946 av den ungerske matematikern Paul Erdős har lösts av en AI-modell från OpenAI. Problemet handlar om hur många lika långa streck som kan dras mellan punkter på ett pappersark, och Erdős teori var att det blir flest streck om punkterna ligger i ett rutnät. Under årtionden har matematiker försökt bekräfta eller motbevisa detta – utan framgång.
Nu har en artificiell intelligens visat att Erdős antagande var fel. AI:n använde metoder från en annan gren av matematiken för att hitta lösningen, en insikt som överraskat experterna. Svante Linusson, professor i matematik vid KTH, säger till DN att han fortfarande är "lite i chock" över resultatet.
AI:n gick dessutom tillbaka och skrev en fullständig vetenskaplig artikel om sin lösning. Enligt experter skulle en människa som gjort samma prestation ha kunnat publicera i världens främsta matematiktidskrifter och varit en stark kandidat för akademiska tjänster internationellt. Händelsen markerar en ny fas i hur AI kan bidra till grundforskning.
Fakta
- Ett 80 år gammalt matematiskt problem från 1946 har lösts av en AI från OpenAI.
- Problemet handlar om att maximera antalet lika långa streck mellan punkter på ett pappersark.
- Paul Erdős trodde att ett rutnät gav flest streck, men AI:ns analys visar att han hade fel.
- AI:ns lösning använder metoder från en annan del av matematiken än det ursprungliga problemet.
- AI:n skrev en vetenskaplig artikel om sin lösning, av publicerbar kvalitet enligt experter.
- Svante Linusson, professor vid KTH, säger att han fortfarande är "lite i chock" över resultatet.
Visuell nyhetsförklaring från Canto. AI-verktyg kan stödja produktionen. Redaktionell policy
