Charles Hoskinson Raises Questions Over AI-Generated Proofs

TLDR Charles 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 [...]

The post Charles Hoskinson Raises Questions Over AI-Generated Proofs appeared first on Blockonomi.