當人工智能解出「千禧年難題」，人類還需要親自做數學嗎？
中文摘要
OpenAI利用万名AI智能体耗资六百万美元证明了纳维-斯托克斯方程，引发人类在算力时代研究数学意义的探讨。
English Summary
OpenAI solved the Navier-Stokes existence and smoothness problem using 10,000 AI agents and $6 million, sparking debate over the future of human involvement in mathematics.
Original Excerpt
📌 一句话摘要 本文探讨 OpenAI 宣称利用 AI Agent 解决千禧年大奖难题之一「N-S 方程式」的事件，并由此反思在算力与模型主导的时代，人类学习和研究数学的意义。 📝 详细摘要 OpenAI 宣布其人工智能系统通过动用约一万个 AI agent、消耗 1300 亿个 Token 及 600 万美元成本，在 88 小时内证明了千禧年大奖难题之一「纳维-斯托克斯存在性与光滑性问题」（N-S 方程式）的解会在有...