Publicaciones sobre AlphaProof
- Readings shared November 23, 2025
- Reseña de «DeepMind’s latest - An AI for handling mathematical proofs»
- Readings shared November 14, 2025
- Reseña de «Olympiad-level formal mathematical reasoning with reinforcement learning»
- Readings shared October 03, 2025
- Readings shared June 10, 2025
- AlphaProof - Aprendizaje por refuerzo aplicado a la demostración matemática
- Readings shared April 3, 2025
- Readings shared November 29, 2024
- Readings shared September 11, 2024
- Readings shared August 20, 2024
- Lecturas compartidas el 26 de julio de 2024