Das innovative Framework AlphaProof Nexus von Google Deepmind vereint die leistungsstarke Beweisführung durch große Sprachmodelle (LLM) mit maschineller Verifikation und hat damit bedeutende Fortschritte bei jahrzehntealten mathematischen Herausforderungen erzielt. Neues Framework zeigt: KI-Modelle benötigen menschliche Unterstützung beim Roboter-Coding
Erfolge bei Erdős-Problemen
Insgesamt hat AlphaProof Nexus autonom neun von 353 offenen Erdős-Problemen gelöst, darunter zwei Fragen, die seit 56 Jahren ungelöst waren.
Zusätzliche Errungenschaften
Darüber hinaus gelang es dem System, 44 von 492 offenen Vermutungen aus der Online Encyclopedia of Integer Sequences (OEIS) zu beweisen. Es klärte auch eine 15 Jahre alte Frage zu Hilbert-Funktionen in der algebraischen Geometrie und verbesserte eine bestehende Schranke in der konvexen Optimierung. Neues Framework zeigt: KI-Modelle benötigen menschliche Unterstützung beim Roboter-Coding
Kosteneffizienz
Die Inferenzkosten für die Lösung dieser Probleme lagen laut dem Forschungspapier bei lediglich wenigen hundert Dollar pro Problem.
Quellen: the-decoder
„`
Bildquelle: KI generiert
