Posts de octubre de 2025

31-10-2025Reseña de «¿Cuándo podrá la Inteligencia artificial ayudarnos a demostrar teoremas?»
31-10-2025Readings shared October 30, 2025
30-10-2025Readings shared October 29, 2025
29-10-2025Readings shared October 28, 2025
28-10-2025Reseña de «Les IA vont-elles remplacer les mathématiciens?»
28-10-2025Reseña de «Gauss – towards autoformalization for the working mathematician»
28-10-2025Readings shared October 27, 2025
27-10-2025Readings shared October 26, 2025
26-10-2025Readings shared October 25, 2025
25-10-2025Readings shared October 24, 2025
24-10-2025Readings shared October 23, 2025
23-10-2025Readings shared October 22, 2025
22-10-2025Una refutación inusual del problema de Erdős
22-10-2025Readings shared October 21, 2025
21-10-2025Readings shared October 20, 2025
19-10-2025Readings shared October 18, 2025
18-10-2025Reseña de «Ax-Prover: A deep reasoning agentic framework for theorem proving in mathematics and quantum physics»
18-10-2025Readings shared October 17, 2025
17-10-2025Readings shared October 16, 2025
16-10-2025Readings shared October 15, 2025
15-10-2025Readings shared October 14, 2025
14-10-2025Readings shared October 13, 2025
12-10-2025Readings shared October 11, 2025
11-10-2025Readings shared October 10, 2025
10-10-2025Reseña de «Mathematicians’ new best friend?»
10-10-2025Readings shared October 9, 2025
09-10-2025Reseña de «Mathematics: The rise of the machines»
09-10-2025Readings shared October 8, 2025
08-10-2025Readings shared October 7, 2025
07-10-2025Readings shared October 6, 2025
05-10-2025Readings shared October 4, 2025
04-10-2025Readings shared October 03, 2025
03-10-2025Readings shared October 02, 2025
02-10-2025Readings shared October 01, 2025
01-10-2025Readings shared September 30, 2025