Publicaciones sobre AIforMath
- Readings shared June 19, 2025
- Readings shared June 15, 2025
- Reseña de «Hardest problems in mathematics, physics & the future of AI»
- Readings shared June 13, 2025
- 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?»
- 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