Post #897252
2026-03-07 12:53 UTC
Donald Knuth is quite enthusiastic about his recent experiences with generative AI: https://cusy.io/en/blog/knuth-claudes-cycles.html
#Knuth #GenAI #AI #Claude #Anthropic
Replies (2)
-
@zopyx@mastodon.world 2026-03-07 13:54
@veit From what I heard, https://lean-lang.org/ is very popular and successful for mathematics proofs
-
@zopyx@mastodon.world 2026-03-07 14:05
@veit und einer meiner Buddies claimed eines der mathematischen Millennium Probleme mit Hilfe von AI gelöst zu haben...Paper hat er gerade in der Review.