Given the capabilities of OpenAI's unreleased model, I think the model helps mathematicians more than it hurts them. Some of the open problems that were solved were "It would be nice to know that", but many of the others represented ways in which we had been stuck for many years. There had been very little progress on analytic number theory, particularly the Riemann hypothesis or its variants. (One result, "no Landau-Siegal zeroes", even had a 10-page elementary proof that everyone missed for a century.) Complexity theory had seemingly more open questions than results. Progress could meaningfully accelerate now that we have a quick test of which of our ideas are good, and which are bad.

The wildcard is that we have no idea what the model after that will be capable of, or the model after that.

▲ qnleigh a day ago | parent [-]

> I think the model helps mathematicians more than it hurts them

I would agree with you if these models were available to mathematicians, and OpenAI wasn't effectively competing with them by spending millions of dollars in compute to rush out solutions.

	▲	aurareturn 13 hours ago \| parent [-]
		`if these models were available to mathematicians` $/token/intelligence is dropping exponentially. Soon, they will have access. Why do I get this feeling that people who complain about these models not being accessible are the same ones who are anti-data center build out, thinks AI is in a bubble, and thinks AI labs are evil. In other words, they want cheap, available access to highly intelligent models, but they believe everything about AI industry is wrong.