[DaiPlusPlus]

Prevents embarrassment if it turns out one’s idea is wrong, I suppose.

[someplaceguy]

The person in question formalized the entire proof in Coq, which certifies its correctness.

To me, that makes your conjecture very unlikely to be true...