Posts de enero de 2026

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»
20-01-2026Readings shared January 19, 2026
15-01-2026Readings shared January 14, 2026
10-01-2026Readings shared January 9, 2026
05-01-2026Readings shared January 4, 2026