The end result: a text file that comes in at a gigantic size of 200 terabytes.
It was first proposed back in the 1980s by mathematician Ronald Graham.
He also offered a prize of US$100 for anyone who could solve it.
Earlier this month, he duly presented the cheque to one of the three computer scientists, Marijn Heule.
It uses both look-ahead methods and CDCL solvers.
The researchers then verified the proof using another computer program.
The study has been published onNature.
source: www.techworm.net
