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?»
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-2025Reseña de «Will computers prove theorems?»
11-06-2025Readings shared June 10, 2025
10-06-2025Reseña de «The equational theories project»
10-06-2025Reseña de «AI for math: The future of collaborative discovery»
10-06-2025Reseña de «AlphaProof: When RL meets formal maths»
10-06-2025Readings shared June 9, 2025
09-06-2025Reseña «Inside the secret meeting where mathematicians struggled to outsmart AI»
08-06-2025Readings shared June 8, 2025
08-06-2025Más allá de la "ilusión de pensar"
08-06-2025Reseña «AutoGPS: Automated geometry problem solving via multimodal formalization and deductive reasoning»
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-2025Reseña de «What's next for AI and math»
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