The dialectical theorem. ~ Thomas Koberda, Alex Kontorovich. proofsandprompts.com/2026/10/14/t...
@jalonso.eurosky.social
@jalonso.eurosky.socialThe dialectical theorem. ~ Thomas Koberda, Alex Kontorovich. proofsandprompts.com/2026/10/14/t...
@jalonso.eurosky.socialFormalizing flag algebras in Lean. ~ Gyeongwon Jeong, Seonghun Park, Jihoon Hyun, Sang-il Oum, Hongseok Yang. arxiv.org/abs/2607.23500
@jalonso.eurosky.socialOn our existential crisis and trustworthy AI. ~ Michel Schellekens. proofsandprompts.com/2026/10/11/o...
@jalonso.eurosky.socialTransforming mathematics. ~ Benjamin Braun. proofsandprompts.com/2026/10/11/t...
@jalonso.eurosky.socialFree inquiry in mathematics. ~ Thomas Sinclair. proofsandprompts.com/2026/10/12/f...
@jalonso.eurosky.socialWeekly reads: Oct 5 – Oct 11, 2026. jaalonso.github.io/vestigium/po...
#AI4Math #Autoformalization #CAS #FunctionalProgramming #Haskell #IsabelleHOL #ITP #LeanProver #Logic #Math #RetoLean4 #RocqProver
@jalonso.eurosky.socialCould AI help mathematics escape the meritocracy trap? proofsandprompts.com/2026/10/09/c...
@jalonso.eurosky.socialWhat mathematicians should know about the Lean Theorem Prover: questions of reliability and AI. ~ Thomas Hales. terrytao.wordpress.com/2026/10/09/w...
@jalonso.eurosky.socialMath 2.0. ~ Terence Tao. terrytao.wordpress.com/2026/10/10/m...
@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...