Re:The ABC conjecture has still not been proved
by xamuel on Thursday December 21, 2017 @12:52PM
(#15981042)
Counterexample: The Four Color Theorem (which states that any 2-dimensional map can be colored with four colors such that no two bordering countries have the same color). It is considered proven even though the proof involves a giant computer verification which certainly can't be explained in under 100s of hours.
[ Parent
| on HN ]
Re:The ABC conjecture has still not been proved
by ewrcoffee on Thursday December 21, 2017 @01:07PM
(#15981205)
I would expect one can reason about the program of the proof in less than 100 hours, which is essentially the proof.
Re:The ABC conjecture has still not been proved
by wolfgke on Thursday December 21, 2017 @05:22PM
(#15983388)
> Counterexample: The Four Color Theorem (which states that any 2-dimensional map can be colored with four colors such that no two bordering countries have the same color). It is considered proven even though the proof involves a giant computer verification which certainly can't be explained in under 100s of hours.
There exists a proof of the Four Color Theorem by Georges Gonthier that has been verified in Coq:
> https://www.ams.org/notices/200811/tx081101382p.pdf
> http://www.cse.chalmers.se/edu/year/2015/course/DAT140/Gonth...