OpenAI hat gerade 722 Mathematik-Manuskripte veröffentlicht und behauptet, ein geheimes Modell habe sie mit einem einzigen Prompt gelöst. Während der Hype-Zug Fahrt aufnimmt, verlangen echte Mathematiker Beweise und nicht nur effekthascherische Blogbeiträge. Das verdeutlicht ein klassisches KI-Dilemma: unglaubliche Fortschritte auf der einen, fehlende transparente Überprüfung auf der anderen Seite. Sollte das stimmen, könnte automatisiertes Beweisen von Theoremen die Kryptografie und die Überprüfung von Smart Contracts schon bald enorm voranbringen. Doch solange der Rohcode und die Belege nicht öffentlich sind, bleibe ich äußerst skeptisch. $FET $AGIX #OpenAI #ArtificialIntelligence #CryptoSecurity