Investigadores de UT Austin presentan PUTNAMBENCH: un punto de referencia integral de IA para evaluar las capacidades de los probadores de teoremas neuronales con problemas matemáticos de Putnam
La automatización del razonamiento matemático ha sido un objetivo de la inteligencia artificial desde hace mucho tiempo, y los marcos formales como Lean 4, Isabelle y Coq desempeñan un papel…