The readings shared in Bluesky on 4 October 2025 are:

• Where is mathematics going? ~ Kevin Buzzard. #Math #ITP #LLM
• Functional data structures and algorithms: A proof assistant approach. ~ Tobias Nipkow (Ed.) #ITP #IsabelleHOL #FunctionalProgramming #Algorithms
• A formal Y86 simulator with CHERI features. ~ Carl Kwan , Yutong Xin, William D. Young. #ITP #ACL2
• IMProofBench: Benchmarking AI on research-level mathematical proof generation. ~ Johannes Schmitt et als. #AI #Math #LLMs