Comment by embedding-shape

We absolutely also need full and complete peace on earth and no more wars, but what we need isn't always what is feasible to get in real life. "No-AI proofs" falls into that bucket of "Would be nice to have, but very infeasible to actually create".