1/ AxiomProver heeft Fel's open conjectuur over syzygies van numerieke semigroepen opgelost, autonoom een formeel bewijs in Lean genererend zonder menselijke begeleiding. Dit is de eerste keer dat een AI-systeem een onopgelost onderzoeksprobleem in de theoriebouwende wiskunde heeft opgelost en zichzelf verifieert.