Künstliche Intelligenz, KI, Artificial Intelligence, AI, Quantencomputer, Robotik, ChatGPT, Grok, Transhumanismus

OpenAI gibt an, sein Astra-Modell habe 10 offene Mathematikprobleme gelöst Das noch unveröffentlichte KI-System löste Probleme, die seit mindestens einem Jahrzehnt ungelöst waren – alle Beweise wurden in Lean formalisiert und öffentlich zugänglich gemacht. • OpenAI teilte mit, dass eine interne Version von Astra, dem nächsten großen Modell des Unternehmens, 10 seit Langem offene Probleme aus Mathematik und theoretischer Informatik für rund 2.000 Dollar an Inferenzkosten gelöst hat.[openai] • Die Ergebnisse erstrecken sich über Gruppentheorie, Quantenkomplexität, Gitterkryptographie und extremale Kombinatorik – darunter eine Widerlegung von Connes’ Starrheitskonjektur sowie drei gelöste Erdős-Probleme.[openai +1] • Astra ist weiterhin unveröffentlicht und hat noch keinen Erscheinungstermin; laut OpenAI scheiterte das Modell an den Millennium-Preis-Problemen des Clay Mathematics Institute.