Posts de marzo de 2026
- Reseña de «Mathematical methods and human thought in the age of AI»
- Reseña de «This startup wants to change how mathematicians do math»
- Readings shared March 29, 2026
- Reseña de «Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools»
- Reseña de «Mathematics in the library of Babel»
- Reseña de «As AI keeps improving, mathematicians struggle to foretell their own future»
- Reseña de «What happens when AI starts checking mathematicians’ work»
- Reseña de «Shaping the future of mathematics in the age of AI»
- Reseña de «Advancing mathematics by guiding human intuition with AI»
- Reseña de «Can machines do mathematics?»
- Reseña de «In math, rigor is vital. But are digitized proofs taking it too far?»
- Reseña de «Formal verification and AI are reshaping mathematical research»
- Readings shared March 24, 2026
- Reseña de «Eval awareness in Claude Opus 4.6’s BrowseComp performance»
- Reseña de «Coding after coders: The end of computer programming as we know it»
- Readings shared March 19, 2026
- Readings shared March 14, 2026
- Reseña de «Mathematicians in the age of AI»
- Reseña de «Mathematicians in the age of AI»
- Reseña de «AI for mathematical and scientific discovery»
- Reseña de «AI for mathematical and scientific discovery»
- Readings shared March 9, 2026
- Reseña de «Shaping the future of mathematics in the age of AI»
- Readings shared March 4, 2026
- Reseña de «Completing the formal proof of higher-dimensional sphere packing»
- Readings shared March 1, 2026