Readings shared July 23, 2025
The readings shared in Bluesky on 23 July 2025 are
- Seed-Prover: Reasoning wide and deep for automated math theorem proving. #AI #Math #LLMs #ITP #LeanProver
- Seed-Prover achieves IMO 2025 silver score. #AI #Math #LLMs #ITP #LeanProver
- #Exercitium: Problemas de programación con Haskell de febrero de 2020. #Haskell #ProgramaciónFuncional #Matemáticas