The readings shared in Bluesky on 7 August 2025 are

• Thinking machines: Mathematical reasoning in the age of LLMs. ~ Andrea Asperti, Alberto Naibo, Claudio Sacerdoti Coen. #AI #LLMs #Math #ITP #LeanProver
• Goedel-Prover-V2: Scaling formal theorem proving with scaffolded data synthesis and self-correction. ~ Yong Lin et als. #LLMs #AI #ITP #LeanProver #Math