11天、30万美元：AI攻破358年数学难题的最后一关

AI在数学研究领域取得新突破。据报道，一个AI系统在11天内花费30万美元，成功攻克了困扰数学家358年的难题的最后关键环节。该系统通过自主推理和验证，完成了此前被认为需要极高人类智力才能解决的证明步骤。相关成果被视为AI在科学发现能力上的重要进展，表明其不仅能辅助计算，还能参与复杂逻辑推演。目前，该研究的具体方法及验证过程已引发学界关注，其成本与效率对比传统人工研究模式亦成为讨论焦点。