Nytt AI-system hittar matematiska bevis snabbare och billigare

arXiv cs.AI

Forskare har utvecklat LEVER, en algoritm som låter AI söka efter matematiska bevis med ett programmerbart mål – inte bara 'hitta ett korrekt bevis' utan också 'hitta ett enkelt och billigt bevis'. På testsviten PutnamBench löste systemet 96% av uppgifterna mot tidigare 80%, och kostade samtidigt 34% mindre. Det intressanta är att kvaliteten byggs in i själva sökningen istället för att fixas i efterhand – ungefär som skillnaden mellan att skriva rätt från början kontra att korrekturläsa.