Bei der Internationalen Mathematik-Olympiade (IMO) matchen sich Schülerinnen und Schüler aus aller Welt sozusagen um den Mathe-Weltmeistertitel. Ein Forschungsteam mit österreichischer Beteiligung wartete 2024 mit einem KI-System auf, das bei der IMO eine Silbermedaille erreicht hätte.
