[bonzini]

Wikipedia does have a rule allowing "routine calculations"

https://en.wikipedia.org/wiki/Wikipedia:No_original_research...

Of course given the magnitude of the statement a bit of care is warranted, but the rules do allow it.

[tptacek]

I think Wikipedia has very sane processes. I'm just saying that process isn't useful to this thread. It's like if I found a SHA2 collision. I'd probably have to be an absurdly talented (and lucky) cryptanalyst to do that, but anybody on the thread could trivially confirm my finding.