NERDMAN🔥 HOT NEWS
AlphaProof knackt 56 Jahre alte Mathe-Rätsel
Google Deepmind hat mit AlphaProof Nexus neun offene Erdős-Probleme autonom gelöst. Kosten pro Problem: ein paar hundert Dollar.
Google Deepmind hat mit AlphaProof Nexus neun offene Erdős-Probleme autonom gelöst. Kosten pro Problem: ein paar hundert Dollar.
Was konkret passiert ist
Das System arbeitet sich durch mathematische Vermutungen, an denen Menschen sich teils ein halbes Jahrhundert die Zähne ausgebissen haben. Jeder Beweisschritt wird über den Lean-Compiler maschinell verifiziert. Kein Halluzinieren, kein Bauchgefühl.
Die Zahlen
- 9** — gelöste offene Erdős-Probleme
- 56 Jahre** — so lange waren zwei davon unbeantwortet
- ~$200** — Inferenzkosten pro gelöstem Problem
- 2,5 %** — Erfolgsquote des Systems
⚖️ AlphaProof Nexus vs. OpenAIs Ansatz
- Verifikation:** Lean-Compiler prüft jeden Schritt — bei OpenAI nur natürliche Sprache
- Vertrauen:** Maschinell beweisbar vs. plausibel klingend
- Schwäche:** Brutal niedrige Trefferquote vs. breitere Anwendbarkeit
- Kosten:** Spottbillig pro Erfolg
💡 Was das bedeutet
Mathematische Forschung bekommt einen brutalen Beschleuniger. Wer einen Lean-Beweis liefert, kann nicht lügen — das macht KI-Mathematik zum ersten Mal vertrauenswürdig. Universitäten und Forschungsgruppen werden anfangen, ihre Backlogs ungelöster Probleme durchzunudeln.
🤖 NERDMAN-URTEIL
2,5 Prozent klingt mickrig — bis du merkst, dass die Maschine für 200 Dollar Probleme knackt, an denen ganze Mathematiker-Karrieren gescheitert sind.
Quelle: The Decoder
War dieser Artikel hilfreich?
Dein Feedback hilft uns, bessere Artikel zu liefern.
