Posts de septiembre de 2026
- Reseña de «Can AI truly prove anything?»
- Reseña de «Responsible release of AI-generated mathematics»
- Reseña de «Applied mathematics has met the machine before»
- Readings shared September 28, 2026
- Formalización del libro "Calculus" de Spivak en Lean 4
- Lista de usos y expectativas de la IA en matemáticas
- Readings shared September 21, 2026
- Readings shared September 14, 2026