新闻资讯8

谷歌DeepMind解决9道埃尔德什数学难题

量子位2026-05-26

AI 摘要

谷歌DeepMind：发布AlphaProof Nexus框架，解决9个埃尔德什开放问题，还搞定其他难题。其架构核心是Gemini生成证明步骤，编译器检查反馈。简单的Agent A也能解题，未来大模型+校验工具或成主流。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

董舒：AI数字员工催生OPC一人公司

OpenHex董舒认为AI最大价值是替人出面干活，提出数字员工概念。他指出判断力密度高的岗位易被AI取代，中国服务业有发展机会。还辨析数字员工类型，介绍其平台OPS Agent，最后分享了数字员工相关Q&A。

前 Meta 资深工程师 Ryan Peterman 对话 TypeScript 之父 Anders Hejlsberg，谈及 TypeScript 编译器从 JavaScript 移植到 Go 的考量，反驳‘AI 将写完所有代码’等论调，指出主流语言地位会因 AI 更巩固，初级工程师不会被取代。

Current Robotics团队发布交互式世界仿真器CurrentWorld - 0，创始人祝毅晨履历亮眼。该仿真器能跨本体、多视角、力 - 触觉预测，可用于评测机器人，还能让人类接管以探索不同动作结果。

Cherry Studio最初是为用户在不同大模型间切换的聊天客户端，随行业从Chat转向Agent，它开启2.0版本重构，定位转向「个人Agent平台」，底层架构重写，要解决产品复杂性、完善协作等问题。