Your wiktionary link indicates it is not a common expression in English but instead something "rationalist community" people say.
HN is a rationalist community hangout.
we're reading comments on a post about math proofs
No it's not. Where do you come up with this? Just because you searched the phrase on Google and there's a single result for it on a wiki? Who do you know that's using this expression regularly?