Automation Without Understanding21 days agohttps://arxiv.org/abs/2607.06377人工智能系统现在能够生成真正的研究级数学成果。美国正在削弱能够理解和验证此类人工智能生成数学成果的人力渠道。数学能力——即验证、解读和质疑推理的能力——是经过数代人建立起来的战略基础设施。文章认为这种组合构成了战略错误，类似于忽视半导体能力。更多...