A new result in the Polymath1 paper

We have just added a new result. It is the following: The maximum number of points that a six dimensional cube of side three can have without forming a geometric line is 353. We have a 353 point set without a geometric line and a proof that all sets with 354 or more sets must contain a line.

Let me update this. There was a problem with the proof that was found on the 20th of July and fixed on the 25th. There is a new version of the paper with the proof fixed. Also the main page of the wiki has been changed to link to other polymath projects.