The readings shared in Bluesky on 4 November 2025 are:

• Is this the end of handwritten math? Introducing Lean. ~ Ank Yog. #ITP #LeanProver #Math
• Quel sera l’impact de l’IA sur les mathématiques dans les prochaines années? - Timothy Gowers. #AI #Math #ITP #LeanProver