De Simons Foundation heeft een nieuwe reeks initiatieven aangekondigd om de wiskundegemeenschap te helpen bij het navigeren door de snelle opkomst van kunstmatige intelligentie in het veld, ondersteund door $ 15 miljoen aan gecombineerde financiering en middelen van de stichting, Anthropic en OpenAI.
De stichting zal de financiering beheren en toekennen, onder meer via een open oproep tot het indienen van voorstellen, ter ondersteuning van workshops en initiatieven die onderzoekers helpen recente door AI ondersteunde resultaten te evalueren, nieuwe hulpmiddelen te leren en te gebruiken, perspectieven te delen en collectieve normen vorm te geven voor de manier waarop AI wordt gebruikt in wiskundig onderzoek. Voor meer context over dit verhaal, zie ons AI-nieuws.
Tools en berekeningen die verder gaan dan wiskunde
Naast de financiering zullen Anthropic en OpenAI AI-tools en computerbronnen leveren aan onderzoekers die worden ondersteund door de Simons Foundation. Volgens de aankondiging van de stichting reikt die steun verder dan de wiskunde en omvat ze ook de fundamentele wetenschap in bredere zin – een ongewoon direct kanaal tussen grensverleggende AI-laboratoria en werkende academische onderzoekers.
De regeling valt op door zijn structuur: in plaats van dat de laboratoria de agenda bepalen, controleert de stichting hoe het geld wordt toegekend, en het persmateriaal benadrukt dat de prijzen en middelen door de gemeenschap worden aangestuurd.
Waarom wiskunde de frontlinie is
Wiskunde is een van de meest consequente proeftuinen voor AI in de wetenschap geworden. De Simons Foundation was een van de eerste voorstanders van machinaal leren voor de wetenschap, en financierde onder meer de ontwikkeling van de Lean proof-assistent, die een nieuwe vorm heeft gegeven aan de manier waarop wiskundigen werk formaliseren en AI-ondersteunde bewijzen mogelijk heeft gemaakt. Nu AI-systemen steeds meer bijdragen aan wiskundige ontdekkingen, wordt de gemeenschap geconfronteerd met een praktisch probleem: hoe resultaten die met substantiële machine-ondersteuning zijn geproduceerd, kunnen worden geverifieerd, geëvalueerd en vertrouwd.
Dat verificatieprobleem staat centraal in wat het nieuwe initiatief financiert. Workshops en initiatieven gericht op het ‘evalueren van recente door AI ondersteunde resultaten’ erkennen dat het traditionele peer review-proces niet is ontworpen voor proefdrukken die zijn opgesteld met, of in sommige gevallen substantieel geproduceerd door, AI-systemen.
Het kader van de stichting: gemeenschap eerst
Simons Foundation-voorzitter David Spergel omschreef de inspanning als een moment voor collectieve besluitvorming. "Nu kunstmatige intelligentie het onderzoekslandschap snel hervormt, willen we de wiskundige gemeenschap helpen samen te komen en de beste weg voorwaarts te vinden", zei Spergel in de aankondiging. "Dit is het moment om de wiskunde als geheel te bekijken - niet als een verzameling bewijzen en stellingen, maar als een collectief begrip, gedreven door menselijke nieuwsgierigheid."
Spergel was expliciet over wie de adoptievoorwaarden moest bepalen. "De gemeenschap zou de discussie moeten aansturen over hoe deze tools worden geëvalueerd, aangenomen en gebruikt, en niet een enkel bedrijf of instelling," zei hij. "Het doel van het programma is om de wiskundegemeenschap te ondersteunen."
De verklaring luidt als een opzettelijk contrast met een dynamische bekendheid bij de adoptie van AI: individuele instellingen die afzonderlijke deals onderhandelen met modelaanbieders, waarbij de normen worden vastgesteld door welk laboratorium of welke universiteit dan ook het eerst beweegt. Door de financiering via een open call te laten lopen en collectieve normen te benadrukken, probeert de stichting een coördinatiepunt op te richten voor een discipline waarvan de output – bewijzen – ongebruikelijk verifieerbaar is en daarom ongebruikelijk wordt blootgesteld aan door AI ondersteunde sluiproutes.
Een model voor andere velden
Het initiatief kan dienen als een sjabloon dat verder gaat dan de wiskunde. Fundamentele wetenschapsgebieden worden geconfronteerd met dezelfde onderliggende vraag – hoe AI-tools te absorberen zonder normen af te staan aan de verkopers van die tools – en de structuur van de Simons Foundation, waarin een neutrale filantropie middelen beheert die zijn gedoneerd door concurrerende AI-bedrijven, is een van de eerste pogingen tot een antwoord.
De geschiedenis van de stichting gaf haar de geloofwaardigheid om die rol te spelen: naast de vroege financiering van de Lean proof-assistent, heeft ze workshops, lezingen en samenwerkingen georganiseerd om de rol van AI in de wiskunde te onderzoeken. De nieuwe toezegging van $15 miljoen formaliseert die macht in een gefinancierd programma, precies op het moment dat de door AI ondersteunde resultaten sneller binnenkomen dan de normen van de gemeenschap ze kunnen absorberen.
---
Blijf Voorop met AIHet laatste AI-nieuws, analyses en doorbraken — allemaal op één plek.
Lees meer AI-nieuws →
