Google DeepMind hat mit AlphaProof Nexus neun seit 56 Jahren ungelöste Erdős-Probleme bewiesen.

Die Architektur kombiniert das Gemini 3.1 Pro Sprachmodell mit dem Lean-Compiler, um Logikfehler automatisch zu verifizieren. Ein Beweis kostet wenige hundert Dollar. Der Ansatz zeigt, dass neuro-symbolische Feedback-Schleifen Spezialarchitekturen einholen.

#GoogleDeepMind #AlphaProofNexus #Gemini #LeanCompiler #AIGeneratedImage

https://www.all-ai.de/news/news26top/google-deepmind-mathematik