Readings shared October 03, 2025
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