Publicaciones sobre AIforMath
- Readings shared June 11, 2025
- Reseña de 'LeanTutor: A formally-verified AI tutor for mathematical proofs'
- El futuro del razonamiento matemático: Integrando IA y Lean
- Readings shared June 10, 2025
- 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
- Readings shared June 9, 2025