Yeah it’s just one Millenium problem, no big deal. I was gonna crack quasi-Reimann next year anyway, just hadn’t gotten around to it.
All AI is good for is remixing frontier mathematics, there’s no way it could ever make its own. Right?
I hope it gets us somewhere new. You can hope that and appreciate it hasn't yet though. (I'm not part of their IPO)