Avanzando la investigación matemática con búsqueda de pruebas formales con IA Un agente de IA resolvió 9 de 353 problemas abiertos de Erdős usando Lean. Descubre cómo la búsqueda de pruebas formales impulsa la investigación matemática. 2026-06-09 · 2 min
