Mini-polymath4 discussion thread.

Advertisements