Reseña de «Navigating the risks of AI in academia». jaalonso.github.io/vestigium/po... #AI4Math

Navigating the risks of ai in academia. ~ Sahana Balasubramanya. proofsandprompts.com/2026/10/06/n... #AI4Math

Reseña de «Is mathematics over, or just graduating?» jaalonso.github.io/vestigium/po... #AI4Math

Is mathematics over, or just graduating? ~ Christian Szegedy. docs.google.com/document/d/e... #AI4Math

Reseña de «Is AI the end of math as we know it?» jaalonso.github.io/vestigium/po... #AI4Math

Is AI the end of math as we know it? ~ Jordana Cepelewicz. www.quantamagazine.org/is-ai-the-en... #AI4Math

Solving open research problems together (Mathematicians and Muse Spark collaborate on six research papers). research.meta.ai/blog/solving... #AI4Math

Weekly reads: Sep 28 – Oct 4, 2026. jaalonso.github.io/vestigium/po... #AI4Math #Agda #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #RocqProver

Reseña de «Why I became a professional mathematician». jaalonso.github.io/vestigium/po... #AI4Math

Why I became a professional mathematician. ~ Frank Vallentin. proofsandprompts.com/2026/10/02/w... #AI4Math

Reseña de «If math is more than proof, we need to better celebrate the rest of it». jaalonso.github.io/vestigium/po... #AI4Math

YAPOAI (Yet Another Post on AI): AI, understanding, and mathematical work. ~ Najib Idrissi. proofsandprompts.com/2026/10/03/y... #AI4Math

Proving at scale for universal algebra. ~ João Araújo, Jan Hula, Mikoláš Janota, Edmond W. H. Lee, Bartosz Naskrecki. people.ciirc.cvut.cz/~janotmik/ma... #LeanProver #ITP #AI4Math

Reseña de «If math is more than proof, we need to better celebrate the rest of it». jaalonso.github.io/vestigium/po... #AI4Math

If math is more than proof, we need to better celebrate the rest of it. ~ Grant Sanderson. terrytao.wordpress.com/2026/09/18/i... #AI4Math

Reseña de «Only Anatevka: the mathematical community's values, its incentives, and LLMs». ~ Ethan Sussman. proofsandprompts.com/2026/10/02/o... #AI4Math

Reseña de «AIM: an invitation to explore mathematics together». jaalonso.github.io/vestigium/po... #AI4Math

AIM, explained (Explanations of open applied mathematics). ~ Matthew Colbrook et als. mathematics-explained.com #AI4Math

AI for mathematical problems: an invitation for mathematicians. ~ Matthew Colbrook et als. github.com/MColbrook/AIM #AI4Math

AIM: an invitation to explore mathematics together. ~ Matthew Colbrook. terrytao.wordpress.com/2026/10/02/a... #AI4Math