Hoskinson Stunned by AI's Math Breakthrough

Cardano founder Charles Hoskinson has expressed amazement at the rapid progress of artificial intelligence in advanced mathematics. He made his comments during a recent YouTube broadcast, where he discussed claims surrounding an AI-generated approach to solving the Navier-Stokes Millennium Prize problem.

Hoskinson noted that the development of Large Language Models (LLMs) capable of generating complex mathematical proofs has surpassed expectations. 'We never anticipated the extent to which AI would come in,' he said. He added that his earlier expectation was for formal mathematical systems to primarily facilitate collaboration among mathematicians, rather than having AI generate proofs itself.

The Navier-Stokes problem is one of mathematics' most famous unsolved challenges and concerns whether well-behaved solutions exist for the equations describing three-dimensional fluid motion. Hoskinson stressed the significance of solving this problem for both mathematics and physics, noting its relevance to fields such as fluid dynamics, aerospace engineering, mechanical engineering, and physics.

Hoskinson also touched on the controversy surrounding OpenAI's claim that they have solved the Navier-Stokes problem using an AI system. He emphasized the importance of private AI environments, arguing that researchers should be able to use powerful models without exposing their confidential research logs or intellectual property to centralized providers.