《湖與河：創新地理的過去、現在與未來》六：《AI、數學與那個無法自動化的層》

外来客 • 2026-11-10 21:37:58

声明：本文为对公开内容的摘要整理，未经本站独立核实，可能与原内容存在出入，不代表本站立场、观点或建议；观点与版权归原作者及原平台所有。如涉及版权问题，请联系我们，核实后立即删除。 [ 免责声明 ]

OpenAI 2026成果：2026年10月6日，OpenAI发布GitHub仓库，包含722篇数学论文、372个不同范围及17个数学领域的古典难题解答。
专家反应冷淡：瑞士数学教授指出这些证明缺乏直接日常应用；专业数学家认为其仅是技术陈述（如方程歧异性），而非直观物理现象。
AI执行效率：OpenAI使用约1万个代理运行18小时生成证明，所有逻辑步骤均通过计算机验证，但学界仍在辩论其意义及是否构成“真正解决”。
历史对比：量子力学理论于1920年前后公开，但晶体管几十年后才出现；建造者并非方程式撰写者，而是具备固体物理、材料科学等应用层知识的人。
问题稀缺性：著名数学家Telito评论称“好问题比好答案更稀缺”，AI大规模生产验证证明后，核心能力转向识别值得问的问题。