Das KI-Startup Harmonic, mitbegründet vom Robinhood-CEO Vlad Tenev, hat erfolgreich 120 Millionen US-Dollar in einer Finanzierungsrunde unter der Leitung von Ribbit Capital eingesammelt, mit Beiträgen von Sequoia, Kleiner Perkins und Emerson Collective. Diese jüngste Investition hebt die Bewertung von Harmonic auf 1,45 Milliarden US-Dollar. Die innovative Technologie von Harmonic, die "Mathematische Superintelligenz (MSI)", wurde entwickelt, um Probleme mit KI-Halluzinationen zu überwinden, indem formale Logik anstelle statistischer Vorhersagen verwendet wird. Das Flaggschiffmodell Aristotle hat beeindruckende Ergebnisse bei der Internationalen Mathematik-Olympiade gezeigt und steht damit in Konkurrenz zu führenden Forschungslaboren wie Google und OpenAI. Aristotle nutzt die Programmiersprache Lean4, um überprüfbare Beweisschritte zu erzeugen, was es besonders wertvoll für risikoreiche Sektoren wie Luft- und Raumfahrt sowie Finanzen macht. Derzeit ist das Modell Entwicklern und Mathematikern über eine kostenlose API zugänglich, mit Plänen zur Kommerzialisierung in Vorbereitung.