Research·Europe
Google Deepminds AlphaProof Nexus löst jahrzehntealte Mathe-Probleme für wenige hundert Dollar
Global AI Watch · Editorial Team··3 min read
Redaktionelle Einschätzung
AlphaProof Nexus is the first to solve multiple Erdős problems autonomously, altering AI's academic applications by 2027.
Kernpunkte
- 1Google 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.
- 2Anders als OpenAIs natürlichsprachlicher Ansatz verifiziert das System jeden Beweisschritt maschinell über den Lean-Compiler.
- 3Die Erfolgsquote bleibt mit rund 2,5 Prozent jedoch niedrig.
- 4Der Artikel Google Deepminds AlphaProof Nexus löst jahrzehntealte Mathe-Probleme für wenige hundert Dollar erschien zuerst auf The Decoder.
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.
Free Daily Briefing
Top AI intelligence stories delivered each morning.