AI lost eeuwenoud wiskundeprobleem met gigantisch bewijs
Een kunstmatige intelligentie heeft een van de oudste en moeilijkste wiskundige raadsels opgelost.
Het gaat om de Laatste Stelling van Fermat, een probleem dat wiskundigen al meer dan 350 jaar hoofdpijn bezorgt. Een AI-systeem, genaamd Claude, heeft naar verluidt 11 dagen gewerkt aan een oplossing.
Het resultaat is een bewijs dat uit maar liefst 13 miljoen regels code bestaat. Dit is zo omvangrijk dat het door een computer gecontroleerd kan worden, zonder dat menselijke tussenkomst nodig is om de logica te verifiëren. Dit elimineert de kans op menselijke fouten of misinterpretaties.
De Laatste Stelling van Fermat stelt dat er geen drie positieve gehele getallen a, b en c bestaan die voldoen aan de vergelijking aⁿ + bⁿ = cⁿ voor elk geheel getal n groter dan 2. Hoewel de stelling zelf relatief eenvoudig te formuleren is, bleek het bewijs ervan extreem complex.
De ontwikkeling van AI-systemen die in staat zijn tot dit soort abstracte en complexe redeneringen, markeert een significante stap voorwaarts in de mogelijkheden van kunstmatige intelligentie.
