🏅 Top traders

This was an April Fool's market. Andrew Wiles proved Fermat right in 1994.

"If you can't explain a mathematical proof to your grandmother, it's not worth trusting." - Richard Feynman

@1941159478 Is there a proof of Fermat's Last Theorem?

@NcyRocks

https://en.m.wikipedia.org/wiki/Wiles%27s_proof_of_Fermat%27s_Last_Theorem

@JimHays 🤔 Interesting. Is there an ELI5 version? I don't quite understand how it works

@NcyRocks Base rate says NO

@NcyRocks
"Together, the two papers which contain the proof are 129 pages long,[4][5] and consumed over seven years of Wiles's research time."
So no, there's no ELI5, but the Wikipedia page has a Summary of Wiles's proof section.

Is this another April Fool's market?

@JimHays April Fool’s? It’s 00:02 on the 2nd of April in New Zealand.

@NcyRocks So... I’m hearing a “yes” to that question.

@JimHays I’ll tell you this: it shouldn’t matter. Ask not whether this market is for April Fool’s; ask only whether there exist positive integers a,b,c,x with x>2 such that a^x+b^x=c^x.