Polymath8 project

GPTKB entity