Wir müssen wissen – wir werden wissen(remy.wang)
23 points by remywang | 4 comments
Blog essay tracing Hilbert's program through Gödel and Turing to AI proof agents, arguing programmers should keep reading and understanding AI-generated code.
#hilbert-program on Hacker News
1 story tagged hilbert-program, newest first.