OpenAI横扫100多道世界难题,他却说:数学才刚开始
OpenAI横扫100多道世界难题,他却说:数学才刚开始OpenAI一款8月28日开始训练的内部模型已攻克100多道世界级数学难题,多伦多大学数学家Daniel Litt撰文指出,AI虽将大幅提升数学产出效率,但人类对数学的理解仍不可替代,数学教育与评价体系需重新定义,真正应被保留的是人与人之间的讨论、追问与理解。
搜索
OpenAI一款8月28日开始训练的内部模型已攻克100多道世界级数学难题,多伦多大学数学家Daniel Litt撰文指出,AI虽将大幅提升数学产出效率,但人类对数学的理解仍不可替代,数学教育与评价体系需重新定义,真正应被保留的是人与人之间的讨论、追问与理解。
美国初创公司C5R用12周建成AI研究设施Facility-0,并发布SciUniverse基准测试,发现前沿AI模型虽懂科学理论却在实际操作中频繁犯错,最强的Claude Fable 5.1通过率仅45.3%,揭示模型缺乏物理实验室手感。
北京时间 9 月 23 日,在 2026 骁龙峰会上,高通 CEO 克里斯蒂亚诺・安蒙(Cristiano Amon)正式介绍了高通面向 Agent 时代的战略转型。与此同时,高通发布了两款新一代旗舰手机 SoC:第六代骁龙 8 超级至尊版(Snapdragon 8 Elite Extreme Gen 6)与第六代骁龙 8 至尊版(Snapdragon 8 Elite Gen 6)。
经过 Octop 团队与社区开发者一段时间的共同推进,在一次次测试、打磨与优化之后,我们正式推出 Octop 1.0 GA版本(General Availability,正式发布版),并同步上线腾讯云轻量应用服务器(Lighthouse)与云服务器(CVM)官方应用镜像——购买即用的自托管 AI 助手,现在触手可及。
前字节跳动Seed AI4S团队核心成员顾全全成立AI4S公司Geodesic Intelligence,一次性推出科学推理智能体NovaDDE与结构预测模型NovaAtom-Lite-Preview,目标是构建从生物学到药物最短路径的AGI。
本周AI项目推荐聚焦Codex生态崛起的创业机会,ego lite、OpenDesign、HyperFrames为Agent补上浏览器、设计、视频等单点能力,Monid、AIsa搭建工具调用与资源交易基础设施,共同推动Coding Agent从执行引擎延伸出新的产品层。
微软与UIUC合作研究StudentSim框架,基于真实学生数据训练个性化学生模拟器,具备behavioral fidelity和guidance responsiveness两项能力,在国际象棋等三个领域验证其优于现有基线,并可作为AI教师强化学习的高通量奖励信号。
让GPU学会给三维世界“排队”。
商汤科技这次正式开源的SenseNova U1.5 Lite,其亮点如下:而且啊,SenseNova U1.5 Lite依旧保持了8B的大小,还能在复杂排版与精准编辑等核心的场景上比肩闭源的GPT-Image-2:
SparkChat,就盯上了这类朋友之间很日常的社交问题,由Digipals推出,核心创始人Peggy Wang是斯坦福CS本硕,做过Lyft Level 5和Meta Reality Labs,第一次创业的Ego便进入了YC W24,并累计融资750万美元。