Imagination has never been the most intractable problem in the physics of warp drive; it has been bookkeeping. The Alcubierre concept of 1994, the celebrated one, fits in the general relativity theory ...
AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we can't verify them. How will we know if they're right?