KI meistert fortgeschrittene Mathematik: In einem Meilenstein für KI-gestütztes logisches Denken erzielten Modelle von Google und OpenAI Goldmedaillen-Ergebnisse bei der Internationalen Mathematik-Olympiade reuters.com. Es ist das erste Mal, dass KI-Systeme die Spitzenbewertung der Olympiade überschritten haben, wobei jedes 5 von 6 anspruchsvollen Aufgaben mit neuen „allgemeinen Schlussfolgerungsmethoden“ löste, die auf dem Verständnis natürlicher Sprache basieren reuters.com reuters.com. „Ich denke, der Moment, in dem wir schwierige logische Probleme in natürlicher Sprache lösen können, wird das Potenzial für die Zusammenarbeit zwischen KI und Mathematikern ermöglichen“, sagte Professor Junehyuk Jung von der Brown University und deutete an, dass KI bald helfen könnte, ungelöste Forschungsprobleme in der Mathematik anzugehen reuters.com reuters.com. Das Team von OpenAI gab bekannt, dass ihr experimentelles Modell die „Testzeit-Berechnung“ hochskaliert hat, sodass die KI „länger nachdenken“ und parallel arbeiten konnte – ein kostspieliger Aufwand, den das Unternehmen als „sehr teuer“ bezeichnete reuters.com. Google DeepMind, das direkt mit den IMO-Organisatoren zusammenarbeitete, verwendete ein allgemeines Modell Gemini Deep Think, um die Aufgaben vollständig in natürlicher Sprache innerhalb des offiziellen 4,5-Stunden-Limits zu lösen reuters.com. Experten beider Unternehmen sehen dies als einen Durchbruch, der darauf hindeutet, dass die logischen Fähigkeiten der KI bald auf Grenzbereiche der Physik und anderer Wissenschaften ausgeweitet werden könnten reuters.com.
