Posts de junio de 2025

30-06-2025Readings shared June 29, 2025
29-06-2025Readings shared June 28, 2025
28-06-2025Readings shared June 27, 2025
27-06-2025Readings shared June 26, 2025
26-06-2025Readings shared June 25, 2025
24-06-2025Readings shared June 23, 2025
23-06-2025Readings shared June 22, 2025
22-06-2025Readings shared June 21, 2025
21-06-2025Readings shared June 20, 2025
20-06-2025Lean obtiene el prestigioso «SIGPLAN Programming Languages Software Award 2025»
20-06-2025Readings shared June 19, 2025
19-06-2025Reseña de «Can A.I. quicken the pace of math discovery?»
18-06-2025Readings shared June 17, 2025
17-06-2025Readings shared June 16, 2025
16-06-2025Readings shared June 15, 2025
15-06-2025Reseña de «Hablemos de Lisp»
15-06-2025Reseña de «Hardest problems in mathematics, physics & the future of AI»
15-06-2025Readings shared June 14, 2025
14-06-2025Readings shared June 13, 2025
13-06-2025Reseña de «Mathesis: Towards formal theorem proving from natural languages»
13-06-2025Reseña de «MATP-BENCH: Can MLLM be a good automated theorem prover for multimodal problems?»
13-06-2025Readings shared June 12, 2025
12-06-2025Readings shared June 11, 2025
11-06-2025Reseña de 'LeanTutor: A formally-verified AI tutor for mathematical proofs'
11-06-2025El futuro del razonamiento matemático: Integrando IA y Lean
11-06-2025Readings shared June 10, 2025
10-06-2025El proyecto ETP (Un caso de estudio en investigación matemática colaborativa y formalizada)
10-06-2025El futuro de las matemáticas - Descubrimiento colaborativo entre humanos y máquinas
10-06-2025AlphaProof - Aprendizaje por refuerzo aplicado a la demostración matemática
10-06-2025Readings shared June 9, 2025
09-06-2025Evaluando la IA con problemas matemáticos inéditos de nivel experto
08-06-2025Readings shared June 8, 2025
08-06-2025AutoGPS - Un sistema neuro-simbólico para la geometría
08-06-2025Más allá de la "ilusión de pensar"
07-06-2025Readings shared June 7, 2025
07-06-2025La disputa sobre la conjetura abc y el papel de la verificación formal
06-06-2025Readings shared June 6, 2025
05-06-2025IA y matemáticas (presente y futuro)
05-06-2025Readings shared June 5, 2025
04-06-2025Readings shared June 4, 2025
03-06-2025Debate sobre IA y enseñanza de las matemáticas
03-06-2025Readings shared June 3, 2025
02-06-2025Readings shared June 2, 2025
01-06-2025Readings shared June 1, 2025