Publicaciones sobre AI4Math

03-04-2026Reseña de «DeepSeek-Prover-V2-7B bridges the gap between mathematical thought and formal code»
31-03-2026Reseña de «Mathematical methods and human thought in the age of AI»
31-03-2026Reseña de «This startup wants to change how mathematicians do math»
30-03-2026Readings shared March 29, 2026
29-03-2026Reseña de «Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools»
29-03-2026Reseña de «Mathematics in the library of Babel»
29-03-2026Reseña de «As AI keeps improving, mathematicians struggle to foretell their own future»
29-03-2026Reseña de «What happens when AI starts checking mathematicians’ work»
28-03-2026Reseña de «Shaping the future of mathematics in the age of AI»
27-03-2026Reseña de «Advancing mathematics by guiding human intuition with AI»
27-03-2026Reseña de «Can machines do mathematics?»
27-03-2026Reseña de «In math, rigor is vital. But are digitized proofs taking it too far?»
25-03-2026Reseña de «Formal verification and AI are reshaping mathematical research»
25-03-2026Readings shared March 24, 2026
11-03-2026Reseña de «Mathematicians in the age of AI»
11-03-2026Reseña de «Mathematicians in the age of AI»
10-03-2026Reseña de «AI for mathematical and scientific discovery»
10-03-2026Reseña de «AI for mathematical and scientific discovery»
10-03-2026Readings shared March 9, 2026
09-03-2026Reseña de «Shaping the future of mathematics in the age of AI»
05-03-2026Readings shared March 4, 2026
03-03-2026Reseña de «Completing the formal proof of higher-dimensional sphere packing»
27-02-2026Reseña de «AI that can prove it’s right: Verification as the missing layer in AI»
25-02-2026Readings shared February 24, 2026
20-02-2026Readings shared February 19, 2026
17-02-2026Reseña de «Machine assistance and the future of research mathematics»
15-02-2026Readings shared February 14, 2026
10-02-2026Readings shared February 9, 2026
09-02-2026Reseña de «Accelerating mathematics»
05-02-2026Readings shared February 4, 2026
03-02-2026Reseña de «Recent advances in LLMs for mathematics»
31-01-2026Reseña de «Aristotle, an AI theorem prover using Lean»
30-01-2026Readings shared January 29, 2026
25-01-2026Readings shared January 24, 2026
24-01-2026Reseña de «Sobre la resolución de problemas de Erdős usando inteligencia artificial generativa»
09-12-2025Reseña de «The story of Erdős problem #1026»
07-12-2025Reseña de «50 years of proof assistants»
28-07-2025Readings shared July 27, 2025
26-07-2025Readings shared July 25, 2025
28-06-2025Readings shared June 27, 2025