4 ms·
I note that it is always the same online pundits (even if they are distinguished academics) who push anything new. Meanwhile Wiles and Perelman stayed offline
by qwrahg 5mo ago
I note that it is always the same online pundits (even if they are distinguished academics) who push anything new.
Meanwhile Wiles and Perelman stayed offline and solved real problems.
- DoctorOetker 5mo agowould Wiles be willing to transcribe his proof for the metamath verifier? it can be done offline indeed...
- williamstein 5mo agohttps://github.com/ImperialCollegeLondon/FLT https://github.com/ImperialCollegeLondon/FLT
- DoctorOetker 5mo agoI asked about Wiles, because others frequently run into issues while formalizing.
- robot-wrangler 5mo agoI don't necessarily think engaging in the personalities is interesting, but I'm struggling to see what is the beef here. Is it personalities? Pure vs applied math? Or AI?