Neben OpenAI und Google Deepmind hat auch das KI-Start-up Harmonic mit seinem Modell Aristotle bei der diesjährigen Internationalen Mathematik-Olympiade (IMO) 2025 eine Goldmedaillenleistung erzielt. Doch das Start-up verfolgt damit nicht AGI – sondern „mathematische Superintelligenz“.
Der Artikel Kein Platz für Halluzinationen: KI-Start-up will korrekte Mathebeweise garantieren erschien zuerst auf THE-DECODER.de.