1/ AxiomProver hat Fels offene Vermutung zu Syzygien von numerischen Halbgruppen gelöst und dabei autonom einen formalen Beweis in Lean mit null menschlicher Anleitung generiert. Dies ist das erste Mal, dass ein KI-System ein ungelöstes Forschungsproblem in der theoretischen Mathematik gelöst hat und sich selbst verifiziert.