Das Team der Ramanujan Machine kündigt mit der Ramanujan Challenge eine internationale Initiative an, um die aktuellen mathematischen Fähigkeiten künstlicher Intelligenz systematisch zu bewerten. Der Wettbewerb richtet sich explizit an die KI-Forschung und soll prüfen, ob maschinelle Systeme in der Lage sind, forschungsrelevante Probleme im Bereich der mathematischen Analysis zu lösen. Im Fokus stehen explizite Formeln für fundamentale Konstanten wie Pi, e, die Catalan-Konstante sowie spezielle Werte der Riemannschen Zeta-Funktion. Diese Aufgaben gelten als ideal für KI-Tests, da sie numerisch mit beliebiger Präzision überprüfbar sind, deren Beweisführung jedoch häufig auf nicht-trivialer mathematischer Intuition beruht. Die Challenge startet offiziell am 1. Juli 2026. Bis zum 1. August 2026, 23:59 Uhr UTC, können Teilnehmende ihre Lösungen einreichen. Das Hauptziel besteht darin, die Leistungsfähigkeit bestehender KI-Modelle an konkreten mathematischen Formeln zu messen und gleichzeitig einen strukturierten, transparenten Validierungsprozess zu etablieren, der manuelle Überprüfungen minimiert. Aus diesem Grund legen die Organisatoren besonderen Wert auf reproduzierbare und maschinell überprüfbare Einreichungen. Als Lösungen werden drei Kategorien priorisiert: Zuerst formale Beweise in interaktiven Theorembeweisern wie Lean, Coq oder Isabelle. Diese müssen durch Kommentare für jeden logischen Block sowie durch Erklärungen zu Definitionen und Lemmata ergänzt sein. An zweiter Stelle stehen computerbasierte Ableitungen mittels etablierter Algebrasysteme wie Mathematica, Maple, SageMath oder SymPy. Der zugrundeliegende Code muss die symbolischen Schritte transparent offenlegen. Als dritte Option sind menschlich lesbare Beweise zugelassen, die jedoch einem intensiveren manuellen Evaluierungsprozess unterliegen. Jede Einreichung muss eine ausformulierte Herleitung in tex- oder pdf-Format beiliegen. Bei komplexen Rechenschritten ist zusätzlicher, dokumentierter Quellcode erforderlich. Reglementarisch dürfen ausschließlich vor dem 1. Juli 2026 öffentlich verfügbare symbolische Systeme genutzt werden, um zu verhindern, dass der Wettbewerb zur Evaluation neu entwickelter Software verfälscht wird. Während des Wettbewerbs erstellte oder von KI generierte Skripte sind als reine Lösungsskripte erlaubt, dürfen aber nicht als vertrauenswürdige externe Oracle dienen. Versteckte Remote-Dienste, private APIs oder nicht überprüfbare Berechnungen sind strikt untersagt. Alle zur Verifizierung notwendigen Dateien müssen den Organisatoren vollständig vorliegen. Zur Wahrung der Transparenz sollen Einreichungen über die offizielle Plattform erfolgen, welche Namen und Zeitstempel protokolliert. Eine parallele Einreichung per E-Mail ist möglich. Öffentliche Diskussionen zum Wettbewerb sind erwünscht, jedoch gilt vor Abschluss der Frist am 1. August strikte Schweigepflicht über vollständige Lösungswege, um die Bewertungskonsistenz zu sichern. Bei offensichtlichen Fehlern in den Aufgabenstellungen behalten sich die Organisatoren das Recht vor, Korrekturen zu veröffentlichen. Nach der Auswertungsphase werden die Organisatoren für jedes Problem öffentlich kommunizieren, welche Einreichungen als vollständig, teilweise oder abgelehnt gelten und welche Werkzeuge zum Einsatz kamen. Sollte bei den noch nicht bewiesenen Vermutungen ein akzeptierter formaler Beweis eingehen, wird dieser als neue mathematische Leistung anerkannt. Die Autoren erhalten entsprechende wissenschaftliche Anerkennung, dokumentiert durch eine offizielle Nachveröffentlichung. Rückfragen können an das Kontaktformular des Ramanujan Machine Teams gerichtet werden.