Die Internationale Mathematik-Olympiade findet seit 1959 jährlich und immer in einem anderen Land statt. Jeder Staat darf sechs Teilnehmer entsenden, die Aufgaben aus verschiedenen Gebieten der Mathematik wie Algebra, Kombinatorik, Geometrie und der Zahlentheorie zu lösen haben. Erreicht man beim Lösen der kniffligen und komplexen Probleme bestimmte Punktezahlen, gibt es dafür Medaillen in den aus dem Sport bekannten Varianten.
Wien/London
KI-System ist Medaillenanwärter bei Mathematik-Olympiade
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.
© APA/THEMENBILD