Differences

This shows you the differences between two versions of the page.

--- ia_math [2026/08/24 16:17] – ["Hitos" de los LLM en la matemática] mvaldes
+++ ia_math [2026/09/15 13:04] (current) – [Declarations] mvaldes
@@ Line 1: / Line 1: @@
-====== Matemática e Inteligencia Artificial ======
+====== Math and Artificial Intelligence ======
-Particularmente a partir de la generalización del uso del Lenguaje Natural y los LLM (Large Language Model).
+About the generalization of the use of Natural Language and LLM's (Large Language Models) in Math.
-===== Ensayos de reflexión =====
+===== Essays =====
+  * Thoughts about the Leiden Declaration. Timothy Gowers. 26/07/26 [[https://gowers.wordpress.com/2026/07/26/thoughts-about-the-leiden-declaration/ | post]]
   * Reaping without sowing (cosechar sin sembrar). Tobias Osborne. 02/08/26 [[https://tjoresearchnotes.wordpress.com/2026/08/02/reaping-without-sowing/ | post]]
@@ Line 12: / Line 14: @@
-  * Mathematics in the Age of AI. Trence Tao. 17/08/26 [[https://www.youtube.com/watch?v=M0--ZH1lOzg | ICM 2026 Conference]] [[https://arxiv.org/abs/2608.16753 | arXiv]]
+  * Mathematics in the Age of AI. Terence Tao. 17/08/26 [[https://www.youtube.com/watch?v=M0--ZH1lOzg | ICM 2026 Conference]] [[https://arxiv.org/abs/2608.16753 | arXiv]]
-===== Declaraciones =====
+===== Declarations =====
-  * Declaración de Montevideo sobre Inteligencia Artificial y su impacto en América Latina. Khipu. 10/03/23 [[https://zenodo.org/record/8208793 | Zenodo]]
+  * Declaración de Montevideo sobre Inteligencia Artificial y su impacto en América Latina. [[https://khipu.ai/ | Khipu]] Conference. 10/03/23 [[https://zenodo.org/record/8208793 | Declaration]]
   * Leiden Declaration. 02/06/26. [[https://leidendeclaration.ai/ | web]] [[https://en.wikipedia.org/wiki/Leiden_Declaration_on_Artificial_Intelligence_and_Mathematics | Wikipedia]]
+  * A Severe Misalignment of AI in Mathematics. 11/09/26. [[https://mathandai.org/ | Declaration]].
-===== "Hitos" de los LLM en la matemática =====
+===== "Milestones" of LLM's "solving" Math problems =====
   * Counterexample to the Erdős unit distance conjecture. OpenAI. 20/05/26 [[https://openai.com/index/model-disproves-discrete-geometry-conjecture/ | post]]
-  * Conjetura del Jacobiano: un siglo después de planteada, el modelo Claude Fable 5 de Anthropic obtuvo un contraejemplo para 3 o más variables (queda pendiente el caso de 2 variables). [[https://theconversation.com/hello-there-the-jacobian-conjecture-is-false-thanx-why-a-tiny-social-media-post-has-mathematicians-rethinking-ai-283883 | post]]
+  * Conjetura del Jacobiano: un siglo después de planteada, el modelo Claude Fable 5 de Anthropic obtuvo un contraejemplo para 3 o más variables (queda pendiente el caso de 2 variables). 19/07/26 [[https://theconversation.com/hello-there-the-jacobian-conjecture-is-false-thanx-why-a-tiny-social-media-post-has-mathematicians-rethinking-ai-283883 | post]]
   * Ten advances in mathematics. OpenAI. 01/08/26 [[https://openai.com/index/ten-advances-in-mathematics/ | post]]