AI utmanar matematikerns hjältestatus
Artificiell intelligens har börjat lösa långvariga matematiska problem, vilket förändrar matematikerns roll och status i samhället.
Vetenskapens och teknikens utveckling har nått en punkt där artificiell intelligens (AI) kan lösa komplexa matematiska problem som mänskliga matematiker har brottats med i decennier. Denna utveckling ifrågasätter den traditionella bilden av matematikern som en vetenskaplig hjälte, en roll som varit framträdande sedan Isaac Newtons tid.
AI-modeller från företag som OpenAI har nyligen visat betydande framsteg inom matematiska utmaningar. Ett anmärkningsvärt fall var lösningen på Erdős enhetsavståndsproblem, som hade gäckat matematiker i 80 år. OpenAI:s modell visade att det kan finnas fler punkter på exakt en enhets avstånd från varandra i en uppsättning punkter än vad man tidigare trott.
Dessutom har OpenAI:s Astra-modell rapporterats göra betydande framsteg på tio långvariga problem inom matematik och teoretisk datavetenskap. Dessa inkluderar bland annat upptäckten av den första kända "icke-sofic" gruppen och ett genombrott relaterat till beräkningen av "permanent"-funktionen. Dessa prestationer har väckt oro bland matematiker angående deras framtida roll.
Även om AI nu kan lösa dessa problem, är matematikerns roll inte helt borta. De behövs fortfarande för att styra AI, sätta forskningsproblem och verifiera resultat. Särskilt verifiering av bevis och utveckling av pålitliga verifieringssystem har fått en central roll i takt med att maskiner producerar allt mer matematiskt innehåll.
I framtiden kan matematikerns roll komma att förändras mer mot en dirigent eller kurator som tolkar och presenterar maskiners upptäckter, snarare än att själv producera banbrytande genombrott. Även om det finns en oändlig mängd okänd matematik, förväntas AI att upptäcka mycket av den före människor.