1 story in this blend

An AI system developed by OpenAI successfully proved a relaxed version of the Riemann hypothesis, a famous 160 year old math problem. The paper combines existing mathematical techniques in novel ways to narrow down the behavior of prime numbers. Mathematicians noted the achievement as a major milestone, though complete human verification of the proof is still underway.