MathAtlas: Un benchmark para la autoformalización en la naturaleza MathAtlas: Benchmark de autoformalización en la naturaleza. Evalúa la capacidad de IA para formalizar teoremas y problemas matemáticos del mundo real. 2026-05-15 · 2 min
