Claude Fable 5 van Anthropic weerlegt een 87 jaar oud wiskundig vermoeden met één kleine formule

Een antropische wiskundige heeft het eigen grote taalmodel van het bedrijf gebruikt om een ​​wiskundig vermoeden te weerleggen dat al 87 jaar lang geen oplossing biedt. Daarmee levert hij een van de meest treffende voorbeelden tot nu toe van kunstmatige intelligentie die de zuivere wiskunde vooruit helpt.

Levent Alpöge, een wiskundige bij het AI-bedrijf Anthropic, kondigde aan dat hij een tegenvoorbeeld had gevonden voor het Jacobiaanse vermoeden, een beroemd en al lang bestaand probleem in de algebraïsche meetkunde. Hij bereikte het resultaat met behulp van het Claude Fable 5-model van Anthropic, dat slechts enkele weken eerder aan het publiek was vrijgegeven. De ontdekking, voor het eerst gerapporteerd door ScienceDaily en SciTechDaily en ontleend aan een artikel dat oorspronkelijk in The Conversation werd gepubliceerd, heeft een golf van opwinding door de wiskundige gemeenschap veroorzaakt. Voor lezers die de [laatste AI-ontwikkelingen] (https://aibuzzwire.news) volgen, onderstreept het resultaat hoe snel grensmodellen van salontrucs overgaan naar echt productief wetenschappelijk werk.

Een formule die klein genoeg is voor één bericht

Wat de doorbraak zo verrassend maakt, is de compactheid ervan. Volgens SciTechDaily is het tegenvoorbeeld een opmerkelijk eenvoudige driedimensionale functie: een formule die kort genoeg is om in een enkele post op X te passen. Het AI-ondersteunde tegenvoorbeeld weerlegt het Jacobiaanse vermoeden boven twee dimensies, terwijl de oorspronkelijke tweedimensionale vorm van het vermoeden open blijft.

Die nuance doet ertoe. Het resultaat lost niet het hele probleem op, dat al sinds de 19e eeuw bestaat. In plaats daarvan legt het een onverwachte grens bloot: de gegeneraliseerde, hoger-dimensionale versie van het vermoeden is vals, ook al blijft het geval waar wiskundigen oorspronkelijk om gaven onopgelost.

De geschiedenis achter het probleem

Het Jacobiaanse vermoeden heeft betrekking op polynomiale functies: wiskundige machines die getallen opnemen en nieuwe getallen produceren door een bepaalde regel te volgen. In deze instelling kunnen getallen punten in een ruimte vertegenwoordigen, zoals coördinaten op een kaart. Een functie neemt deze coördinaten en transformeert ze, waarbij de punten naar verschillende posities worden verplaatst. Wiskundigen kunnen onderzoeken hoe soepel een functie de ruimte herschikt door de Jacobiaanse determinant ervan te berekenen. Het vermoeden vraagt ​​zich in wezen af: als die determinant een constante is die niet nul is, heeft de functie dan noodzakelijkerwijs een polynoominverse?

Het probleem heeft een legendarische geschiedenis. Het werd voor het eerst verklaard door de Tsjechische wiskundige Ludwig Kraus in 1884, en vervolgens gegeneraliseerd naar een willekeurig aantal dimensies door de Duitse wiskundige Ott-Heinrich Keller in 1939. Het werd zo belangrijk geacht dat Fields-medaillewinnaar Stephen Smale het opnam in zijn invloedrijke lijst van wiskundige problemen uit 1998 voor de volgende eeuw.

Gedurende zijn lange levensduur heeft het vermoeden veel geclaimde bewijzen opgeleverd, waaronder pogingen van Beniamino Segre en Wolfgang Gröbner, twee gevierde wiskundigen uit de 20e eeuw. Niemand hield stand. Het feit dat er nu een tegenvoorbeeld is opgedoken – met behulp van een model in chatbotstijl – illustreert hoe AI net zo nuttig blijkt te zijn voor het ontdekken van onverwachte wiskundige objecten als voor het construeren van bewijzen.

Waarom de hoger-dimensionale zaak viel

Het belangrijkste onderscheid is tussen twee en drie (of meer) dimensies. Het oorspronkelijke tweedimensionale Jacobiaanse vermoeden, de versie die al generaties lang algebraïsche meetkundigen bezet houdt, staat nog steeds open. Wat Alpöge en Claude Fable 5 vonden is een tegenvoorbeeld in drie dimensies, wat voldoende is om het algemene vermoeden dat Keller in 1939 formuleerde te ontkrachten.

Dat is op zichzelf al een betekenisvol resultaat. Veel onderzoekers hadden vermoed dat als het vermoeden überhaupt waar zou zijn, het overal waar zou zijn. Een schoon tegenvoorbeeld in dimensie drie verkleint de ruimte van mogelijkheden en herkadert de resterende vraag: zijn twee dimensies echt speciaal, of ligt daar ook een tegenvoorbeeld op de loer?

De beknoptheid van het tegenvoorbeeld is op zichzelf al opmerkelijk. Fortune meldde dat wiskundigen worstelen met een ‘zeer snelle en zeer verontrustende verandering’, terwijl AI-hulpmiddelen eeuwenoude problemen één voor één oplossen. Een kleine formule die een door een Fields-medaillewinnaar onderschreven probleem omverwerpt, is precies het soort ontwikkeling dat dat onbehagen – en die opwinding – voedt.

De groeiende rol van AI in de wiskunde

Wiskundigen die met grote taalmodellen werken, hebben onlangs een aantal opmerkelijke resultaten opgeleverd, en het tegenvoorbeeld van het Jacobiaanse vermoeden staat los van veel eerdere ontwikkelingen. In plaats van een zoektocht met brute kracht te doorstaan, heeft de samenwerking tussen Alpöge en Claude Fable 5 een beknopt, door mensen controleerbaar antwoord opgeleverd – het soort output dat wiskundigen kunnen verifiëren en waarop ze kunnen voortbouwen.

De ontdekking benadrukt ook een breder patroon. Grensmodellen zijn steeds beter in staat om enorme combinatorische ruimtes te verkennen en kandidaat-objecten voor te stellen waar een mens misschien nooit tegenaan zal lopen. Wanneer die kandidaten klein genoeg zijn om handmatig te verifiëren, wordt de combinatie van AI-breedte en menselijk oordeel krachtig.

Wat het betekent voor de toekomst

Wat dit betekent voor de toekomst van de wiskunde – en voor menselijke wiskundigen – valt nog te bezien, zoals SciTechDaily opmerkte. Het tegenvoorbeeld maakt wiskundigen niet overbodig; het scherpt in ieder geval de open vraag aan en geeft onderzoekers een nauwkeurig nieuw doelwit. Maar het versterkt wel dat AI verder is gegaan dan het samenvatten van studieboeken en zich heeft ontwikkeld tot de kern van creatief wiskundig werk.

Het resultaat is ook een spraakmakende validatie voor Anthropic. Claude Fable 5, slechts enkele weken voor de ontdekking aan het publiek vrijgegeven, werd door een van de eigen wiskundigen van het bedrijf gebruikt om een ​​probleem op te lossen dat enkele van de grootste geesten van de afgelopen eeuw had gedwarsboomd. Voor een bedrijf dat zich haast om aan te tonen dat zijn modellen op het grensvlak kunnen redeneren, zijn weinig aanbevelingen geloofwaardiger dan een vermoeden uit 1939 dat eindelijk werkelijkheid wordt.

Blijf AI een stap voor

Het tempo van AI-gestuurde ontdekkingen versnelt in de wetenschap, de wiskunde en de industrie. Maak een bladwijzer van onze breaking AI news-desk voor voortdurende berichtgeving over modelreleases, doorbraken in onderzoek en beleidswijzigingen.

Lees meer AI-nieuws →