IMO 2025 schließt mit Vorträgen und BBQ

Der 66. Internationale Mathematik-Olympiade (IMO) erreicht heute, am 19. Juli 2025, sein Ende auf der Sunshine Coast. Der abschließende Tag wird mit spannenden Gästevorträgen von führenden Mathematikern wie Cheryl Praeger und Terry Tao beginnen, gefolgt von einer Urkundenvérleihung zur Feier der Leistungen der Teilnehmer und einem typisch australischen Barbecue. Dieses Jahr hat die IMO nicht nur alte Traditionen gepflegt, sondern auch Raum für moderne Entwicklungen geschaffen. Insbesondere begrüßt man den AI-Mathematik-Olympiade-Preis (AIMO), einen Wettbewerb mit einem Preisgeld von 10 Millionen Dollar, der die Entwicklung offener AI-Modelle fördern soll. Heute Vormittag wird der AIMO-Preis über den Fortgang des Wettbewerbs berichten, einschließlich einer Video-Präsentation vom Gewinner dieses Jahres, NemoSkills. Zum ersten Mal wurden auch mehrere AI-Unternehmen eingeladen, um ihre neuesten Innovationen den Schülern vorzustellen. Diese Unternehmen haben die diesjährigen Aufgaben außerdem mit ihren proprietären AI-Modellen getestet. Die Ergebnisse dieser Tests werden sowohl für Mathematiker als auch für Technologen und die breite Öffentlichkeit von großer Bedeutung sein. Präsident des IMO, Gregor Dolinar, betonte: "Es ist sehr aufregend zu sehen, wie sich die mathematischen Fähigkeiten von KI-Modellen weiterentwickeln. Dennoch möchten wir klarstellen, dass die IMO die Methoden dieser Modelle nicht validieren kann, einschließlich der verwendeten Rechenleistung, möglicher menschlicher Beteiligung und der Reproduzierbarkeit der Ergebnisse. Was wir sagen können, ist, dass korrekte mathematische Beweise, ob von den brillantesten Schülern oder KI-Modellen erarbeitet, gültig sind." Am meisten freut man sich jedoch über die 641 außergewöhnlichen Schüler aus 112 Ländern, die an diesem Jahr teilnahmen und fünf von ihnen eine perfekte Punktzahl von 42 erreichten. Ein herzliches Glückwunsch zu all euren harten Arbeit und euren Leistungen. Wir hoffen, dass ihr euren Tag im Rampenlicht genießt. Für die Mathematik-Community ist die Integration von KI-Modellen in die IMO ein bedeutender Schritt, der die Zukunft des mathematischen Wettkampfs und der Forschung aufzeigt. Die Präsentationen und Ergebnisse der AI-Unternehmen werden wichtige Erkenntnisse liefern und dazu beitragen, das Potenzial dieser Technologie besser zu verstehen. Gleichzeitig bleibt die IMO ein wichtiges Forum für junge mathematische Talente, die durch die Teilnahme an diesem prestigeträchtigen Wettbewerb inspiriert und gefördert werden.