The readings shared in Bluesky on 9 November 2025 are:

• Towards formalizing reinforcement learning theory. ~ Shangtong Zhang. #ITP #LeanProver
• The philosophical prospects of Large Language Models in the future of mathematics. ~ Fenner Stanley Tanswell, Ásgeir Berg. #AI #Math