Las lecturas compartidas en Mastodon el 26 de julio de 2024 son

• Lecturas compartidas el 25 de julio de 2024. #ITP #Lean4 #IsabelleHOL #Coq #Math #LLMs
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Las sucesiones divergentes positivas no tienen límites finitos". #ITP #Lean4 #IsabelleHOL #Math
• AI achieves silver-medal standard solving International Mathematical Olympiad problems. #AI #Math #IMO #Lean4 #AlphaProof #AlphaGeometry2
• Google DeepMind IMO 2024 Solutions. #AI #Math #IMO #Lean4 #AlphaProof #AlphaGeometry2
• Move over, mathematicians, here comes AlphaProof (A.I. is getting good at math — and might soon make a worthy collaborator for humans). ~ Siobhan Roberts. #AI #Math #IMO #Lean4 #AlphaProof
• To formalized mathematics and back with the Lean theorem prover. ~ Kyle Miller. #ITP #LeanProver #Math
• The mysteries and frustrations of numerical proofs. ~ Lawrence Paulson (@LawrPaulson@mathstodon.xyz). #ITP #IsabelleHOL #Math
• Formal verification of 2-3 trees in Coq. ~ Horia-Matei Cornea. #ITP #Coq
• Rivers: eventually constant streams in Haskell. ~ Brent Yorgey (@byorgey@mathstodon.xyz). #FunctionalProgramming #Haskell
• Types as interfaces. #FunctionalProgramming #Haskell