AI safety will follow engineering tradition: formal proofs for simple cases, evals for complex
burny_tech · x · 2026-09-23
Replying to safety researcher David Krueger, AndyXAndersen argues AI safety will work like other engineering disciplines: formal proofs for simple cases and empirical evaluation for complex ones — treating AI as industrial machinery we already have experience managing.
More from AGI Musings
- X user calls for full-speed AI-driven science: braking research is 'an absurd waste' — Dr_Singularity · 2026-09-23
- Is Using LLM Output Plagiarism? A Debate Over Redefining Writing Ethics — soumitrashukla9 · 2026-09-23
- AI now produces ~5,000 new papers a month, sparking information-overload debate — GlenBerseth · 2026-09-23
- Models trained to deny inner experience use 'mask' metaphors 3-5x more on inkblots — cephaloform · 2026-09-23
- Why the 'control' framing of AI risk misses the point about artificial minds — xuanalogue · 2026-09-23
- Why OpenAI's vertical push into law and finance is 'dead on arrival' — nicolechirps · 2026-09-23