Terence Tao bekräftade just att AI passerade tröskeln i matematik, och när en av de största levande matematikerna säger att det är verkligt, tar debatten slut. Tao: "Det har skett en mycket synlig ökning av kapaciteten. Det är på inget sätt ren hype." Direkt bekräftelse från någon som omedelbart skulle känna igen om detta var översålt. AI inom matematiken gick från löfte till operativ kapacitet. Tao: "För mig visar dessa framsteg att det finns ett kompletterande sätt att göra matematik." Inte ersättning. Parallellt läge som fungerar i stor skala som människor inte fysiskt kan uppnå. Människor tar itu med svåra problem i små grupper i månader. Det stannar kvar. Men något annat existerar nu vid sidan av det. Tao: "Vi kan ställa AI i skala: sopa tusen problem och plocka upp alla lågthängande frukter. Ta reda på alla sätt att matcha problem med metoder." AI tänker inte djupare. Den söker bredare. Systematiskt tillämpar varje teknik på varje problem. Uttömmande utforskning omöjlig för människor. Tao: "Om det finns 20 olika tekniker, tillämpa dem alla på 1 000 problem och se vilka som kan lösas. Detta är den kapacitet som finns idag." Tjugo tekniker. Tusen problem. Alla kombinationer testades. Det är 20 000 försök som människor skulle behöva karriärer för att utforska. AI gör det systematiskt. Inte framtida kapacitet. Idag. Ny splittring uppstår. Människor: ihållande fokus på problem som motstår kända metoder. AI: uttömmande matchning av problem med tekniker i industriell skala. AI identifierar allt som kan lösas genom systematisk tillämpning. Människor koncentrerar sig uteslutande på det som kräver faktisk insikt. Inte att ersätta matematisk kreativitet. Att automatisera sökningen tar århundraden av kollektivt arbete bara för att hitta vilka problem som ger vika för vilka befintliga metoder. Framsteg accelererar inte från att AI bevisar svåra satser. Från att eliminera mänsklig tid som slösas på problem löser AI genom brutal och systematisk tillämpning. ...