The readings shared in Bluesky on 03 October 2025 are:

• Kevin Buzzard and Alex Kontorovich on the future of formal mathematics: A Mathlib initiative interview. ~ Oliver Nash. #ITP #LeanProver #Mathlib #Math
• The Mathlib initiative (Building the digital foundation of mathematics). #ITP #LeanProver #Mathlib #Math
• Mathematics in the age of automated proofs: What do we tell our students about AI? ~ Akshay Venkatesh. #Math #AI
• Mathematics in the age of automated proofs: AlphaProof (From the lab into your hands). ~ Thomas Hubert. #AI #Math #ITP #LeanProver #AlphaProof
• Mathematics in the age of automated proofs: After Math (historical perspectives on automated intelligence). ~ Stephanie Dick. #AI #Math #ATP
• #Exercitium: Inserción en árboles binarios de búsqueda. #Haskell #ProgramaciónFuncional #Matemáticas