Publicaciones sobre AI4Math

23-04-2026Matemáticas en la era de la IA: demostraciones rápidas, comprensión lenta
22-04-2026Reseña de «The fall of the theorem economy (How AI could destroy mathematics and barely touch it)»
20-04-2026Readings shared April 19, 2026
16-04-2026Reseña de «Automated conjecture resolution with formal verification»
15-04-2026Readings shared April 14, 2026
14-04-2026Reseña de «Lectures on AI for mathematics»
14-04-2026Reseña de «The agentic researcher: A practical guide to AI-assisted research in mathematics and machine learning»
14-04-2026Reseña de «The AI revolution in math has arrived»
13-04-2026Reseña de «AI and Isabelle: Experiences and perspectives»
10-04-2026Reseña de «Munkres' general topology autoformalized in Isabelle/HOL»
10-04-2026Readings shared April 9, 2026
05-04-2026Readings shared April 4, 2026
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-10-2025Reseña de «Gauss – towards autoformalization for the working mathematician»
18-10-2025Reseña de «Ax-Prover: A deep reasoning agentic framework for theorem proving in mathematics and quantum physics»
28-07-2025Readings shared July 27, 2025
26-07-2025Readings shared July 25, 2025
11-07-2025Reseña de «AI for mathematical discovery (symbolic, neural and neuro-symbolic methods)»
28-06-2025Readings shared June 27, 2025
19-06-2025Reseña de «Can A.I. quicken the pace of math discovery?»
10-06-2025Reseña de «AI for math: The future of collaborative discovery»
05-06-2025Reseña de «What's next for AI and math»