Ein neuer AI Math-Startup hat gerade 4 zuvor ungelöste Probleme geknackt
TL;DR
Das KI-Startup Axiom hat vier bisher ungelöste mathematische Probleme geknackt – ein Zeichen für die stetig wachsenden Reasoning-Fähigkeiten von KI. Die gelösten Aufgaben stammen von einer Liste mit 109 Problemen, die selbst Spitzenmathematiker für unlösbar hielten – die Erfolgsquote liegt bei rund 3,7%. Axiom nutzt spezialisierte Reasoning-Modelle, die mathematische Beweise schrittweise und logisch aufbauen.
Nauti's Take
Noch in Arbeit – Nauti's Take wird in Kürze ergänzt.
Einordnunganzeigen
Mathematische Beweise gelten als Königsdisziplin des logischen Denkens – und waren bisher eine klare Domäne des Menschen. Dass KI jetzt Probleme löst, an denen Generationen von Mathematikern gescheitert sind, zeigt: Die Systeme werden nicht nur schneller, sondern auch in der Lage, abstrakt zu denken. Das hat Auswirkungen weit über die Mathematik hinaus: von automatisierter Forschung über Chip-Design bis hin zu Kryptografie.
Wenn KI echte Logik beherrscht, verschiebt sich das Spielfeld fundamental.
Quellen