新闻资讯8

陶哲轩：数学进入‘证明过剩’时代

新智元2026-04-30

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