AI证明数学猜想27年：Lean验证通过，但人类能否相信这个答案？
2026年10月，OpenAI与Anthropic分别宣称其AI模型独立推翻了指数时间假说（ETH）——这个由Impagliazzo与Paturi于2001年提出、影响算法复杂度领域25年的核心猜想。Lean形式验证已通过，ETH原作者正主
AI科学发现 相关资讯
Claude Mythos 5量子电路设计门数压缩17倍 硬科学基准7/8超越已发表最优
Anthropic STEM研究员项目2026年10月公布，Claude Mythos 5在纯自然语言指令下，针对8个量子算法任务中7个超越已发表最优设计，极端案例门电路数量压缩17倍。模型通过闭环迭代完成全部优化，无人工干预。该结果直接指
950个Claude代理21小时扫描19亿蛋白簇，发现疑似CRISPR新型酶系统——但重跑10次全部失手
Anthropic宣布约950个Claude代理用21小时扫描约19亿个蛋白质簇，在噬菌体DNA中识别出一种此前未记录的酶系统，命名为ART（阵列关联逆转录酶）。CRISPR先驱冯·张称其"真正有趣"。但关键隐忧是：Anthropic将搜索