Hoskinson Surprised by AI's Math Breakthroughs, Raises Proprietary Data Concerns

Cardano founder Charles Hoskinson recently expressed his surprise at the rapid progress made in artificial intelligence research, particularly in mathematics. Speaking during a YouTube broadcast, Hoskinson stated that AI has exceeded expectations for its capabilities in producing and formally verifying complex mathematical proofs.

Hoskinson's earlier expectations centered on automated tools helping mathematicians review proofs, identify errors, and coordinate demanding research projects. However, the prospect of an AI system independently producing an entire proof had previously seemed unlikely to him.

He noted that AI has made significant strides in mathematics, with potential applications extending beyond pure mathematics to fields such as fluid dynamics, aerospace engineering, and physics. Hoskinson also expressed concerns about the handling of proprietary data when it is submitted to centralized AI providers, arguing for the use of private AI environments when working with sensitive research.

Hoskinson's comments came in the context of reported claims surrounding an AI-generated approach to the Navier-Stokes existence and smoothness problem. He questioned the provenance of the reported work and raised concerns about how confidential mathematical research is handled when it is submitted to centralized AI providers.