甲子光年对话北大教授董彬:AI for Math 的野心与安德森猜想突破
甲子光年张一甲与北京大学博雅特聘教授董彬长谈 AI for Math。2026年4月,董彬团队用自主构建的自动化 AI 框架解决了安德森猜想,被称为国内首次实现 AI 自主解决数学开放问题,并完成大规模形式化验证;团队将肖梁、陈华一等数学家的工作流程抽象成 skill 文件,配合自研检索工具 Matlas,AI 自主检索到 Jensen 2006 年的关键文献并构造反例。
甲子光年张一甲与北京大学博雅特聘教授董彬长谈 AI for Math。2026年4月,董彬团队用自主构建的自动化 AI 框架解决了安德森猜想,被称为国内首次实现 AI 自主解决数学开放问题,并完成大规模形式化验证;团队将肖梁、陈华一等数学家的工作流程抽象成 skill 文件,配合自研检索工具 Matlas,AI 自主检索到 Jensen 2006 年的关键文献并构造反例。
广州市人民政府主办的第五届琶洲算法大赛专设世界模型生态合作赛,聚焦人本世界模型与智驾世界模型两条赛道,决赛计划11月中旬完赛。本届大赛报名队伍突破10100支,覆盖80多个国家和地区。智驾赛道围绕矿区无人运输出题,人本赛道考验模型对人类行为因果的推断,参赛团队只允许使用两块A800 GPU做推理,以推动模型兼顾精度与落地效率。
2026世界智能网联汽车大会上,万钢预测2030年L3级有条件自动驾驶渗透率将超35%,多家企业高管给出落地时间表:长安预计2027年L3量产、2028年L4商用化运营,何小鹏认为L4技术2028年下半年落地、法规层面2028至2032年间落地,比亚迪杨冬生判断更谨慎。
甲子光年创始人张一甲在2026年8月20日的甲子引力X科技产业投资大会上发布《2026年人工智能趋势判断》报告,提出12条判断。
第 46 届香港秋电展及第 29 届 electronicAsia 于 10 月 16 日闭幕,四天共吸引来自 141 个国家及地区的逾 61,000 名买家,汇聚超过 3,200 家展商。
历史学家塞巴斯蒂安·马拉比到访中国接受甲子光年长谈,介绍其新书《哈萨比斯:谷歌AI之脑》,称哈萨比斯兼具顶尖科学家与创业者特质、性格温和克制,并将其与奥本海默并置。
甲子光年报道,企业AI正从“能力证明”走向“结果证明”,评价标准从效率延伸到转化、留存和增长。麦肯锡2025年调查显示88%的受访组织已在至少一个业务职能常态化使用AI,但“AI高绩效企业”仅约6%。瓴羊提出Data+Agent+FDE(前沿部署工程师)公式,并推出“AI员工7日上场计划”降低企业试错成本。
第二届国际人工智能科学家大会(ICAIS 2026)10月19日在北京落幕,多位诺贝尔奖、图灵奖得主指出AI正重塑科研全周期,但AI幻觉、大模型公司抢跑成果发布等问题困扰科学界。
AI 游戏克隆正让独立开发者不敢公开作品,一款被推迟的 Steam Next Fest 试玩版成为这一问题的缩影。开发者担心自己的创意被 AI 快速复制,从而在竞争中失去先机。
影视行业项目收缩下,老板们把AI当验收标准:一季度超90%微短剧由AI生成,真人短剧成本约30万、1个月,AI短剧仅1-2万、10人两周,但80%省下的钱转投流量,万次播放收入从30-100元跌至5-10元。制片人被迫用AI剧本评估系统给项目打分,十年经验让位于工具分数,日常工作是做落不了地的“AI玩具”应付老板。
社交平台出现一批出售AI角色扮演人设指令的卖家,定制价格普遍在5-8元,单人指令通常在10元/千字以内,2-3天可交付。玩家会尝试DeepSeek、豆包、Gemini和ChatGPT等模型,其中有人因觉得DeepSeek演绎“最有人感”而持续付费。这门生意仍处低客单价阶段,并面临设定同质化、借鉴与原创边界争议。
王兴兴在工博会圆桌称具身智能"快的话一两年内"可能迎来突破,理由是明年GPT-7出来或直接打穿该问题。文章指出模型只负责"怎么想"、Agent负责"怎么活",Figure Helix 2.5在30户住宅420次试验整体成功率约56%,收拾客厅仅40%。全球高质量真实物理交互数据存量约50万小时,而通用具身模型训练至少需1000万小时级。
面对数据中心大规模建设引发的反对声浪,7x24 Exchange International 等机构正用儿童绘本、涂色页和学校参访争取年轻一代。该组织推荐以蜜獾 Honey 为主角的《What is a Data Center?
CoreWeave 债券上周跌入困境区间,股价自周二收盘以来下跌超过 20%,并波及甲骨文等其他举债扩张的 AI 公司。CoreWeave 第二季度财报显示负债超过 350 亿美元、上半年亏损逾 10 亿美元,但客户剩余履约义务达 1037 亿美元,其中约 40% 于 2028 年到期且不可随意取消。作者认为股价下跌不等于财务崩溃,真正的考验要等 AI 热潮放缓时才会到来。
Musk 称将于 2027 年向“每个美国孩子”赠送一股 SpaceX 股票,按当前每股 146 美元计算总值超 100 亿美元,约占其 1 万亿美元净资产的 1%。他表示将“直接赠予公众”,但未说明具体操作方式;美国目前有超 7000 万名 18 岁以下儿童。此举发生在他回应 Anthropic 承诺将 5% 股份投入“公共利益基金”之后。
一些开发者和 vibe coder 正用 AI 智能体改造智能电视,去掉开机广告、追踪功能和预装软件。
针对田柯宇干扰字节跳动模型训练被辞退、一审被判赔 50 万元后又获近 3000 万美元融资一事,文章批评科技媒体用「天才」叙事为其行为开脱。作者指出,天才可以解释成就,却不能替行为脱罪,这种叙事会让人忽略努力与职业伦理。
西安前三季度进出口总值达7644.13亿元,同比增长115.5%,全国排名从去年同期第19位跃升至第12位,超越重庆成为中西部第一外贸大市,全年有望成为中西部首个万亿外贸城市。
星展中国行长郑思祯在2026外滩年会期间接受专访,称未来5—10年AI将以多智能体协同模式重塑银行中后台运营,需重点关注AI调用与决策的合规边界及透明度。她认为中企出海进入全产业链国际化新阶段,人民币已稳居全球第二大贸易融资货币,银行可通过CIPS清算基建、离岸产品创新与综合顾问服务助力人民币跨境使用扩容。
据 TechCrunch 报道,多名开发者利用 Claude Code 等AI编程工具,通过局域网调试通道移除智能电视的预装应用、广告和追踪功能并替换启动器。
A股三大指数今日震荡整理,上证指数涨0.12%,成交额1.47万亿元,硬科技股出现近期罕见的自发性资金买入,工业富联、中芯国际等AI核心股迎来近期最大涨幅。神秘资金尾盘继续买入宽基ETF,人形机器人、物理AI概念连续两日走强。行情确认仍需观察上证指数3750点能否突破,操作上以求稳为主,关注三季度业绩超预期公司及低位AI应用方向。
MIT Technology Review 文章指出,OpenAI 的 Dots、Meta 的 Muse 等个人 AI 智能体大规模上线后,正被大量网站封禁,Muse 首月下载量达 500 万次,8 月至 9 月智能体产生的网络流量增长两倍。
Goodfire 研究员 Nick Cammarata 发布 2.6 万字博客,称 LLM 内部机制可能远比此前认为的更容易理解、监控和控制,引发 AI 圈激烈争论。他重看 Inception v1 的“车与猫”神经元,认为其共同点是 V 字形,而非此前认为的多任务叠加。斯坦福 Chris Potts 则质疑该博客只是直觉,并未让理解难题变得更容易。
Import AI 作者在 IMF 曼谷会议上发表 Per Jacobsson 演讲,称今年已获得令人信服的证据表明奇点已经开始,未来科学整体进步速度将加快。他以 Anthropic 为例称研究人员现在产出的代码量接近公司前四年总量的 10 倍,并指出 AI 在网络安全攻防上的能力提升正引发各国竞相部署。
MIT Technology Review 梳理了计算技术正面临的多重放缓:支撑芯片密度提升的 Moore's Law 减速,Dennard's Law 已终结,Koomey's Law、Kryder's Law 与 Keck's Law 也相继趋缓。
惠誉评级预计发达市场政府债务到年底将增加近4万亿美元至75万亿美元以上,前十发达经济体负债达68.5万亿美元,10年期国债收益率平均上升81个基点。据IIF数据,富裕国家政府每年利息支出已超3.3万亿美元,超过全球国防开支或AI投资总额。惠誉指出美国、法国、英国评级面临下调压力,当前法国评级为A+、美国为AA+,若财政赤字、利息占比和债务/GDP三大指标持续恶化且缺乏可信财政方案,将触发评级下调。
演员吴越10月18日凌晨发微博怒斥视频号“花姐美肤日记”用AI克隆其形象与声音带货并开启评论精选收割粉丝,该账号还碰瓷邓亚萍,全红婵、孙颖莎、王楚钦等也曾遭AI仿冒带货,涉事账号已被封禁清空。
美股牛市迎来四周年后首周重挫,费城半导体指数周跌11.4%,八个交易日市值蒸发约2万亿美元,博通CEO陈福阳称最大制约因素是资本。文中还汇总特斯拉Roadster发布、iPhone Duo预购售罄、纽约市公共养老金要求Anthropic在解决AI安全问题后再推进IPO、英伟达市值9个交易日蒸发约6000亿美元等本周国际财经要点。
Vercel 周四公布的数据显示,决策模型 Jev 上线两周内被 35% 的付费团队使用,覆盖范围接近第二受欢迎模型 Sonnet 5.5 的两倍,成为 Vercel 平台上首两周采用最快的模型。
Benchmark 合伙人在 TechCrunch Disrupt 上承认,AI 热潮正让风投"不投直接竞争对手"的默契难以为继。Eric Vishria 称每家公司都在快速演变,冲突是当前现实的必然;Chetan Puttagunta 认为软件构建成本趋近于零、创始人野心膨胀会让撞车更频繁,Peter Fenton 则称这是公司最难的问题。
2026 年多部批评科技巨头的影片集中上映,包括聚焦 Mark Zuckerberg 的《The Social Reckoning》、讲述 Elizabeth Holmes 的《You Can See Everything》、审视 Elon Musk 的 Gibney 纪录片,以及影射 Sam Altman 的《Artificial》。
AI 卡路里追踪应用 Cal AI 靠招募大量网红发帖推广,两年营收超 3000 万美元,并于 3 月被 MyFitnessPal 收购,金额未披露。创始人 Zach Yadegari 在 TechCrunch Disrupt 上称,早期一位网红的帖子两天带来约 1000 名新用户,此后公司按触达规模与网红谈固定报酬并持续投放。
品玩分析认为,英伟达通过 Poolside 60亿美元技术许可加10亿美元投资、约129.3亿美元收购 Hugging Face、吸收 Essential AI 团队、谈判 Reflection AI 及与 Groq 约200亿美元技术许可安排,不到一年下注规模接近400亿美元。
推荐理由:文章梳理英伟达近一年约400亿美元交易布局,解释其从基础设施公司转向前沿模型实验室的组织逻辑。
音乐人兼调查记者 Benn Jordan 因调查自动车牌识别系统厂商 Flock Safety 而成为隐私争议焦点,他近期在参议院司法委员会小组听证会上作证。数百个地方政府已开始取消与 Flock 的合同,共和党参议员 Josh Hawley 正对其展开调查,路透社上周报道 Flock 计划裁员约 18%。
The Verge 报道,一个拥有超百万粉丝、带蓝色认证标记的 Instagram 账号 @miagoth_ 发布了 AI 生成的演员 Mia Goth 图片,数天内获近 50 万点赞,其代表称此前已就该账号发布伪造 AI 图片向 Instagram 投诉过。
Deezer 正在开发一个开关,让用户从搜索结果中过滤掉 AI 生成的曲目、专辑和相关艺人,该功能预计年底前上线。Deezer CEO Alexis Lanternier 称平台 AI 音乐激增是推出该功能的主因之一,去年调查显示约 45% 用户希望移除 AI 音乐。Deezer 去年已上线 AI 检测工具,今年 7 月称其平台每日上传曲目中超过 50% 为 AI 生成,日均约 90,000 首。
Gudea 利用 AI 分析 X、Reddit、TikTok 等 500 多个主流与边缘网站上的信息传播路径,帮企业在舆情演变成危机前识别风险,而非只统计提及量和话题标签。
10月12日开幕的第二十六届中国国际工业博览会上,工业AI正从单点辅助工具进阶到图纸解析、生产排程、订单履约等核心生产决策环节,但真正嵌入产线、规模化落地的方案依旧稀少。
OpenAI 新分析显示,智能体 AI 在欧盟企业与小型企业中的采用率正在增长,并指出更深入的使用可在哪些环节释放更多价值。
品玩报道,AI应用创业者正放弃“成为下一代入口”的梦想,向两个方向逃离中间地带:ChatCut、OpenDesign、Ego Lite等公司把剪辑、设计、浏览器能力拆成Codex、Claude Code等Agent可直接调用的插件;另一些团队转向B端定制与现金流生意。