Vad AI:n upptäckte
OpenAI avslöjade på måndagen att deras allmänna resonemangsmodell har löst problemet med enhetsavstånd i planet, en öppen fråga inom diskret geometri som först ställdes av matematikern Paul Erdős 1946. Detta är första gången ett AI-system autonomt knäckt ett framträdande öppet problem centralt för ett matematikområde.
Vad AI:n upptäckte
I nästan 80 år trodde matematiker att optimala lösningar på Erdős-problemet ungefär liknade kvadratiska rutnät. OpenAI-modellen motbevisade detta antagande och genererade en helt ny familj av konstruktioner som presterar bättre. Beviset kom från en allmänt resonerande modell, inte ett system specifikt byggt för matematik, och formaliserades i verifikationsspråket Lean.
Expertverifiering
Fieldsmedaljören Terence Tao granskade och accepterade beviset, vilket gav det trovärdighet i matematikersamhället. Resultatet har beskrivits som början på en ny era där AI-system kan hålla ihop långa resonemangskedjor och koppla ihop idéer från avlägsna fält.
Implikationer bortom matematik
OpenAI sade att samma förmågor som möjliggjorde detta matematiska genombrott snart kommer att påskynda arbetet inom biologi, fysik, teknik och medicin. Företaget betonade att mänskligt omdöme förblir avgörande – AI kan söka, föreslå och verifiera, men människor väljer de problem som är viktiga och tolkar resultaten.