Science

AI knækker 80 år gammelt Erdős-matematikproblem og forbløffer matematikere

13 views

AI løser, hvad mennesker ikke kunne

En kunstig intelligens-model har løst et 80 år gammelt geometriproblem fremsat af den legendariske ungarske matematiker Paul Erdős, hvilket har forbløffet matematikverdenen. Erdős-problemet, et af cirka 1.200 uløste udfordringer, Erdős efterlod sig, havde modstået alle menneskelige forsøg på en løsning siden 1940'erne. Forskere fandt, at AI'en opdagede et mere komplekst arrangement af parvise punkter — et som menneskelige matematikere aldrig havde forestillet sig — hvilket gav en større vækstrate, end konventionelle tilgange tillod.

Matematikere opfordrer til beskyttelsesforanstaltninger

Gennembruddet har skabt både begejstring og bekymring. 'Dette er, hvad AI fandt, hvordan vi missede det, og hvorfor det betyder noget,' skrev Wall Street Journal. Men matematikmiljøet opfordrer også til forsigtighed. Leiden-erklæringen, underskrevet af førende matematikere, opfordrer til tilsyn med AI-brug i matematisk forskning og advarer om, at overdreven afhængighed af AI kan underminere den menneskelige kreativitet, der er kernen i matematisk opdagelse.

En ny æra for AI i videnskab

Scientific American kaldte bedriften 'AIs største matematiske gennembrud hidtil.' Løsningen demonstrerer, at AI nu kan bidrage til autentisk matematisk opdagelse, ikke kun beregning. Mens nogle hylder dette som et værktøj til at accelerere forskning, frygter andre, at det kan ændre selve naturen af matematisk bevis. Debatten afspejler bredere samtaler på tværs af videnskab om, hvor grænsen skal drages mellem AI-assistance og menneskeligt ledet opdagelse.

Source: Science News, Scientific American, WSJ