OpenAI shares they have made substantial progress on another Millennium problem

OpenAI researchers have reported progress on a mathematical challenge known as the Birch and Swinnerton-Dyer conjecture, one of the seven Millennium Prize Problems. By using automated reasoning tools to prove specific instances of the conjecture, the team demonstrated that artificial intelligence can assist in solving complex problems in pure mathematics. This development suggests a shift in how computational methods may eventually support formal mathematical research.