Every story we've covered involving formal-methods.
OpenAI told the New York Times it has made "substantial progress" on a second Millennium Prize Problem after announcing a claimed solution to the Navier-Stokes problem on Sept. 8, but it did not identify which problem or give a timeline for disclosure. Online speculation centers on the Hodge Conjecture, while the Clay Mathematics Institute has not yet completed its review of OpenAI's Navier-Stokes submission and a credit dispute involving an external mathematician remains unresolved.
No stories here yet.