Posts de abril de 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»