The readings shared in Bluesky on 2 February 2025 are

• Transitive union-closed families (in Isabelle/HOL). ~ Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson. #ITP #IsabelleHOL
• Notes on Gödel’s and Scott’s variants of the ontological argument (Isabelle/HOL dataset). ~ Christoph Benzmüller, Dana Scott. #ITP #IsabelleHOL
• DeepSeek: A breakthrough in AI for math (and everything else). ~ David H Bailey. #DeepSeek #Math
• Some lessons from the OpenAI-FrontierMath debacle. ~ 7vik. #AI #Math
• Kazimierz Kuratowski, el talento y el compromiso de un matemático de Varsovia. ~ Marta Macho Stadler. #Math