There's a lot more detail in this reddit post from the author - https://www.redd...

		dpacmittal 16 days ago \| parent \| context \| favorite \| on: “Erdos problem #728 was solved more or less autono... There's a lot more detail in this reddit post from the author - https://www.reddit.com/r/OpenAI/comments/1q6yw5g/how_we_used...