Cardano Founder Surprised by AI's Rapid Progress in Formal Mathematics
Charles Hoskinson, founder of Cardano, recently expressed surprise at the rapid progress made by artificial intelligence in formal mathematics. Speaking on September 9, he stated that AI had advanced further than expected in this area.
Hoskinson's comments follow OpenAI's announcement that its internal system produced a solution to the Navier--Stokes Millennium Prize Problem. This problem has been deemed 'unsolved' by the Clay Mathematics Institute since 2000, with a $1 million prize attached to finding a solution.
OpenAI claimed that an internal model coordinated roughly 10,000 agents and produced a proposed solution after 88 hours. The company also released an analytical paper and Lean code, which provide machine-checkable verification of the encoded steps.
Hoskinson raised concerns about the privacy of researchers submitting unpublished work to centralized cloud AI systems. He noted that OpenAI denied accessing private work but could not exclude de-identified usage data influencing model improvements.