Andrea @valkyrie.hacker.gf · 23d When they realize this "you can just brute-force the space of all possible proofs" conspiracy theory makes no sense, they're going to switch to "they're stealing proofs from Erdős' god's book"
27 likes 5 replies
?
Replies
...to be fair to them, a couple of the high-profile ones recently have been counterexamples
solving is simple; just eliminate all non-proof statements, leaving proof behind
I mean "How would Erdős solve this" isn't a bad starting point, unless you let a few little things like "by being way smarter than me" get in your way.
Why yes, conspiracists, people who solve 87-year-old open problems definitely just give them away without publication or credit
Jean le Flambeur will return in: The Akashic Record heist .