豆包与通义千问准备下线智能体功能，提醒AI应用竞争从功能增长转向数据交接、合规边界、用户信任和行业落地能力。

Claude参与的黎曼猜想研究把已知临界线零点比例推进到67.25%，人类数学家随后简化证明，形式化工具在数小时内完成机器核验。与此同时，三维世界生成、长视频记忆和Agent编程也在把AI推向可验证...

一家成立四个月的公司，凭什么让谷歌和英伟达同时掏钱 AI行业最不缺的就是融资新闻，但 Recursive Superintelligence 这一笔还是让很多人愣了一下。这家公司成立只有四个月，谷歌旗下GV领投、英...

OpenAI发布Rosalind Workbench，把生命科学中的证据检索、结构分析、基因组学与实验流程连接到同一工作台，AI科研竞争开始从模型问答走向可复核的专业交付。

上海AI实验室发布「书生·端砚」科学发现平台，把AI科研从“读论文、跑模型、等实验结果”的松散流程，推进到一个更接近真实研发闭环的系统里。它强调的不是单点算法炫技，而是把文献理解、数字...

GPT-6 Astra参与解决重大数学难题并控制低成本机械臂，因果世界模型与可验证评测同步推进，AI正从生成答案走向发现规律、规划动作并对结果负责。