Las lecturas compartidas en Mastodon el 27 de mayo de 2024 son

• Lecturas compartidas el 26 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #Go #Math
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Un número es par si y solo si lo es su cuadrado". #ITP #Lean4 #IsabelleHOL #Math
• Proofs for a price: Tomorrow’s ultra-rigorous mathematical culture. ~ Silvia De Toffoli. #Math #ITP
• Poincaré on the value of reasoning machines. ~ Colin McLarty. #Math #ITP
• AlephZero and mathematical experience. ~ Simon DeDeo. #Math #AI #ITP
• Working with machines in mathematics. ~ Alex Davies. #Math #MachineLearning
• Automated mathematics and the reconfiguration of proof and labor. ~ Rodrigo Ochigame. #Math #ITP
• Machine Learning and Information Theory Concepts towards an AI Mathematician. ~ Yoshua Bengio and Nikolay Malkin. #Math #AI #ITP
• How to calculate pi in a new way. ~ Mahdi Sasar (@MahdiSasar@mathstodon.xyz). #Math