王坚、励建书对谈“AI+数学”:AI不会终结数学,一个全新的世界正在打开
王坚、励建书对谈“AI+数学”:AI不会终结数学,一个全新的世界正在打开近期,AI 在数学研究领域的进展引发广泛关注。OpenAI 等机构接连公布 AI 解决数学问题的新成果,也让数学界开始重新思考:当 AI 能够参与甚至独立完成复杂数学证明,数学家的价值将如何体现?数学研究的范式、人才培养方式又将发生哪些变化?
搜索
近期,AI 在数学研究领域的进展引发广泛关注。OpenAI 等机构接连公布 AI 解决数学问题的新成果,也让数学界开始重新思考:当 AI 能够参与甚至独立完成复杂数学证明,数学家的价值将如何体现?数学研究的范式、人才培养方式又将发生哪些变化?
在Assembling 2026上,我们邀请了几位硅谷一线投资人,并且给他们出了一个他们天天质问创业者的题目: 为何OpenAI和Anthropic还没杀死创业公司。
两年前,我原本和于红约好录一期播客聊 AI 投资。那时,她是美团龙珠合伙人,正带领团队 All in AI。
阿里国际站总裁张阔表示,模型榜单成绩提升未同步转化为电商任务体验,他将Agent竞争力概括为Model×Harness×Context,Accio Work基于107项开源电商任务的评测显示,前沿模型无人干预通过率仅约61%。
UCSD正教授商静波在Z Tech专访中提出,资源有限时应聚焦可低成本验证的重要领域发展超级智能,让AI自主发现可复用算法,并以符号系统承载可形式化的逻辑。
Harvey联合创始人Gabe Pereyra表示,AI应用公司不必与大模型公司比拼资金和算力,可借助真实任务评测、领域专家、开源模型和外部研究团队建立持续学习能力。
在2026骁龙峰会上,高通CEO安蒙发布第六代骁龙8至尊版双旗舰平台并强调行业正迈向意图驱动的智能体AI时代,联合中国企业在手机端侧部署300亿参数MoE模型,同时指出高通已拓展至PC、汽车、机器人和数据中心等业务,肯定中国企业的智能体创新速度。
前OpenAI研究员、TypeSafe CEO Diogo Almeida在播客访谈中批评Codex和Claude Code仍停留在AI辅助人类的阶段,称"Jev出现前的AI世界是个悲剧",并推出采用RLCD训练的System 1模型Jev,旨在让代码直接可靠调用AI判断,实现每美元智能最优。
数据从哪儿来?模型怎么做?落地在哪里?
9月6日晚间,我在北京朝阳一个文创园里见到了导演李东珅。从早到晚,他一天都在采访中,而我们也不是他当天见的最后一波媒体。他给我们泡茶,招呼吃披萨——看得出疲惫,但更显眼的是兴奋——这位过去“曲高和寡”的纪录片导演,第一次被如此密集的流量包围。