FrontierMath: salto nella ricerca matematica con verifica formale

Contesto

L'accoppiamento tra test-time compute massivo e assistenti di prova formale spinge la risoluzione di problemi FrontierMath inediti al 38,2%, aprendo alla verifica assistita di congetture matematiche di frontiera.