Den britiske stjernematematiker og Fields Medal-vinder James Maynard fra Oxford University har brugt det seneste år på dyb sjæleransagning. Hvorfor? Fordi den ellers traditionelt langsomme og konservative matematikverden pludselig bliver blæst omkuld af kunstig intelligens. Da OpenAI for nylig afslørede, at deres modeller havde knækket koden til ti klassiske matematikproblemer – hvoraf nogle har drevet akademikere til vanvid i årtier – stod det klart for enhver: Den digitale revolution i matematikken er i fuld gang.
Fra OL-guld til vilde gennembrud
Det startede som en sjov demonstration, da AI-modeller fra Google DeepMind og OpenAI opnåede guldmedalje-niveau ved den Internationale Matematikolympiade. Men maskinerne stoppede ikke ved skolekonkurrencer. AI har nu taget springet direkte ind på de bonede gulve i den absolutte eliteforskning. Systemerne løser åbne problemer, modbeviser veletablerede formodninger og leverer beviser, der er klar til udgivelse i anerkendte tidsskrifter. Og ja, selv glade amatører har med hjælp fra ChatGPT formået at løse komplekse Erdős-problemer over en kop kaffe.
Tunge formodninger falder som dominobrikker
Eksemplerne hober sig op i et hæsblæsende tempo. En intern OpenAI-model har modbevist Erdős’ afstandskonjektur, Anthropic rapporterer om et modeksempel på Jacobian-formodningen i højere dimensioner, og DeepMinds ‘Aletheia’ leverer forskning i aritmetisk geometri på ph.d.-niveau. Det er ikke længere blot hurtige lommeregnere; det er intelligente medspillere, der ser mønstre og sammenhænge, som menneskeheden har overset i århundreder.
Overtagelse eller verdens bedste assistent?
Betyder det så, at professorerne kan pakke kridtet væk og gå på tidlig pension? Ro på i klasselokalet! Ordet “takeover” er lige lovlig dramatisk, hvis man tror, at robotterne har smidt mennesket ud af ligningen. De nuværende AI-systemer lider stadig af pludselige “hallucinationer” – hvilket er skidt, når man arbejder med absolut urokkelig logik – og de knækker sammen, hvis et bevis bliver mere end et par sider langt. Matematikerne bliver ikke erstattet lige foreløbig; de har blot fået en turboladet, digital kollega ved deres side.
Et nyt regelsæt for fremtidens ligninger
Udviklingen skaber dog dybe rynker i panden hos mange. Nogle ser AI som en uundværlig accelerator, mens andre frygter for fagets etiske standarder og menneskelige kerne. Situationen er så alvorlig, at over 3.000 fremtrædende matematikere – heriblandt absolutte rockstjerner som Terence Tao og Peter Scholze – har underskrevet en erklæring om, hvordan faget skal tæmme teknologien. En ting er stensikker: Fremtidens matematik skrives af mennesker og maskiner i fællesskab.
