20 Codex-Konten knacken 20 Erdős-Probleme parallel
Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
Ein Team hat 20 seit langem offene Erdős-Probleme mit 20 parallel arbeitenden Codex-Konten gelöst. Der Artikel präsentiert die vollständigen Lösungen, darunter einen formalen Beweis für Problem 123 in Lean und eine formal verifizierte Widerlegung von Problem 129. Die Ergebnisse zeigen, wie KI-gestützte Beweisführung und formale Verifikation mathematische Durchbrüche beschleunigen können.
Die entscheidende Idee war, Monome auszunutzen, die auf derselben exakten homogenen Ebene noch nicht verwendet worden waren.