Automation Without Understanding
6 hours ago
- #Artificial Intelligence
- #Strategic Infrastructure
- #Mathematical Capacity
- 人工智能系统现在能够生成真正的研究级数学成果。
- 美国正在削弱能够理解和验证此类人工智能生成数学成果的人力渠道。
- 数学能力——即验证、解读和质疑推理的能力——是经过数代人建立起来的战略基础设施。
- 文章认为这种组合构成了战略错误，类似于忽视半导体能力。
- 文中以2026年5月人工智能反证厄尔多斯关于平面单位距离问题的猜想为例说明。
- 建议人工智能系统以形式化、机器可检验的形式呈现关键决策主张，以确保可审计性。