Cardano Founder Stunned by AI's Surprising Math Breakthroughs

Charles Hoskinson, founder of Cardano, expressed surprise at the rapid progress of artificial intelligence in advanced mathematics. Speaking on a recent YouTube broadcast, he noted that AI systems have demonstrated extraordinary mathematical capabilities.

Hoskinson said that his earlier expectation was that formal mathematical systems would primarily allow larger groups of mathematicians to collaborate more effectively, but not enable the AI itself to fully write proofs. However, Large Language Models (LLMs) have surpassed expectations and achieved remarkable results.

Specifically, Hoskinson discussed claims surrounding an AI-generated approach to the Navier-Stokes Millennium Prize problem, one of mathematics' most famous unsolved challenges. He stressed the importance of solving this problem for both mathematics and physics, as it has significant implications for fluid dynamics, aerospace engineering, mechanical engineering, and physics.

Hoskinson used the controversy surrounding the AI-generated solution to promote the use of private AI environments, arguing that researchers should be able to use powerful models without exposing confidential research logs or intellectual property to centralized providers. He noted that the AI system's work was striking, as it demonstrated human-like behavior in improving and iterating upon existing work.