/sci/, will you ever solve a 300 year old unsolved math problem?
http://www.npr.org/sections/thetwo-way/2016/03/17/470786922/professor-who-solved-fermat-s-last-theorem-wins-math-s-abel-prize
Modularity theorem is some cool shit senpai
He made an arithmetic mistake on page 173
>>7938421
>/sci/, will you ever solve a 300 year old unsolved math problem?
It was solved 300 years ago but the proof was not published.
>>7938444
If the proof was not published, then the problem was not solved. Try again.
this shit took 12 years to verify. shit.
Yeah P=EXPSPACE
>>7938454
When does a problem count as solved? Obviously, the solution to any mathematical problem already exists in the sense that it just needs to be thought or written down. But once a person does that, isn't that enough? If he tells a friend, a colleague? A secret circle? A wider audience? Where do we draw the line, and why?
If it's just about mass availability, what about comprehensibility? Did Mochizuki prove the abc conjecture the moment he published his writings, even though barely anybody could follow it?
>>7938492
>Did Mochizuki prove the abc conjecture the moment he published his writings, even though barely anybody could follow it?
They haven't been published.
Pretty sure Fermat had a proof. That nigger ran a tight shop.
>>7938444
The proof was already done. Fermat just had to feed the cat and the margin on the side of his boom just wasn't big enough for the proof
>>7938454
>if the NSA doesn't show us their quantum computers they don't exist
kekkeroni makkaroni
>>7938540
So did Euler, but he still fucked up his proof of a special case of it. There are some subtleties that come up in this problem.