Lecturas compartidas el 1 de abril de 2024

#AI #CompSci #DeepLearning #GPT #Haskell #ITP #LLMs #LeanProver #MachineLearning #Math #NeuralNetwork #Python

Buenos días

Las lecturas compartidas en Mastodon el 1 de abril de 2024 son

• Lecturas compartidas el 31 de marzo de 2024. #Automath #Emacs #Haskell #ITP #Matemáticas #Math #OrgMode #Pandoc #Python

• #Exercitium: Máximos locales. #Haskell #Python #Matemáticas

• How machines can make mathematics more congressive. ~ Eugenia Cheng. #CompSci

• Some thoughts on automation and mathematical research. ~ Akshay Venkatesh. #Math #CompSci

• Mathematics, word problems, common sense, and artificial intelligence. ~ Ernest Davis. #Math #AI #LLMs #GPT

• Abstraction boundaries and spec driven development in pure mathematics. ~ Johan Commelin, Adam Topaz. #Math #ITP #LeanProver

• Strange new universes: Proof assistants and synthetic foundations. ~ Michael Shulman. #Math #ITP #LLMs

• Mathematical reasoning and the computer. ~ Kevin Buzzard. #Math #AI #NeuralNetwork #LLMs #ITP #LeanProver

• Automation compels mathematicians to reflect on our values. ~ Michael Harris. #Math #AI

• Is deep learning a useful tool for the pure mathematician? ~ Geordie Williamson. #Math #AI #DeepLearning

• Mathematics and the formal turn. ~ Jeremy Avigad. #Math #AI #ITP #MachineLearning

• Proof in the time of machines. ~ Andrew Granville. #Math #ITP

También están en GitHub.

Saludos, José A.

---

"Somos nuestras elecciones." ~ Jean-Paul Sartre (1905-1980).