开源动态8

DeepMind开源数学猜想库

新智元2025-06-12

AI 摘要

谷歌DeepMind：开源首个形式化数学猜想库，为AI破解数学难题铺路。陶哲轩：形式化能让AI理解问题，这个库是‘标准答案模板’。该库还邀各方贡献，助力攻克世纪难题。

关注公众号

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

公众号专辑

董舒：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平台」，底层架构重写，要解决产品复杂性、完善协作等问题。