Google DeepMinds AlphaProof Nexus löst 9 offene Erdös-Probleme: Zwei warteten 56 Jahre auf eine Lösung
Der Forschungsagent AlphaProof Nexus von Google DeepMind hat 9 offene Erdös-Probleme gelöst, von denen zwei 56 Jahre lang auf eine Lösung warteten, und 44 OEIS-Vermutungen mit maschineller Überprüfung in Lean bewiesen.
Weiterlesen →