OpenAI 一天甩出722篇数学论文，数学家集体看懵
论文长达数百页却读不懂、也查不完，OpenAI只甩出部分Lean验证代码自证严谨，逼数学界承认人类可能真的跟不上AI证明的速度了。
原视频在 YouTube 上放不出来，用音频听：
核心论点 · 点时间戳可跳到原声
每次选举都在惩罚在任者，而非选边站
主持人认为美国选民近年的行为模式与其说是支持哪个党，不如说是对「不管谁在位都不满意」的持续反弹。这种反建制情绪自2015年以来几乎每次选举都稳定出现，可能和社交媒体放大不满情绪有关，也可能反映出选民普遍觉得政府失灵——这解释了为什么本次中期选举出现了罕见的翻盘幅度。
— Steve罕见共识：九成选民都提到了腐败
本应是最容易被选民「习以为常」的腐败问题，这次却被大量选民明确列为投票考量，主持人认为这种近乎一致的共识极不寻常——过去大家对腐败的态度更像是「每个政党都差不多脏，算了」,把它当成做生意的成本内化掉，而不是真正用选票去惩罚。
— Jay「共同决策」话术把责任偷偷转嫁给家长
CDC把乙肝疫苗从「出生即接种」改成「家长与医生共同决定何时或是否接种」,听起来是在赋权，实际是把专业判断的责任转移给没有流行病学知识的家长。主持人指出这套措辞直接取自反疫苗话术手册，真正的危害不在于个别家长的选择，而在于很多人根本不知道这是一个「被设计出来的选项」。
— Kara推迟两个月接种，感染率涨19%
一项发表于《内科学年鉴》的模拟研究显示，如果新生儿乙肝疫苗只是推迟两个月接种，20岁前患慢性乙肝的比例就会上升19%;如果按新指南那样采用「何时或是否接种」的模糊表述，完成接种比例可能只有五成，届时慢性感染会暴增83%,全美患者数可能从不到25万人冲到180万人。
— Kara换成钾盐，全球每年能省下三百万条命
用部分氯化钾替代食盐中的氯化钠，既降低了钠的绝对摄入量，也改善了钠钾比例，从两个机制上同时压低血压。模型显示，如果全球所有添加盐都换成钾盐，每年能避免约300万例死亡、减少约7000万伤残调整生命年，美国本土估算能救下约10万人。研究者把假设参数反复调整了上千次，结论依然稳健。
— SteveOpenAI 被同行指控「偷走」了他们的证明思路
9月8日OpenAI宣称在纳维-斯托克斯方程(七大千禧年难题之一)上取得突破，找到一个会「爆炸」的解。随后两位数学家Buckminster和Alpoga公开指控，称自己此前用OpenAI工具研究同一问题，怀疑公司用他们的提问数据训练出了这个「成果」。OpenAI否认，但外界永远无法核实真相，只能选择信或不信。
— Brian一天甩出722篇论文，数学界集体破防
10月6日，OpenAI在GitHub上同时放出722篇数学论文，内容涵盖各种证明与反例，部分附带可自动验证严谨性的Lean代码，部分没有。论文动辄数百页，写法完全不考虑人类可读性——目标只是「把结果做出来」而不是「让人学到东西」,这让连专业数学家都读不下去，整个社群陷入震惊和争论。
— Brian「再无牛顿」:数学前沿可能只有AI能看懂
理论物理学家Matt Strassler撰文称，这件事意味着再也不会有「牛顿」或「爱因斯坦」式的人物了，因为没有人类能跟得上这种速度。嘉宾Brian认为数学的价值本就在于「证明过程」而非结果本身，如果连过程都读不懂，后续研究如果继续在未经充分验证的AI结果上叠加，整个学科有变成一座「纸牌屋」的风险。
— Brian古雅典多数公职靠抽签，不是选举
本期「科学还是虚构」环节揭晓：古雅典虽是最早有记录的民主政体，也确实让自由成年男性公民投票，但大多数公职并非选举产生，而是通过「抽签制」随机分配，且多为一年任期，目的就是防止权力集中在富人手中——如果有人权势过大，公民还可以投票把他放逐十年。讽刺的是，能参与投票的仅占总人口约一成。
— Steve原话 · 已逐字校验
but there is this pretty consistent now anti-incumbent factor in every election since 2015
但自2015年以来，每次选举都存在这种相当稳定的反建制(反现任)因素。
Steve3:04
Don't be duped by this as a consumer because it feels right and it feels safer and it feels healthier. I'm telling you that statistically, scientifically, scientifically, it is not safer. It is not healthier.
别因为「感觉上对、感觉上更安全、感觉上更健康」就被这套话术骗了。我告诉你，统计上、科学上，这真的不是更安全、不是更健康。
Kara57:34
So if you did the worldwide replacement of all salt, they said their model said that it would prevent about 3 million deaths a year worldwide.
如果在全世界范围内把所有盐都替换成钾盐，他们的模型显示每年能避免约300万例死亡。
Steve1:01:40
it's not even the canary in the coal mine. I mean, that canary has been dead for a while, I think, in this scenario.
这已经不是「矿井里的金丝雀」了，我觉得这只金丝雀在这个情境里早就死了。
Brian1:19:18
But it caused the entire community of mathematicians worldwide to lose their goddamn mind.
但这件事让全世界的数学家都彻底破防了。
Brian1:20:18
Matt Strassler, who's a theoretical physicist, in his blog said this essentially means there are no more Newtons or Einsteins out there because no human will ever be able to keep up with this.
理论物理学家Matt Strassler在博客里说，这基本上意味着再也不会有牛顿或爱因斯坦了，因为没有任何人类能跟得上这个速度。
Brian1:39:02
They thought if you're running for office, then that would over time see too much powerful to wealthy elites. And they didn't want that to happen.
他们认为，如果靠竞选来当官，久而久之权力就会过度集中到富有的精英手里，而他们不想让这种事发生。
Steve1:56:47
数字与实体
| 选民中认为腐败是投票关键因素的比例 | 90% | 7:47 |
| 乙肝疫苗延迟两个月接种导致慢性感染上升幅度 | 19% | 50:12 |
| 采用「何时或是否接种」话术导致慢性感染上升幅度 | 83% | 52:19 |
| 全球换用钾盐可避免的年死亡数 | 约300万 | 1:01:40 |
| 全球换用钾盐可减少的伤残调整生命年 | 约7000万DALY | 1:01:40 |
| OpenAI一次性放出的数学论文数量 | 722篇 | 1:20:18 |
| 古雅典可参与投票的人口比例(自由成年男性公民) | 约10% | 1:56:47 |
| 全球民主指数中「完全民主」人口占比 | 6.6% | 1:53:38 |
术语
- LeanLean(证明验证语言)
- 一种能自动检验数学证明是否逻辑严密的编程语言。
- sortition抽签任命制
- 用随机抽签而非选举来决定谁担任公职的古雅典制度。
- Navier-Stokes equation纳维-斯托克斯方程
- 描述粘性流体运动的偏微分方程，七大千禧年数学难题之一。
- mathpocalypse数学末日/数学界大地震
- 嘉宾用来形容AI一次性产出大量数学证明论文、冲击整个学科的造词。
- action bias行动偏误
- 人们更容易责怪「采取行动导致的坏结果」而非「不作为导致的坏结果」的认知偏差。
收听指南
关心AI会如何冲击知识型工作的创业者和工程师，以及关注公共卫生政策话术如何被操纵的人。
开场中期选举闲聊和熊的故事信息密度低，可直接跳到疫苗、盐和数学部分。