Wir müssen wissen – wir werden wissen
Summary
The essay traces the historical tension between Hilbert's program, Gödel, and Turing, and argues that AI-enabled proof systems are reshaping mathematics and computation. It cautions against abandoning deep understanding in favor of automated tools, urging researchers to engage critically with AI-generated proofs and to maintain the human-driven rigor behind scientific inquiry.