RECHERCHE
AdvancedMathBench : un benchmark pour la génération et la vérification de preuves mathématiques avancées
Un nouveau benchmark évalue la capacité des LLM à produire et vérifier des preuves de niveau universitaire à doctoral, au-delà des olympiades.
arXiv cs.AI · cs.LG · cs.CL·Lingkai Kong, Zijian Wu, Yuzhe Gu, Haiteng Zhao·13 juillet 2026
Image · Source originale
AdvancedMathBench comprend ProverBench (296 problèmes de niveau licence à doctorat) et VerifierBench (888 preuves générées avec vérité terrain d'experts). Un pipeline de vérification automatique, entraîné sur des annotations expertes, évalue la validité des preuves avec un fort accord avec les experts humains. Le meilleur modèle testé, GPT-5.5-xhigh, n'atteint que 75,8 et 66,1 sur les deux sous-ensembles, montrant une marge de progression importante.
Chaleur 4
Pertinence 55
Nouveauté 65