AI löser vad människor inte kunde
En artificiell intelligensmodell har löst ett 80-årigt geometriproblem från den legendariske ungerske matematikern Paul Erdős, vilket förbluffar matematikvärlden. Problemet, ett av cirka 1 200 olösta utmaningar som Erdős lämnade efter sig, hade stått emot alla mänskliga försök att lösa det sedan 1940-talet. Forskare fann att AI upptäckte en mer komplex uppsättning parade punkter – som mänskliga matematiker aldrig föreställt sig – vilket gav en större tillväxttakt än konventionella tillvägagångssätt möjliggjorde.
Matematiker kräver skyddsräcken
Genombrottet har väckt både entusiasm och oro. "Detta är vad AI fann, hur vi missade det och varför det har betydelse," skrev Wall Street Journal. Men matematikersamfundet uppmanar till försiktighet. Leiden-deklarationen, undertecknad av ledande matematiker, kräver tillsyn över AI-användning i matematisk forskning och varnar för att överdriven AI-användning kan underminera den mänskliga kreativitet som är kärnan i matematisk upptäckt.
En ny era för AI inom vetenskapen
Scientific American kallade bedriften "AI:s största matematikgenombrott hittills." Lösningen visar att AI nu kan bidra till autentisk matematisk upptäckt, inte bara beräkning. Medan vissa firar detta som ett verktyg för att accelerera forskning, fruktar andra att det kan förändra själva naturen av matematiska bevis. Debatten speglar bredare samtal inom vetenskapen om var gränsen ska dras mellan AI-assistans och människoledda upptäckter.