They ingested all of his sessions with their SOTA models from a few months ago. ;)

ndriscoll 2 hours ago | parent | next [-]

Crazy how all these problems were simultaneously on the precipice of being solved before ScoopenAI (I came up with that) stole their work. The rate that mathematicians have suddenly made progress is only bested by the rate that OAI has ramped up their theft haha it's nuts. Good thing it'll never get better at explaining ideas though (since they're all stolen) so there'll still be that.

▲

digitaltrees 3 hours ago | parent | prev [-]

The fact that this is plausible should be deeply disturbing and disqualifying for openAI. The fact that they may prevail and win is a travesty of our failed system.

▲

zeroonetwothree 3 hours ago | parent | next [-]

What does "win" mean? There is no prize for this, and having someone discover a proof benefits us all.

	▲	vuurmot 3 hours ago \| parent \| next [-]
		The prize is a tenure for the researcher, and in OpenAI's case, a higher valuation when they IPO? In this case, the tenure is gone, and OpenAI has increased their valuation
	▲	breezybottom 3 hours ago \| parent \| prev [-]
		Sure there is. A job, tenure, professional respect, Fields medal.

▲

fnordpiglet 3 hours ago | parent | prev [-]

Disqualifying for what? If you develop a proof you aren’t competing for something, you’re expanding the frontier of knowledge. It’s a binary state of the world, either it’s proven or not. Prevail and win what exactly?