Advancing mathematics research with AI-driven formal proof search. ~ George Tsoukalas et als. arxiv.org/abs/2605.22763
@jalonso.eurosky.social
@jalonso.eurosky.socialAdvancing mathematics research with AI-driven formal proof search. ~ George Tsoukalas et als. arxiv.org/abs/2605.22763
@jalonso.eurosky.socialDebate sobre Matemáticas e IA: IA en EDPs. ~ Javier Gómez Serrano. rsme.es/wp-content/u...
@roundsparrow.bsky.social#Maths #Math #Mathematics #OpenAI #ChatGPT
#ArtIntelOpera #Situ202610
#MathAI #ai4math #FWakeMath
#MediaEcologyStandingUp
#FWake20261009 /\ #AcademicMath
Young adult in final year of #PHD #student and concerns about the future.
Sophie Maclean #SophieMaclean
@jalonso.eurosky.socialAIProver: agentic auto-formalization of mathematical research via certificate-driven evolving harness. ~ Prithwish Jana et als. arxiv.org/abs/2610.053...
@jalonso.eurosky.socialAgentic approach to computer algebra systems. ~ Bartosz Naskręcki et als. www.renaissancephilanthropy.org/agentic-appr...
@jalonso.eurosky.socialAI for Math Fund: 2026 Winners. www.renaissancephilanthropy.org/ai-for-math-...
@jalonso.eurosky.socialAn AI-assisted formalization of the Poincaré conjecture. ~ Zhiyuan Zhang, Axel Delaval, Leheng Chen, Jinxuan Chen, Jie Xu, Yuxuan Liao, Jiedong Jiang, Chunlei Liu, Bin Dong. arxiv.org/abs/2610.083...
@jalonso.eurosky.socialLeanAutoformalizationSkills: A collection of skills for using Codex or Claude Code to formalize mathematics in Lean 4. ~ Scott Armstrong. github.com/scottnarmstr...
@jalonso.eurosky.socialAutoformalization is now very easy. ~ Scott Armstrong. www.scottnarmstrong.com/2026/10/auto... #LeanProver #ITP #AI4Math #Autoformalization
@jalonso.eurosky.socialReseña de «The future of mathematics». jaalonso.github.io/vestigium/po... #AI4Math
@jalonso.eurosky.socialThe future of mathematics. ~ Jeremy Avigad. terrytao.wordpress.com/2026/10/05/t...
@jalonso.eurosky.socialReseña de «Navigating the risks of AI in academia». jaalonso.github.io/vestigium/po... #AI4Math
@jalonso.eurosky.socialNavigating the risks of ai in academia. ~ Sahana Balasubramanya. proofsandprompts.com/2026/10/06/n... #AI4Math
@jalonso.eurosky.socialReseña de «Is mathematics over, or just graduating?» jaalonso.github.io/vestigium/po... #AI4Math
@jalonso.eurosky.socialIs mathematics over, or just graduating? ~ Christian Szegedy. docs.google.com/document/d/e... #AI4Math
@jalonso.eurosky.socialReseña de «Is AI the end of math as we know it?» jaalonso.github.io/vestigium/po... #AI4Math
@jalonso.eurosky.socialIs AI the end of math as we know it? ~ Jordana Cepelewicz. www.quantamagazine.org/is-ai-the-en... #AI4Math
@jalonso.eurosky.socialSolving open research problems together (Mathematicians and Muse Spark collaborate on six research papers). research.meta.ai/blog/solving... #AI4Math
@jalonso.eurosky.socialWeekly reads: Sep 28 – Oct 4, 2026. jaalonso.github.io/vestigium/po... #AI4Math #Agda #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #RocqProver
@jalonso.eurosky.socialReseña de «Why I became a professional mathematician». jaalonso.github.io/vestigium/po... #AI4Math