Opinión editorial startupxo
Llama la atención que solo 42% de 719 artículos matemáticos en el repositorio hayan completado pruebas formales usando Lean. Los demás resultados aún podrían contener errores, lo que demuestra una vez más que la verificación paso a paso es esencial cuando se automatiza la resolución de problemas matemáticos complejos con IA. Me pregunto cómo se utilizan los artículos que carecen de formalización Lean en entornos de investigación reales.
Idioma del texto: coreano