OpenAI said 10,000 of its agents solved the 90-year-old Navier-Stokes problem in 88 hours. The company, which is behind ChatGPT, said it used a system of 10,000 "coordinating agents" powered by its ...
On Thursday, Google DeepMind announced that AI systems called AlphaProof and AlphaGeometry 2 reportedly solved four out of six problems from this year’s International Mathematical Olympiad (IMO), ...