Readings shared October 31, 2025
The readings shared in Bluesky on 31 October 2025 are:
- Virasoro algebra and Sugawara constructions formally in Lean. ~ Kalle Kytölä. #ITP #LeanProver #Math
- Derivation of fundamental physical constants from substrate ontology. ~ Matthew Scherf. #ITP #LeanProver #Physics
- Conjecture extraction for proof autoformalization. ~ Simon Sorg, Wenda Li, Soumya Banerjee. #AI #Math #ITP #LeanProver #Autoformalization
- Accelerating discovery with the AI for Math Initiative (The initiative brings together some of the world's most prestigious research institutions to pioneer the use of AI in mathematical research). ~ Pushmeet Kohli, Eugénie Rives. #AI #Math
- GenAI for computing careers: A sunny take (Positive outcomes for computer science graduates will take some determined action from both educators and learners). ~ Saurabh Bagchi. #GenAI #CompSci #Education
- #Exercitium: Extensión de un fichero. #Haskell #ProgramaciónFuncional