新闻资讯8

AI助力，48小时攻克50年数学难题

新智元2025-12-13

AI 摘要

2025年12月，陶哲轩宣布困扰数学界50年的Erdos#1026问题被攻克。在AI辅助下，人类团队48小时完成证明。Harmonic官网称其AI系统Aristotle参与解题，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平台」，底层架构重写，要解决产品复杂性、完善协作等问题。