ProofEvolve: AI som lär sig matematiska bevis och minns vad den lärt sig

arXiv cs.AI

Forskare har byggt ProofEvolve, ett system som kombinerar neural AI med formell logik (symbolisk AI) för att automatiskt bevisa matematiska teorem – och som faktiskt minns och återanvänder delresultat från tidigare problem istället för att börja om varje gång. Det smarta här är att systemet sparar även ofullständiga bevisförsök i ett slags kunskapsbibliotek, vilket är något befintliga metoder missar. I tester på tre tävlingsnivå-benchmarks i bevissystemet Lean uppnådde ProofEvolve den högsta genomsnittliga lösningsfrekvensen bland de utvärderade systemen.