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

Reseña de «To grieve, or not to grieve? (Mathematics and AI)». jaalonso.github.io/vestigium/po... #AI4Math

To grieve, or not to grieve? (Mathematics and AI). ~ Kevin Buzzard. xenaproject.wordpress.com/2026/10/01/t... #AI4Math

What did the Lean proof of Fermat's Last Theorem formalize? ~ Justin Asher. justinasher.me/what-did-the... #LeanProver #ITP #AI4Math

Formalize everything, now! ~ Justin Asher. justinasher.me/formalize-ev... #LeanProver #ITP #AI4Math

Reseña de «AI solves a ‘holy grail’ problem from probability theory». jaalonso.github.io/vestigium/po... #AI4Math

The Odlyzko–Poonen conjecture on irreducibility of random polynomials. ~ Constantin Kogler. arxiv.org/abs/2609.26771 #LeanProver #ITP #AI4Math