Posts de abril de 2026
- Readings shared April 29, 2026
- Las matemáticas en la era de la IA: de la escasez a la abundancia de demostraciones
- Readings shared April 24, 2026
- Matemáticas en la era de la IA: demostraciones rápidas, comprensión lenta
- Reseña de «The fall of the theorem economy (How AI could destroy mathematics and barely touch it)»
- Readings shared April 19, 2026
- Reseña de «Automated conjecture resolution with formal verification»
- Readings shared April 14, 2026
- Reseña de «Lectures on AI for mathematics»
- Reseña de «The agentic researcher: A practical guide to AI-assisted research in mathematics and machine learning»
- Reseña de «The AI revolution in math has arrived»
- Reseña de «AI and Isabelle: Experiences and perspectives»
- Reseña de «Education for logical thinking in the age of AI»
- Reseña de «Munkres' general topology autoformalized in Isabelle/HOL»
- Readings shared April 9, 2026
- Reseña de «Silicon Valley Is in a frenzy over bots that build themselves»
- Readings shared April 4, 2026
- Reseña de «DeepSeek-Prover-V2-7B bridges the gap between mathematical thought and formal code»
- Reseña de «Why Lean?»
- Reseña de «What Gödel discovered»
- Reseña de «Type-checked compliance: Deterministic guardrails for agentic financial systems using Lean 4 theorem proving»
- Reseña de «La IA acaba de hacerle una pregunta incómoda a la física teórica. Qué pasa si algunos de sus resultados más citados nunca fueron tan sólidos como parecían»
- Reseña de «Short proofs in combinatorics and number theory»