← Back to context

Comment by gus_massa

18 hours ago

> Has anyone actually gone through and fully understood the contents?

It happened before. For example in Wiles' proof of Fermat's Last Theorem it took like half a year until someone found an error, another year until Wiles and Taylor fixed the proof and another half year until it was reviewed and published. Add a few years until it was widely understood (where widely is a small set of people that excludes me for now). Now there are even shorter proof.

The new thing here is that we are seen the internal discussion published online. Also, the chatbots like to make long pdf, so expect to see a pile of intermediate pdf created by chatbots+humans until we get a nice proof that is widely understood (this is more related to my area, I have a hope that I may understand it).