Lecturas compartidas el 27 de marzo de 2024
#AI #Blog #DeepLearning #Hugo #ITP #LeanProver #MachineLearning #Math
Buenos días
Las lecturas compartidas en Mastodon el 27 de marzo de 2024 son
Lecturas compartidas el 26 de marzo de 2024. #ChatGPT #ITP #IsabelleZF #LLMs #Math #Programming #Python
Formal verification of the empty hexagon number. ~ Bernardo Subercaseaux, Wojciech Nawrocki, James Gallicchio, Cayden Codel, Mario Carneiro, Marijn J. H. Heule. #ITP #LeanProver #Math
Hallucinations of AI science models. ~ Wayne Joubert. #AI #MachineLearning #DeepLearning #Math
Writing math with Hugo. #Blog #Hugo #Math
También están en GitHub.
Saludos, José A.
"Si hay algo que tomo en serio es el no tomar nada en serio." ~ Francis Picabia (1879-1953).
