Publicaciones sobre AI4Math

11-03-2026Reseña de «Mathematicians in the age of AI»
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
05-02-2026Readings shared February 4, 2026
30-01-2026Readings shared January 29, 2026
25-01-2026Readings shared January 24, 2026
28-07-2025Readings shared July 27, 2025
26-07-2025Readings shared July 25, 2025
28-06-2025Readings shared June 27, 2025