Der autonome KI-Agent von Google DeepMind hat 9 von 353 offenen Problemen aus dem legendären Erdős-Problemenkatalog gelöst, einer Sammlung von Herausforderungen der Kombinatorik und Zahlentheorie, die Mathematiker seit Jahrzehnten vor Rätsel stellen. Zwei der neun Probleme waren 56 Jahre lang ungelöst geblieben — was sie fest in die Kategorie von Problemen einordnet, die im Fachbereich weitgehend als unlösbar für allein arbeitende menschliche Forscher akzeptiert wurden.
Das Ergebnis ist nicht nur für die Mathematik bedeutend, sondern auch dafür, wie die breitere Forschungsgemeinschaft über die Rolle der KI im formalen Denken nachdenken sollte. Erdős-Probleme sind keine bloße Berechnung — sie erfordern kreative Sprünge, die Bildung von Vermutungen und den Aufbau von Beweisen. Ein autonomer Agent, der diesen Raum ohne menschliche Unterstützung navigiert, stellt einen qualitativen Schritt über frühere KI-Mathematik-Benchmarks dar.
WuBlockchain
CoinDesk
Altcoin Daily