Whether or not it’s on par famously or difficulty level doesn’t predict whether the others will fall. They’re unique problems and math isn’t linear - the Jacobian it managed to find a counterexample and relied on other proofs that had been developed showing >3 case == 3 dimensional case. However, the Riemann may not fall in the same way because it may actually be true or the surrounding math isn’t quite ready to tackle that problem.

When I was in grad school we talked about the Jacobian conjecture as something that would never be solved, and not really even worth thinking about since it’s impossible. There’s been a lot more big open problems solved by AI than which reach the front page of news websites like this. Based on all of these problems getting solved fast I’m just saying I’d be surprised if the Riemann hypothesis lasts another year.

I would be genuinely very impressed - but still not scared - if the Riemann hypothesis were solved. I suspect that we may require “new math” to make progress on that. If a new operator / symbol is required, is that fundamentally not doable by an LLM because it’s outside of current tokenization space?

Obviously not, there's no need to create a new character for a new operation. You can just define it as @ or or any other symbol you want.