The readings shared in Bluesky on 7 June 2025 are

• The bizarre story of a maths proof that is only true in Japan. ~ Jacob Aron. #Math
• La disputa sobre la conjetura abc y el papel de la verificación formal. #Matemáticas #ITP #LeanProver