「AI 数学发现」共找到 10424 篇相关文章
接入 MiniMax M2.7 后，我的 OpenClaw「超进化」了
作者实测 MiniMax 新模型 M2.7，其在基准测试、代码能力、多智能体协作等方面表现出色。接入 OpenClaw 后，能高效完成复杂任务。M2.7 指令遵循率高、长上下文处理能力强且价格低，有望提升 Agent 生态表现。
全球首家具身数据独角兽诞生：光轮智能完成10亿元融资，开启具身数据规模化元年｜甲子光年
具身智能进入数据Scaling Law时代，光轮智能完成10亿融资成全球首家具身数据独角兽。它构建了World-Behavior-Eval数据引擎体系，在多领域获国际交付冠军，客户涵盖顶尖企业，正构建物理AI时代基础设施。
开源中小模型+Skills也性能暴增！卢森堡大学探索了小模型驾驭Skills的边界
卢森堡大学等研究探索小模型驾驭Skills的边界。工业界因数据安全渴望开源小模型，智能体Skills框架让小模型性能暴增。研究拆解小模型处理复杂任务的方法，还验证不同策略有效性，发现代码专用模型优势。
多模态大模型中Attention机制暗藏「骗局」，需用一个公式修正丨上大×南开
上海大学曾丹团队研究发现，主流VLM中attention受位置偏置和padding区域异常高attention影响，直接用其进行视觉token剪枝会丢失关键信息。团队用公式对attention去偏，集成到多种剪枝方法，提升了模型性能。
ChatGPT确认卖广告！奥特曼：挣钱嘛不寒碜
2026年1月16日，OpenAI官宣ChatGPT免费版和Go版引入广告。奥特曼称因多数人想用AI又不付费，只能以此盈利。这背后是大模型行业受开源模型冲击，陷入定价困境，开源模型改变了行业预期和估值逻辑。
5.3 万人收藏的开源版 Claude Code 彻底起飞了，GLM-4.7直接免费用。
近期AI编程界，Claude Code虽好用但对小白不友好。而开源神作OpenCode爆火，Star数达53K。它把‘选模型’进化成‘选员工’，有图形化界面，还集成可靠模型，支持并行运行，社区有强大插件。
Manus被收购前最后一次访谈：季逸超还不知道Meta即将来敲门
这是Manus被收购前，联合创始人季逸超的访谈。他回顾从猛犸浏览器到Manus的创业路，谈GPT - 3冲击，还评价搭档肖弘。访谈后不久，Meta宣布全资收购Manus。
在今天，投后管理的战略价值与退出路径规划在何处 | 甲子引力
在「甲子光年」2025甲子引力年终盛典上，澳银资本胡艳等多位投资界人士，结合案例探讨投后管理战略价值与退出路径规划。大家分享投后增值案例、应对挑战方法，还讨论了衡量投后价值及退出规划等问题。
梁文锋，Nature全球年度十大科学人物！
权威科学期刊《自然》公布2025年度十大科学人物榜单，梁文锋因DeepSeek模型对AI领域的重要贡献与变革性影响成功当选。此外，中国研究员杜梦然也因相关研究入选，还有多位其他领域人物因各自成就上榜。
豆包手机被曝搭载锤子 SmartisanOS，二手价逼近8000元！罗永浩点赞字节：技术革命谁也挡不住
近日，豆包手机助手发售即被抢空。有博主发现其系统有锤子科技遗留字样。该手机官方价3499元，二手溢价超一倍。罗永浩点赞。不过，它风波不断，官方回应是技术预览版，不面向普通消费者。