Comment by bonzini
2 months ago
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.
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.
[dead]