Cardano Founder Calls OpenAI Navier-Stokes Claim Remarkable Amid Privacy Questions
Charles Hoskinson said AI progress in formal mathematics exceeded expectations after OpenAI reported a proposed solution to a Millennium Prize Problem, while raising research confidentiality concerns
