#bevis

AI-agenter uppges ha angripit hundratals matematiska problem på några veckor. Men bakom de imponerande siffrorna väntar år av granskning – och en större fråga: hjälper AI matematiken framåt?