The readings shared in Bluesky on 16 November 2025 are:

• To have machines make math proofs, turn them into a puzzle. ~ John Pavlus. #AI #Math #ATP #SatSolvers
• SITA: A framework for structure-to-instance theorem autoformalization. ~ Chenyi Li, Wanli Ma, Zichen Wang, Zaiwen Wen. #AI #Math #Autoformalization #LLMs #ITP #LeanProver
• #Exercitium: Repetición cíclica. #Haskell #ProgramaciónFuncional