Capital de TokensAI and mathematics: Did OpenAI solve Navier-Stokes?
Watch on YouTube AI and mathematics: OpenAI claims to have solved more than a hundred open problems, including Navier-Stokes. What has actually been proven, and who should verify it?
AI and mathematics: OpenAI claims to have solved more than a hundred open problems, including Navier-Stokes. What has actually been proven, and who should verify it?
We analyze the proofs formalized in Lean, the thousands of AI agents used, the role of mathematicians, and the debate over the future of scientific knowledge. We also explore the risks: errors that are difficult to detect, technological centralization, and the value of human understanding.
Subscribe for more analysis of artificial intelligence, science, and technology, and give this episode a like if you found it interesting.
🤖 AI-generated content: the script, voices, and images in this episode were produced using artificial intelligence tools.
#ArtificialIntelligence #Mathematics #OpenAI #NavierStokes #Science #AI #Technology