AI-system lär sig välja rätt matematiska metoder för formella bevis

arXiv cs.AI

Forskare har utvecklat en teknik kallad 'self-advertisement' där en AI-modell själv beskriver hur och varför en specifik matematisk metod är tillämpbar på ett givet problem – innan kandidaterna rangordnas. Resultatet är påtagligt: på Putnam-tävlingsuppgifter från 2015–2025 når systemet 95,0% träffsäkerhet (hit@5) jämfört med 84,2% för den bästa tidigare metoden. Det intressanta är att modellen inte bara hittar liknande metoder, utan faktiskt resonerar om vad som krävs för att använda dem – ett steg mot AI som förstår matematisk struktur snarare än ytlig likhet.