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. Die bei der KI-Firma Google DeepMind arbeitende Gruppe stellt ihren Ansatz namens "AlphaProof" nun im Fachmagazin "Nature" detailliert vor. Es war das erste solche System auf Medaillen-Niveau.
