TLDRCharles Hoskinson says AI has advanced in mathematics far faster than he once expected.The Cardano founder discussed AI-generated work linked to the Navier-Stokes Millennium Prize problem.Hoskinson said modern AI systems can now produce, improve, and formally verify complex mathematical proofs.He warned researchers about sharing confidential ideas and intellectual property with cloud-based AI platforms.Hoskinson said private AI systems could help protect sensitive academic and commercial research.He also noted that any verified Navier-Stokes solution would attract major attention across mathematics, physics, and engineering.Cardano founder Charles Hoskinson says artificial intelligence has advanced in mathematics faster than he expected. He pointed to AI systems that can produce and formally verify complex proofs, including claims tied to the Navier-Stokes Millennium Prize problem.Hoskinson said he once expected formal mathematics tools to help teams of researchers work together. He did not expect large language models to reach a point where they could attempt full proofs on their own.Charles Hoskinson Discusses Navier-Stokes ClaimsDuring a YouTube broadcast, Charles Hoskinson discussed claims that AI had produced an approach related to the Navier-Stokes equations. The problem is one of the Clay Mathematics Institute’s Millennium Prize Problems and remains one of the best-known open questions in mathematics.The challenge asks whether smooth solutions always exist for equations describing three-dimensional fluid motion. Hoskinson said any verified solution would matter across mathematics, physics, aerospace engineering, mechanical engineering, and fluid dynamics.Hoskinson said modern AI models now appear capable of taking existing mathematical work, improving it, and turning it into a formal structure. He described that process as close to the way researchers build on earlier ideas.He also noted that the progress surprised him because he had expected formal systems to support human collaboration, not replace major parts of the proof-writing process. Hoskinson said the ability of AI to handle difficult mathematical tasks shows how quickly the technology has developed.Private AI Becomes Part of DebateCharles Hoskinson also raised concerns about researchers sharing unpublished ideas with cloud-based AI systems. He argued that academics and entrepreneurs may expose private research notes, intellectual property, or early-stage ideas when using centralized models.He used the debate to support private AI environments where researchers can access advanced tools without sending confidential material to outside providers. Hoskinson said the issue matters more as AI systems become better at organizing, extending, and formalizing technical work.His comments focused on both the progress of AI mathematics and the need to protect sensitive research. The debate continues as researchers carefully assess claims involving AI-assisted proofs.The post Charles Hoskinson Raises Questions Over AI-Generated Proofs appeared first on Blockonomi.