Terence Tao heeft zojuist bevestigd dat AI de drempel in de wiskunde heeft overschreden, en wanneer een van de grootste levende wiskundigen zegt dat het echt is, eindigt de discussie. Tao: “Er is een echt zichtbare toename in capaciteit geweest. Het is op geen enkele manier pure hype.” Directe bevestiging van iemand die onmiddellijk zou herkennen of dit te veel is verkocht. AI in de wiskunde is overgestapt van belofte naar operationele capaciteit. Tao: “Voor mij tonen deze vooruitgangen aan dat er een complementaire manier is om wiskunde te doen.” Geen vervanging. Parallelle modus die op schaal opereert die mensen fysiek niet kunnen bereiken. Mensen pakken moeilijke problemen aan in kleine groepen gedurende maanden. Dat blijft. Maar er bestaat nu iets anders naast. Tao: “We kunnen AI instellen om op schaal te werken: een duizend problemen doorlopen en al het laaghangende fruit plukken. Alle manieren uitzoeken om problemen aan methoden te koppelen.” AI denkt niet dieper. Het zoekt breder. Past systematisch elke techniek toe op elk probleem. Uitgebreide verkenning is onmogelijk voor mensen. Tao: “Als er 20 verschillende technieken zijn, pas ze allemaal toe op 1.000 problemen en kijk welke opgelost kunnen worden. Dit is de capaciteit die vandaag aanwezig is.” Twintig technieken. Duizend problemen. Elke combinatie getest. Dat zijn 20.000 pogingen die mensen carrières nodig zouden hebben om te verkennen. AI doet het systematisch. Geen toekomstige capaciteit. Vandaag. Een nieuwe divisie manifesteert zich. Mensen: duurzame focus op problemen die weerstand bieden aan bekende methoden. AI: uitputtende matching van problemen aan technieken op industriële schaal. AI identificeert alles wat oplosbaar is door systematische toepassing. Mensen concentreren zich uitsluitend op wat echte inzichten vereist. Geen vervanging van wiskundige creativiteit. Het automatiseren van de zoektocht die eeuwen van collectieve inspanning heeft gekost om alleen maar te vinden welke problemen zich lenen voor welke bestaande methoden. Vooruitgang versnelt niet doordat AI moeilijke stellingen bewijst. Maar door de menselijke tijd te elimineren die verspild wordt aan problemen die AI oplost door brute systematische toepassing. ...