4 ms·
Also wanted to say: People have been taking a go at this for many years now. Grapevine says that several large CS departments in many countries have groups of
by teton_ferb 9y ago
Also wanted to say:
People have been taking a go at this for many years now. Grapevine says that several large CS departments in many countries have groups of graduate students devoted to solving sub-problems of the entire proof because it is a prestige issue. Extraordinary claims require extraordinary proof and any proof will go through multiple peer reviews.
Perelman's proof of Poincare Conjecture was studied for several months before being declared true (~3 years) and that was considered "fast".
https://en.wikipedia.org/wiki/Grigori_Perelman#Perelman.27s_proof https://en.wikipedia.org/wiki/Grigori_Perelman#Perelman.27s_...
- Ar-Curunir 9y agoNo TCS grad student I have talked to has had this experience... Almost everybody in the field knows we're far from an actual proof with current techniques.