GPT-5 har precis klarat det som forskarna kallar "Gödel-testet". Det betyder att det inte bara handlar om att lösa läroboksproblem, det handlar om att ta itu med öppna matematiska gissningar som normalt skulle ta en skicklig doktorand dagar att knäcka. I en ny artikel har GPT-5 testats på 5 olösta optimeringshypoteser. Det löste 3 av 5. På ett problem gav det till och med ett annat giltigt bevis än vad forskarna hade förväntat sig. Vi har officiellt gått in i den era där AI i framkant inte bara lär sig av matematik, utan också av matematik. Konsekvenserna är enorma: • Framsteg när det gäller problem som gäckar människor i dagar eller veckor • AI bidrar till genuin matematisk upptäckt • En förhandstitt på hur själva forskningen kommer att förändras under 2030-talet Folk underskattar fortfarande detta. Effekten av modeller som kan bevisa satser har knappt börjat sjunka in. Detta är gränsen mellan "snygg autokomplettering" och verkligt vetenskapligt resonemang.