Die Simons Foundation kündigte eine Reihe neuer Initiativen an, um der Mathematik-Community dabei zu helfen, den rasanten Aufstieg der künstlichen Intelligenz in diesem Bereich zu bewältigen. Unterstützt werden sie durch kombinierte Mittel und Ressourcen in Höhe von 15 Millionen US-Dollar von der Stiftung, Anthropic und OpenAI.

Die Stiftung wird die Mittel verwalten und vergeben, unter anderem im Rahmen einer offenen Aufforderung zur Einreichung von Vorschlägen, um Workshops und Initiativen zu unterstützen, die Forschern dabei helfen, aktuelle KI-gestützte Ergebnisse zu bewerten, neue Tools zu erlernen und zu nutzen, Perspektiven auszutauschen und kollektive Standards für den Einsatz von KI in der mathematischen Forschung zu entwickeln. Weitere Informationen zu dieser Geschichte finden Sie in unserer mehr KI-Geschichten.

Tools und Computing jenseits der Mathematik

Über die Finanzierung hinaus werden Anthropic und OpenAI den von der Simons Foundation unterstützten Forschern KI-Tools und Computerressourcen zur Verfügung stellen. Der Ankündigung der Stiftung zufolge geht diese Unterstützung über die Mathematik hinaus und erstreckt sich auch auf die Grundlagenwissenschaften im weiteren Sinne – ein ungewöhnlich direkter Kanal zwischen KI-Forschungslabors an der Spitze und arbeitenden akademischen Forschern.

Die Vereinbarung zeichnet sich durch ihre Struktur aus: Anstatt dass die Labore die Tagesordnung festlegen, kontrolliert die Stiftung, wie das Geld vergeben wird, und im Pressematerial wird betont, dass die Auszeichnungen und Ressourcen von der Gemeinschaft getragen werden.

Warum Mathematik an vorderster Front steht

Die Mathematik ist zu einem der folgenreichsten Testgebiete für KI in der Wissenschaft geworden. Die Simons Foundation war ein früher Unterstützer des maschinellen Lernens für die Wissenschaft und finanzierte unter anderem die Entwicklung des Lean-Beweisassistenten, der die Art und Weise, wie Mathematiker ihre Arbeit formalisieren, verändert und KI-gestützte Beweise ermöglicht hat. Da KI-Systeme zunehmend zur mathematischen Entdeckung beitragen, steht die Community vor einem praktischen Problem: Wie kann man mit erheblicher maschineller Unterstützung erstellte Ergebnisse überprüfen, bewerten und ihnen vertrauen?

Dieses Überprüfungsproblem ist von zentraler Bedeutung für die Finanzierung der neuen Initiative. Workshops und Initiativen, die sich mit der „Bewertung aktueller KI-gestützter Ergebnisse“ befassen, erkennen an, dass der traditionelle Peer-Review-Prozess nicht für Beweise konzipiert ist, die mit KI-Systemen erstellt oder in einigen Fällen im Wesentlichen von KI-Systemen erstellt wurden.

Der Rahmen der Stiftung: Community First

David Spergel, Präsident der Simons Foundation, bezeichnete die Bemühungen als einen Moment der kollektiven Entscheidungsfindung. „Da künstliche Intelligenz die Forschungslandschaft schnell umgestaltet, möchten wir der mathematischen Gemeinschaft dabei helfen, zusammenzukommen und den besten Weg nach vorne zu finden“, sagte Spergel in der Ankündigung. „Jetzt ist es an der Zeit, die Mathematik als Ganzes zu betrachten – nicht als eine Sammlung von Beweisen und Theoremen, sondern als ein kollektives Verständnis, das von menschlicher Neugier angetrieben wird.“

Spergel machte deutlich, wer die Adoptionsbedingungen festlegen sollte. „Die Diskussion darüber, wie diese Tools bewertet, übernommen und genutzt werden, sollte von der Gemeinschaft vorangetrieben werden, nicht von einem einzelnen Unternehmen oder einer einzelnen Institution“, sagte er. „Ziel des Programms ist es, die Mathematik-Community zu unterstützen.“

Die Aussage versteht sich als bewusster Kontrast zu einer Dynamik, die bei der KI-Einführung bekannt ist: Einzelne Institutionen verhandeln separate Verträge mit Modellanbietern, wobei die Normen von dem Labor oder der Universität festgelegt werden, die zuerst handelt. Durch die Weiterleitung der Mittel über einen offenen Aufruf und die Betonung kollektiver Standards versucht die Stiftung, eine Koordinierungsstelle für eine Disziplin zu schaffen, deren Ergebnisse – Beweise – ungewöhnlich überprüfbar und daher ungewöhnlich KI-gestützten Abkürzungen ausgesetzt sind.

Ein Modell für andere Bereiche

Die Initiative kann als Vorlage über die Mathematik hinaus dienen. Grundlagenwissenschaften stehen vor der gleichen grundlegenden Frage: Wie können KI-Tools übernommen werden, ohne Standards an die Anbieter dieser Tools abzugeben? Die Struktur der Simons Foundation, in der eine neutrale Wohltätigkeitsorganisation die von konkurrierenden KI-Unternehmen gespendeten Ressourcen verwaltet, ist einer der ersten Versuche, eine Antwort zu finden.

Die Geschichte der Stiftung verlieh ihr die Glaubwürdigkeit, diese Rolle zu spielen: Über die frühe Finanzierung des Lean-Proof-Assistenten hinaus hat sie Workshops, Vorträge und Kooperationen einberufen, die sich mit der Rolle der KI in der Mathematik befassen. Die neue Zusage in Höhe von 15 Millionen US-Dollar formalisiert die Bündelung der Macht in einem finanzierten Programm genau in dem Moment, in dem KI-gestützte Ergebnisse schneller eintreffen, als die Normen der Gemeinschaft sie absorbieren können.

---

Bleib vorne bei KI

Die neuesten KI-Nachrichten, Analysen und Durchbrüche – alles an einem Ort.

Mehr KI-Nachrichten lesen →