A blog post invoking Hilbert’s “We must know—we will know” argues that software developers should keep raising abstraction levels, refactoring and adopting higher-level languages until code can be held in one’s head. Readers debate where that level lies, especially with AI-generated code, warning that vague prompts are not specifications and that agents may silently fill underspecified behavior with plausible but inconsistent output. They suggest formal specifications and verification may become essential as AI accelerates coding without replacing the need to understand and check the result.