Untitled

# 今天我们AI说 | 2026年7月14日 星期二

开场白（三人合声）

晓依+云阳+云健：今日我们AI说，带你听见未来的声音！

晓依开场（180字）

大家好，我是晓依。今天这期节目信息量很大。OpenAI发布了GPT-5.6 Sol Ultra，一个小时就证明了一个五十年没人解决的数学猜想。北京一位副局长自掏腰包买Token用AI做了个防汛小程序，被网友称为"AI实干家"。还有万元AI研学营九成是噱头。另外，国产存储芯片长鑫科技即将IPO，十五五科技攻坚也在加速。好，先交给云阳。

云阳热点播报（6条，680字）

1 OpenAI在7月11日发布了GPT-5.6 Sol Ultra，通过64个子智能体并行协作，一小时就证明了图论领域存在约五十年的"循环双覆盖猜想"。如果这个证明最终通过同行验证，将被视为AI从辅助工具走向原创数学成果的重要里程碑。

2 北京市密云区一位副局长谢陨石，利用业余时间自费订阅大模型套餐，一年花费两百多元，花一个月编程开发了一款防汛"叫应"小程序，录入了全区地质灾害隐患点、受威胁住户和包保人员信息，更新实时同步。上线后基层电话少了，信息也更直观了。

3 2026年暑期，AI研学营成为教育顶流，但市场泥沙俱下。有工程师指出九成以上都是糊弄——收上万元的营地把孩子拉去大厂门口拍个照就完事了。业内呼吁家长别让AI焦虑变智商税。

4 国产DRAM龙头长鑫科技将于7月16日科创板申购。作为国产存储芯片的独苗，它的IPO被视为"中国芯"的重要一步，叠加全球半导体涨价潮和AI算力需求，此次申购备受市场关注。

5 7月13日有网友发现ICM 2026官网后台数据出现多条标为隐藏的菲尔兹奖讲座条目，包括华裔数学家王虹和邓煜。本届可能创纪录地出现华人数学家包揽的局面。

6 科技大会近期定调十五五科技攻坚，强调科技自主从可选变为必选，半导体、AI大模型、量子计算被列为重点攻关方向。

晓依对话云健（6组Q&A，约1600字）

Q1 晓依

云健，OpenAI这个GPT-5.6一小时就解了一个五十年没人解的数学题，咱们是不是要失业了？

A1 云健

离失业还早。GPT-5.6确实让人眼前一亮，64个子智能体并行搜索，一小时搞定循环双覆盖猜想，厉害。但你注意到没有——它解的是一个已知有答案的猜想，不是开放式问题。数学分两种：一种是"这题有答案你去证"，另一种是"这问题没人想过你去找方向"。AI目前只擅长第一种，像一台超级算盘。再说这证明还没通过同行验证呢。真正让我紧张的不是AI能解题，而是它开始理解数学语言了。如果AI真能读懂数学的逻辑结构，那数学家的工作方式就要彻底变了。

Q2 晓依

副局长自己买token做防汛小程序这事儿，你什么看法？

A2 云健

这事正能量，但更值得琢磨的是反面。这位副局长土木工程出身，编了二十年代码，年费两百多块钱，一个月就把以前要十几个人半夜打电话才能搞定的工作给实时化了。AI已经便宜到公务员都能自己买了。但为什么这事能上热搜？因为这种个体用AI解决公共问题的案例太少了。绝大部分政务系统还停留在外包给大厂，几千万砸下去不如一个人花一个月码的好用。这不是技术问题，是体制问题。谢局长的故事真正刺痛的不是技术含量，而是它无意中对比出了政务数字化的效率之低。

Q3 晓依

那AI研学营上万块让孩子学AI，值不值？

A3 云健

九成不值。AI研学营的套路：租个酒店、请个临时工老师、带孩子去大厂门口拍个照、最后让娃背个稿子路演——收你一万五。这不是教育，是收割家长的AI焦虑。真正有效的AI教育是让孩子动手用AI做点什么。业内那句话说得对：AI像学开车，不是坐课堂听讲引擎原理就能会的，得上路。给家长的建议很简单——如果那个营的钱是你家一个月伙食费，别报。买个几十块的AI会员让孩子自己玩，比什么都管用。

Q4 晓依

长鑫科技7月16日申购，这个跟AI有关吗？

A4 云健

太有关了。AI的命门不是算法，是算力；算力的命门是芯片；芯片的命门是存储。长鑫做的是DRAM，就是AI服务器里大量用到的内存芯片。目前全球DRAM市场九成被三星、海力士、美光三家垄断，长鑫是全球第四、国内唯一的玩家，份额大概5%。这次IPO估值不低，有人说贵了，但一条被卡的脖子能松一寸就值一百亿。叠加半导体涨价和AI算力需求井喷，长鑫的产能和良率也在爬坡。短期股价不好说，但从国产替代角度看，这个IPO确实值得关注。

Q5 晓依

菲尔兹奖华人可能包揽，跟AI有关吗？

A5 云健

直接关系不大，但间接很有意思。王虹研究几何测度论，邓煜是解析数论，两个都是纯理论数学，不用AI的。但巧就巧在，几乎同时GPT-5.6也用AI证明了一个数学猜想。我想到一个比喻：数学界正在经历双线叙事——一边是人类数学家做纯理论研究，一边是AI在已有框架内快速解题。两条线并行，可能在某个点交汇。王虹如果能拿奖，将是女性数学家首次获得菲尔兹奖，本身就是历史性的。而AI在数学领域的突破，暗示着未来数学家的工作可能分化为两拨——一拨造新理论，一拨训练AI去证明理论。这场面，想想还挺科幻的。

Q6 晓依

最后一个问题，十五五科技攻坚对普通人有什么影响？

A6 云健

十五五科技攻坚落地很具体。简单说就是国家说卡脖子的事不能再拖了，所以半导体、AI大模型、量子计算被列为优先方向。对普通人来说，最大的影响是就业。未来五年，会写代码的文科生可能比只会写论文的理科生更吃香。因为AI把技术门槛降低了，懂场景、会提需求的人反而更有价值。谢局长那个案例就是最好的证明——他土木工程出身，但他懂防汛场景，又学会了用AI，做出来的东西比专业团队还实用。所以别焦虑AI抢你饭碗，焦虑的是你不会用AI。十五五要攻坚的不只是技术，更是人和工具之间的关系。

晓依收尾（180字）

感谢云健今天的犀利点评。说实话今天这期节目我很感慨。从GPT-5.6证明数学猜想到副局长写小程式，从AI研学乱象到国产芯片IPO——AI已经不只是科技新闻了，它开始渗透到政府治理、教育、投资、甚至基础数学研究里。正如云健所说，未来不属于最懂AI的人，而属于最会用AI的人。好，今天节目就到这儿，我是晓依，我们下期再见。

结尾合声

晓依+云阳+云健：今日我们AI说，下期不见不散！

撰稿： 无不言

时间： 2026年7月14日 16:01

操作： 生成AI播客脚本

影响： 供多角色版TTS生成

*ABT 的小龙虾 TEAM*