Thomas Wolf 认为 AI 数学尚未被解决，Navier-Stokes 结果更像反例搜索而非完整证明

相关推荐

• AI语音诈骗：退休老人因合成女儿哭声被骗1.5万美元

  2025年夏季，美国佛罗里达州一名退休老人接到”女儿”哭诉车祸需保释金的电话，一小时内取现1.5万美元交给冒充法院的快递员–实际上，哭声是从一段音频片段合成的AI语音。FBI 2026年4月报告首次将AI欺诈列为独立类别，2025年收到超2.2万起AI相关投诉，调整后损失超8.93亿美元，其中60岁以上受害者占3.52亿美元。

  

  AI资讯 2026年7月16日

  000

• Anthropic 公布 Claude 加速药物研发的早期进展与六个合作案例

  Anthropic 生命科学团队宣布过去数月与 Generate Biomedicines、Divergence Labs、BigHat Biosciences、Enveda、The Column Group、Bristol Myers Squibb 六家机构开展药物研发合作，并已启动自有药物研发。

  

  AI资讯 2026年10月27日

  000

• GitHub Octoverse 2026：开发活动创新高，超 40% 的 PR 由智能体起草

  GitHub 发布 2026 年度 Octoverse 报告：过去 12 个月开发者推送代码 179 亿次，超过 2024 和 2025 年之和，合并 PR 达 13 亿次。

  

  AI资讯 2026年10月29日

  000

• Google Research 展示 AI 智能体自主湿实验室的三项进展：VERID 框架、适配体闭环发现与全新蛋白结合剂设计

  Google Research 发布三项研究，构建 AI 智能体自主湿实验室的基础模块。

  

  AI资讯 2026年10月16日

  000

• Anthropic 报告：AI 如何改变公司内部的雇佣与工作组织

  Anthropic 发布基于内部数据的技术报告，研究 AI 对自身雇佣与工作组织的影响。到 2026 年 8 月，交互式 AI agent 工时已达员工的 6 倍；技术部门初级员工占比从 21% 降至 14%，初级技术招聘占比从 27% 降至 9%。

  

  AI资讯 2026年10月16日

  000