| Mobile Web

Cardano founder shocked by advances in AI mathematical proofing

Cardano founder Charles Hoskinson said AI is advancing faster than expected, reaching a level where it can generate complex mathematical proofs and formally verify them. He highlighted AI-generated claims tied to the Navier-Stokes equations, a Millennium Prize problem, and said he did not anticipate AI completing proofs directly. Hoskinson warned that the provenance of AI-generated results and protection of research data need scrutiny, calling for private AI environments to safeguard sensitive information and intellectual property.