Euler: Ett AI-system som låter matematiker följa med i bevisföringens alla steg

arXiv cs.AI

Forskare har byggt Euler, ett AI-system för matematisk forskning där flera agenter samarbetar och organiserar bevis, antaganden och misslyckade försök i ett så kallat forskningsgraf – istället för att bara spotta ur sig ett slutsvar. Det smarta är att matematikern kan gå tillbaka och se exakt hur ett resultat växte fram, och till och med förgrena sig och utforska alternativa vägar. Systemet testades i tre matematiska fallstudier, men är ännu en prototyp utan bredare utvärdering.