No one has any obligation to ever look at anything OAI publishes.

Ironically though, what I imagine will happen, is that the researchers will pay OAI to use chatGPT to help eval the proofs.

▲

tffrt 33 minutes ago | parent [-]

This is a comment in poor taste.

You have the frontier labs who are marketing that it’s over and they’re building intelligent machines and you’re saying the mathematicians should ignore it? Ok

	▲	WarmWash 15 minutes ago \| parent \| next [-]
		I'm not sure how you construed that, so let me be more precise. Mathematicians, as autonomous entities with no formal connection to any AI lab, have zero obligation to do any work for those labs. OAI can't do anything if all the mathematicians band together and say "Sorry, we're not interested". If they do chose to engage, they are doing so entirely voluntarily, and it would strongly indicate, if they are voluntarily doing it for free, that there is value (i.e. compensation, payment, barter, worthwhile, whatever) to be had by digging in.
	▲	charcircuit 14 minutes ago \| parent \| prev [-]
		Whether you should do something and whether you are free not to do it are different things.