The readings shared in Bluesky on 2 May 2025 are

• A proof of concept tool to verify estimates. ~ Terence Tao. #Math #AI #LLMs #ChatGPT #Python
• Advancing mathematics by guiding human intuition with AI. ~ Alex Davies et als. (2021). #Math #AI
• Semantics of probabilistic programs using s-finite kernels in dependent type theory. ~ Reynald Affeldt, Cyril Cohen, Ayumu Saito. #ITP #Rocq
• DeepIsaHOL progress report: current machine learning for the Isabelle proof assistant. ~ Jonathan Julián Huerta y Munive. #ITP #IsabelleHOL #LLMs
• Frontier of formal theorem proving with large language models: Insights from the DeepSeek-Prover. ~ Huajian Xin. #ITP #LeanProver #LLMs #DeepSeek
• Automated theorem provers as the hub of the AI math ecosystem. ~ Stephan Schulz. #Math #AI #ITP