Hoskinson Stunned by AI's Surprising Mathematical Breakthroughs
Cardano founder Charles Hoskinson recently expressed his astonishment at the rapid progress of artificial intelligence in advanced mathematics. He noted that modern AI systems have surpassed his initial expectations, particularly when it comes to producing and formally verifying complex mathematical proofs.
Hoskinson mentioned an AI-generated approach to the Navier-Stokes Millennium Prize problem, one of mathematics' most famous unsolved challenges. The Navier-Stokes equations describe three-dimensional fluid motion, and solving this problem would have significant implications for both mathematics and physics.
According to Hoskinson, the emergence of Large Language Models (LLMs) capable of generating mathematical proofs themselves was not something he had fully anticipated. He praised their capabilities, saying 'it's pretty remarkable to see how far they've gotten'.