
Google Deepminds AlphaProof Nexus hat autonom neun offene Erdős-Probleme gelöst, darunter zwei seit 56 Jahren unbeantwortete Fragen – für wenige hundert Dollar Inferenzkosten pro Problem. Anders als OpenAIs natürlichsprachlicher Ansatz verifiziert das System jeden Beweisschritt maschinell über den Lean-Compiler. Die Erfolgsquote bleibt mit rund 2,5 Prozent jedoch niedrig.
Der Artikel Google Deepminds AlphaProof Nexus löst jahrzehntealte Mathe-Probleme für wenige hundert Dollar erschien zuerst auf The Decoder.

