Veit Schiele
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
Don Knuth names his latest work after Claude.ai

Veit Schiele 7 March 2026 3–4 minutes Donald Knuth at a reception for the Open Content Alliance © Jacob Appelbaum, ‘Shock! Shock!’ – with these words, Donald Knuth, Turing Award winner, creator of ...

cusy
Mar 7 at 12:53pmWeb
Show threadAndreas 🌈Mar 7

@veit From what I heard,

https://lean-lang.org/

is very popular and successful for mathematics proofs

Lean Programming Language

Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.

Lean Language
Show threadVeit SchieleMar 7
@zopyx Claude provided the concrete construction (Exploration 31) in the form of a #Python program, see also https://cs.stanford.edu/~knuth/even_solution.py
Show threadAndreas 🌈Mar 7
@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.
Show threadGinevraCatMar 7
@veit I have such mixed feelings about this.