Cardano founder weighs OpenAI’s math breakthrough

Cardano founder Charles Hoskinson said on Sept. 9 that artificial intelligence had advanced further in formal mathematics than he expected. Summary Cardano founder Charles Hoskinson said artificial intelligence’s mathematical progress considerably exceeded his earlier expectations publicly. OpenAI says roughly 10,000 agents produced a Navier–Stokes solution within 88 hours of work total. Clay still classifies Navier–Stokes as unsolved pending publication, review and broad mathematical acceptance worldwide today. Hoskinson raised confidentiality concerns for researchers entering unpublished work into centralized cloud AI systems online. OpenAI denied accessing private work but could not exclude de-identified usage data influencing model improvements. His comments followed OpenAI’s claim that an internal system produced a solution to the Navier–Stokes Millennium Prize Problem. During a broadcast, Hoskinson called the reported capabilities “pretty remarkable.” However, he also addressed unresolved questions about the work’s provenance and the privacy of research submitted to cloud-based AI services. You might also like: Cardano ships node 11.1.1 ahead of Dijkstra Cardano founder says AI moved beyond collaboration tools Hoskinson said he originally expected formal systems to help larger teams of mathematicians collaborate and verify human-written proofs. He did not expect large language models to generate complete proofs themselves so soon. “We never anticipated the extent to which AI would come in,” Hoskinson said. He added that the idea of AI fully writing a proof had previously appeared “pretty far out.” Hoskinson has a direct connection to formal mathematics research. In 2021, he donated $20 million to Carnegie Mellon University to establish the Hoskinson Center for Formal Mathematics, according to the university’s announcement. His latest comments also fit Cardano’s broader experimentation with artificial intelligence. As crypto.news previously reported, Hoskinson has defended Cardano AI agent experiments involving communications, community activity and the privacy-focused Midnight ecosystem. OpenAI claims its system resolved Navier–Stokes OpenAI published its research on Sept. 8. The company said an internal model coordinated roughly 10,000 agents and produced a proposed solution after 88 hours. GPT-6 Astra then spent another 17 hours formalizing and checking the argument in Lean. The proof attempts to establish that an initially smooth, stationary fluid can develop a singularity in finite time when subjected to a smooth external force. OpenAI said this satisfies statements C and D in the official Millennium Prize formulation. The company also released an analytical paper and Lean code. A Lean formalization provides machine-checkable verification that the encoded steps follow from the stated assumptions. It does not independently establish that every definition and assumption accurately represents the intended mathematical problem. OpenAI said it does not plan to seek the associated $1 million prize. The company nevertheless described its work as a resolution of the problem.