Hacker News new | past | comments | ask | show | jobs | submit login

I first read about his proof a year or two ago. I'm surprised so little progress has been made. Is there no formal collaborative effort in trying to verify his proof?

This seems like an opportunity to me. Host the proof (and ones like it) and allow commentators to annotate and explain parts, and then replace all the ambiguous parts with formal explanations.




Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: