Paraphrasing @stephen_wolfram, math is the study of which computations can be shortened. But there may be a phase diagram where the proof of shortening is itself an intractable computation.
Opus 5.5 fixes many of the issues in Fable 5.1 but he drops the ball constantly. We run a prototype, fine tune some parameters. Then he transitions it to production. It looks off. So, did you port the curve and its parameters? No, he just vibe coded a new naive implementation.
Ships have been traditionally low discipline, high variance compared to say aircraft (high discipline, low variance). Nuclear in the first type of environment is risky for human factors reasons.
I find rationalists to be earnest, intelligent people deeply committed to the betterment of humanity and willing to take ideas seriously — traits they share with fascists, communists, and religious fundamentalists.