AI-system löste 200 öppna matematikproblem utan mänsklig vägledning

arXiv cs.AI

Forskare har byggt Bolzano, ett multiagentsystem där AI-agenter samarbetar för att söka och verifiera matematiska bevis – och det levererar: av cirka 3 800 olösta problem klarade systemet runt 200 helt på egen hand. Ännu mer intressant är att det besvarade fyra öppna frågor i artiklar antagna till toppkonferensen STOC 2026, något som bekräftades av artiklarnas egna författare. Det är en tydlig signal om att LLM-baserade system börjar göra faktiska bidrag till matematisk forskning, inte bara assistera.