新闻资讯8

陶哲轩：数学正迈入“工业时代”

DeepTech深科技2026-07-26

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