Axiom löst alle Putnam-Mathe-Aufgaben – durchbruch bei AI-Reasoning
In den vergangenen Tagen sorgte eine Meldung in der KI-Community für Aufsehen: Das Reasoning-Modell Axiom soll sämtliche Aufgaben des renommierten Putnam-Mathematikwettbewerbs gelöst haben – eines der