It’s crazy how solving the Riemann Hypothesis via AI used to be a running gag, and now it’s actually being solved.
OpenAI is also using their new internal model to attempt the Riemann hypothesis and P versus NP, as well as some unnamed 'high impact problems'.