Publicaciones sobre Reseña
- Lean obtiene el prestigioso «SIGPLAN Programming Languages Software Award 2025»
- Reseña de «Can A.I. quicken the pace of math discovery?»
- Reseña de «Hablemos de Lisp»
- Reseña de «Hardest problems in mathematics, physics & the future of AI»
- Reseña de «Mathesis: Towards formal theorem proving from natural languages»
- Reseña de «MATP-BENCH: Can MLLM be a good automated theorem prover for multimodal problems?»
- Reseña de 'LeanTutor: A formally-verified AI tutor for mathematical proofs'
- El futuro del razonamiento matemático: Integrando IA y Lean
- El proyecto ETP (Un caso de estudio en investigación matemática colaborativa y formalizada)
- El futuro de las matemáticas - Descubrimiento colaborativo entre humanos y máquinas
- AlphaProof - Aprendizaje por refuerzo aplicado a la demostración matemática
- AutoGPS - Un sistema neuro-simbólico para la geometría
- Más allá de la "ilusión de pensar"