Proof by authority works until human mathematicians actually run the code. Back to prompt engineering.