Mathathon startet neu mit Fokus auf KI und Beweise
Das Mathathon-Event der California Institute of Technology wurde nach einer umfassenden internen Neubewertung durch eine Koalition von Mathematikern und Hochschulmitgliedern strukturell umgestaltet. Die überarbeitete Ausgabe findet vom 13. bis 15. November statt und verlagert den akademischen Fokus von der Lösung offener Forschungsfragen hin zur vertieften Erschließung und Vermittlung etablierter mathematischer Probleme. Der neue Leitgedanke lautet „Old Problems, New Proofs“. Im Zentrum steht die Untersuchung, wie künstliche Intelligenz das menschliche Verständnis der Mathematik erweitern kann, anstatt sie ausschließlich als automatisches Lösungsinstrument zu behandeln. Der erste Workshop-Block erstreckt sich über 40 Stunden und widmet sich einem bestehenden Problem mit oft unintuitiven oder schwer nachvollziehbaren Beweisen, wie dem Vier-Farben-Satz oder der ABC-Vermutung. In der anschließenden Zwei-Monats-Phase entwickeln die Teilnehmenden alternative Beweise, Verallgemeinerungen oder neue didaktische Formate. Die Ergebnisse werden als Erklärmedium in beliebiger Struktur eingereicht, ergänzt durch ein öffentliches GitHub-Repository, das sämtliche methodischen Schritte, einschließlich KI-Chat-Protokolle und Visualisierungscode, transparent dokumentiert. Mit der Neuausrichtung wurden die Finanzierungs- und Sponsoringmodelle grundlegend überarbeitet. Das Event verzichtet seither auf finanzielle Unterstützung durch Anbieter proprietärer KI-Modelle. Stattdessen erhalten alle Teilnehmenden eine Pauschalfinanzierung, mit der sie eigenständig Tools ihrer Wahl erwerben können. Der Einsatz geschlossener Large Language Models bleibt erlaubt, wird jedoch nicht priorisiert. Die Veranstalter fördern explizit quelloffene Technologien und betonen die Transparenzverpflichtung: Der KI-Einsatz muss offengelegt, methodisch begründet und auf seinen tatsächlichen Mehrwert geprüft werden. Koorganisiert wird die Veranstaltung mit der Foundation for Science and AI Research (SAIR), die Rechenkapazitäten bereitstellt, Workshops moderiert und Sonderpreise für Teams vergibt, die open-source-Modelle einsetzen. Zudem koordiniert SAIR Reisestipendien. Das Hauptsponsoring übernimmt das Algorithmic-Trading-Unternehmen XTX Markets, das traditionell akademische Forschung, Open-Source-Infrastruktur und gemeinwohlorientierte KI-Initiativen unterstützt. Die Umstrukturierung des Mathathon zielt darauf ab, mathematische Exegese, Wissensaustausch und akademische Gemeinschaftsbildung in den Mittelpunkt zu stellen. Angesichts der polarisierten Debatten innerhalb der Forschungsgemeinschaft zum KI-Einsatz wird das Event als transparentes Experimentierfeld verstanden, das keine abschließenden Definitionen liefert, sondern Räume für Lernende, Lehrende und Forschende öffnet. Ziel ist es, den Wandel der Mathematik in der digitalen Ära bewusst zu gestalten, menschliche Intuition und kollektive Reflexion gegenüber reiner Automatisierung zu stellen und gleichzeitig verbindliche Standards für den ethischen und methodischen Umgang mit KI-Systemen in der Grundlagenforschung zu etablieren.
