{
  "text": "AI终于能攻克数学界真正的难题\n数学家却在这个时候站出来抗议\n25位菲尔兹奖得主联合发出警告\n超过4,000名研究人员跟进联署\n他们没有庆祝机器\n跨过新的智力门槛\n反而说AI公司的目标正在伤害数学\n这里留下了一个没有闭合的问题\n一个能给出正确证明\n还能帮助人类解决百年难题的系统\n为什么会被最顶尖的\n一批数学家视为威胁\n这场冲突来得很快\n2026年9月11日\n陶哲轩在个人博客公开了\n一份名为人工智能在数学\n中的严重错位的声明\n首批签署人全部是菲尔兹奖得主\n其中包括\n彼得苏尔茨玛丽娜维亚佐夫斯卡\n吴宝珠考切尔比尔卡尔和\n阿图尔阿维拉等人\n真名网站随后开放联署\n截至9月13日\n页面显示已有4,152名支持者\n如果只看标题\n很容易把它理解成\n传统学术界抵制新工具\n声明的内容却没有要求禁止AI\n也没有否认AI的研究价值\n签署者承认大语言模型的数学\n能力在最近几个月出现了剧烈提升\n已经能解决多个\n领域的重要未决问题\n他们真正反对的是AI公司把\n数学难题当做产品基准\n发布会成绩和商业竞赛的燃料\n这两种目标看起来只差一点\n最后可能把数学带\n向完全不同的地方\nAI公司需要一个容易传播的数字\n模型做对了几道题\n解决了多少开放问题\n性能超过了多少专家\n数学共同体需要的东西慢得多\n一套证明为什么成立\n他创造了什么新方法\n能不能被其他人理解\n能不能继续推到别的问题上\n又能不能进入课堂和教材\n前者需要结果\n后者需要形成知识\n过去一年\n冲突所需的技术条件已经出现\n2026年2月\nOpenai让内部模型挑战\n10道研究级数学问题\n公司最初判断至少\n5份证明很可能正确\n同时承认第二题的\n答案后来被发现有误\n这个细节非常关键\n研究级数学没有现成答案可以对照\n一份写的像证明的文字与\n一份真正经得住同行检查\n的证明外观可能非常接近\n到了5月\nOpenai宣布内部模型推翻了一个与\nOpenai宣布内部模型推翻了一个与平面单位距离有关的单位距离猜想\n多位数学家认为\n这项成果包含真正新颖\n的构造和跨领域方法\n如果一名人类研究者\n独立完成同样工作\n成果足以进入顶级期刊\nAI做数学由此跨过了一道重要界限\n他不再只会整理\n已知定理或解竞赛题\n开始在专业研究的前沿制造新结果\n8月Openai又集中公布10项数学\n与理论计算机科学进展\n9月Anthropic表示\nClaude用11天写出了费马大\n定理的完整lean形式化版本\n代码量达到1,300万行\n包含29,500个中间定理\n紧接着Openai宣布内部系统给出了\n纳维斯托克斯千禧年难题的一套\n解答并附上lean形式化证明\n后一个成果仍需数学界独立审查\n也没有自动获得\n克雷数学研究所承认\n可能力变化本身已经无法忽视\n数学家面对的是成\n规模的专业研究能力\n机器可以并行生成大量思路\n反复尝试证明路线\n再调用形式化工具检查逻辑\n它的工作速度开始超过\n人类共同体吸收结果的速度\n过去一项重大成果\n可能让同行讨论几年\n现在同一家公司可以在\n一个月里连续抛出多项突破\n这正是陶哲轩最担心的第一件事\n数学问题会被过快的消耗\n普通人往往把未解难题\n理解成一扇锁着的门\n谁找到钥匙谁就完成任务\n研究数学里的难题更接近一座路标\n它告诉研究者\n现有工具在哪个位置失效\n几代人向它靠近的过程中\n会发明新的语言新\n的概念和新的连接\n很多时候\n沿路出现的工具比最后\n那一步更能改变学科\n费马大定理就是典型例子\n怀尔斯的证明解决了一个\n写在书页边缘300多年的猜想\n围绕它发展起来的椭圆\n曲线模形式和数论方法\n还把原本相隔很远的\n数学区域连接到了一起\n学生学习这段历史\n除了知道方程没有正整数解\n还会接受一整套如何提出问题\n承受失败和重建工具的训练\nAI公司却天然偏爱终点\n终点可以做成新闻\n可以写进系统卡\n也可以变成估值叙事\n漫长的理解过程很难放进排行榜\n模型解决一道谜题\n企业获得一枚清楚的能力徽章\n模型帮助10名博士生\n慢慢建立新的直觉\n几乎无法被市场计价\n陶哲轩因此用了一個很重的判斷\n大规模生产真与假的结论\n可能毁掉孕育新思想的土壤\n这里说的毁掉并不\n代表旧定理会消失\n真正可能消失的是研究\n问题承担的训练功能\n一个年轻数学家原本\n可以沿着难题走几年\n在失败里形成判断力\n模型提前给出路线以后\n他也许能读懂结果\n却没有经历寻找路线的过程\n这和学生直接看到\n考试答案有一点相似\n却更加复杂\n考试题的目标本来就是训练\n研究问题的答案还会推动知识前进\nAI解决它当然有价值\n但它同时拿走了\n一部分供人类成长的阻力\n数学界需要判断\n哪些阻力只是低效率\n哪些阻力恰好构成了研究能力\n抗议发生前一天\n另一场争议已经把矛盾推到台前\n一个名为Mathathon的活动\n计划组织100支数学团队\n在40小时内使用前沿\n模型攻击开放问题\n并获得大约200万美元的AI算力额度\n活动宣传曾提出一个刺激性问题\n当AI解决猜想比人更快时\n数学家还扮演什么角色\n一批现任和前任\n加州理工学院数学研究者发出\n公开信要求暂停活动\n他们担心40小时冲刺会\n鼓励参与者抢结果\n把审查负担留给整个学术共同体\n还会让学生在不了解证明的\n情况下发布看起来重大的结论\nOpenai随后撤回赞助\n组织方也删除了那句\n关于数学家角色的宣传语\n并承认活动设计需要更充分\n的回应验证署名和教育问题\nMethathon把抽象争论变成了\n一套看得见的激励机制\n每支团队拿到高额计算资源\n时间只有40小时\n成功标准是解决并\n展示一个开放问题\n这样的赛制会奖励速度和结果\n不会自然奖励两个月后的复合质量\n组织者可以要求严谨\n但奖项注意力和公司宣传都\n在推动参与者尽快宣布突破\nAI数学的第二个矛盾就藏在这里\n生成证明的成本下降以后\n验证证明的成本未必同步下降\n传统论文的作者要对每一步负责\n同行发现漏洞\n作者需要回答修正\n严重时还要撤回结论\n模型可以在短时间内\n生成几十份候选证明\n其中大部分可能\n包含难以发现的错误\n研究者把它们交给同行\n生产成本由机器承担\n审查成本却转移给人类\n数量一旦扩大\n数学共同体\n会遭遇一种新的拒绝服务攻击\n系统仍然运行\n专家的注意力却被\n海量待验证材料占满\n形式化证明看起来能解决这个问题\nLean这样的证明助手要求\n每一步都符合明确规则\n机器可以检查结论是否\n由公理和已有定理推出\nAnthropic的费马大定理\n项目就展示了这条路线\n1,300万行代码虽然庞大\n但至少提供了可机械核验的对象\nOpenai公布纳维斯托克斯成果时\n也把Ling版本作为可信度的重要支柱\n机械验证解决的是逻辑有效性\n没能独自解决数学价值\n一个形式化证明可能正确\n却长到几乎没人能阅读\n他可能反复调用复杂引理\n却没有提炼出人类能复用的新观念\n他还可能依赖已有库中的大量工作\n而这些贡献在大众传播中被\n压缩成某个模型独立证明正确性\n理解和归属是三张不同的成绩单\n这也解释了申明\n为什么反复谈到写作\n数学成果要真正进入学科\n需要从最初的证明压缩\n成一套能交流的方法\n研究者会举办报告\n同行会寻找更短的路线\n教师会重写定义\n后来者会把结果放进教材\n这个过程有时持续10年\n最后留下来的包括结论\n也包括其他人能够\n继续使用的思考方式\nAI可以生成第一版证明\n也可以协助形式化\n可只要机器产生的速度\n远高于人类整理速度\n知识库里就会出现越来越多\n已经证明但尚未消化的区域\n人类知道结论成立\n却说不清它与整个学科的关系\n数学人在增长\n数学家的共同理解却没有同比增长\n这种状态会制造第三个风险\n知识开始分层\n少数拥有最强模型和\n最大算力的公司位于上层\n能够生成筛选和验证大量结果\n大学研究者位于下沉\n只能等待公司选择哪些成果公开\n公开的证明也可能\n使用尚未发布的模型\n外界无法复现实验\n更无法判断同类问题\n上到底失败了多少次\n数学过去也依赖昂贵资源\n大型计算数据库和专业\n软件从来不是免费的\n但纸和黑板上的核心论证\n原则上可以被全世界检查\n前沿模型把推理能力\n封装成商业服务以后\n研究条件会受到账户权限算力\n配额保密协议和公司策略影响\n谁能接触下一代系统\n谁就可能提前进入\n一片新的数学大陆\n于是署名问题不再只是礼貌\n模型训练材料来自几十年\n甚至几百年的论文教材和讨论\n一个新证明还可能沿着某位\n研究者刚刚公开的思路继续推进\n公司最后宣布模型解决了问题\n中间的人类贡献\n很容易变成背景噪声\n数学界对优先权格外敏感\n因为一个结果的\n价值常常与谁先提出\n谁先证明紧密相连\n人类作者需要引用前人的定理\n解释自己的新增部分\n模型很难可靠\n追踪某个想法来自训练材料\n搜索结果还是当前提示\n即使最终证明没有逐字复制\n思路归属仍可能模糊\n声明把它与抄袭风险并列\n原因就在这里\nAI公司也并非完全\n没有回应这些问题\nOpenai在公布10项数学进展时\n专门加入对数学共同体的责任\n表示要提供证明推理\n过程和外部专家意见\nFirst Proof项目承认流程不够干净\n并公开修正了一道最初\n判断可能正确的答案\nMathathon组织者面对批评后\n也调整了宣传与规则\n这些动作表明公司知道旧的产品\n发布方式无法直接套到数学研究上\n这些善意声明很难抵消商业竞争\nOpenai Anthropic Google和其他实验室\n都需要证明下一代模型更强\n数学具有明确问题可\n检查答案和高度智力象征\n几乎是最理想的展示舞台\n一家公司如果选择慢下来\n竞争对手仍可能先公布结果\n没有共同规则\n谨慎就会变成市场劣势\n数学家的抗议因此指向制度\n而不仅是某一家企业\n2026年6月\n国际数学联盟已经支持\n莱顿人工智能与数学宣言\n那份文件要求AI辅助研究保持\n披露可复现责任归属和公平获取\n并提醒公众不要把企业\n宣传直接当成同行评议\n9月的新声明语气更急\n说明几个月内能力跃升和发布节奏\n已经让原来的原则性警告显得不够\n反对这场抗议的人\n也提出了有力问题\n数学史上从来不缺新工具\n计算器计算机代数系统自动\n定理证明和数值模拟都曾被质疑\n最后却扩大了研究边界\n如果机器能验证正确结论\n为什么一定要让人类\n重复经历漫长失败\n把开放问题当做模型测试\n也可能带来过去无法获得的新方法\n还有一种批评更加直接\n数学家强调人类理解\n可能是在保护职业身份\n一个领域长期把解决\n难题视为最高荣誉\n当机器突然也能完成\n这套身份当然会受到冲击\n抗疫里既有公共利益\n也不可能完全没有\n地位就业和声望焦虑\n把所有担忧都包装成纯粹学术原则\n同样不够诚实\n这些反驳不能被轻易驳回\nAI解决单位距离猜想的\n案例已经证明机器可以\n提出专家认可的新颖思路\n费马大定理形式化也展示\n了自动化工具如何处理\n人类很难承受的工程量\n若因为担忧就把AI排除在数学之外\n结果可能是研究转入少数企业内部\n公共\n学术界反而失去\n参与制定规则的机会\n真正需要回答的问题是\n怎样让AI产生的结果\n继续服务于可理解可传承的数学\n这个目标至少需要5条新规则\n第一重大成果必须区分\n发现证明验证和解释\n模型找到猜想反例是一项贡献\n生成自然语言证明是另一项\nLin通过检查又是第三项\n外部数学家把方法整理\n成人类能理解的论文\n仍然构成独立工作\n宣传材料不能把这些环节\n压缩成一句AI独立解决\n第二发布要有冷却期\n公司可以先把候选\n结果交给领域专家\n在证明引用和归属\n完成基本检查后再公开\n数学新闻没有必要沿用\n消费电子产品抢首发的节奏\n慢几周不会损害定理\n抢几小时却可能\n伤害研究者的优先权。第三，验证成本需要由结果生产者承担\n验证成本需要由结果生产者承担\n一个实验室批量生成\n100份开放问题证明\n就应该提供相应的审查资源\n形式化材料和长期维护承诺\n不能把筛错工作免费\n转嫁给大学里的少数专家\n模型的吞吐量越高\n提交门槛反而应该越严第四\n算力获取需要更公平\n企业可以向学术团队开放模型\n但分配过程应当透明\n不能只邀请容易制造新闻的项目\n公共机构也需要建设独立算力\n让数学研究不必把核心方向\n绑定在一家公司的产品路线图上\n第五教育必须保留必要的困难\n学生可以使用AI检查证明\n寻找反例和比较路线\n但课程仍要训练他们在没有\n即时答案时建立问题结构\n未来数学家最重要的能力可能从最\n快找到证明转向判断什么值得证明\n哪种解释真正增加理解\n这种能力无法靠跳过基础训练获得\n这场争议对数学\n以外的领域也有意义\n软件工程医学法律和内容\n创作正在经历相同变化\n企业用输出数量衡量AI价值\n职业共同体关心的\n却是判断力责任和传承\n机器把结果生产的更快\n不代表一个行业的目标\n也应该改成产量最大化\n数学只是最早把矛盾说的足够清楚\n因为数学结论可以验证\n很多人以为这里最适合放心自动化\n可连数学家都在提醒\n正确答案仍然不等于完整知识\n那么在医学诊断政策研究和\n司法判断这些更依赖语境的领域\n问题只会更难\nAI也许会让数学迎来\n前所未有的繁荣\n机器可以探索巨大的猜想空间\n人类负责选择方向\n提炼概念和解释意义\n另一条路同样存在\n少数公司不断公布机器突破\n大学疲于验证\n年轻研究者失去成长路径\n数学变成外界无法复现的工业产物\n25位菲尔兹奖得主真正争夺的\n是这两条路之间的选择权\n他们已经看见AI会做数学\n甚至看见它可能比\n绝大多数人做得更快\n正因如此\n现在才是制定规则的\n最后一个宽松窗口\n等机器每天生成上千项新结果以后\n学术共同体连整理\n问题的时间都未必还有\n外界还需要分清解决\n数学问题的几个层级\n第一层是找到一个\n看起来可行的答案\n第二层是由专家逐行检查\n确认没有隐藏漏洞\n第三层是把证明转成\n形式系统可以核验的表达\n第四层是提取新方法\n说明它为什么有效\n又适用于哪些问题\n第五层才是把成果\n纳入整个数学知识体系\n企业发布消息时\n常常会把第一层到\n第五层压成一个词解决\n这个词省去了最困难的部分\n一份证明可能已经通过Lin\n却仍然没有简洁的人类解释\n一项构造也可能被多位专家认可\n但它与模型训练资料里的既有\n思路存在多大关系仍需调查\n观众看到同一个解决背后\n对应的成熟度可能完全不同纳维\n斯托克斯案例尤其能说明这种差别\nOpenai公开了论文和形式化材料\n这是接受检验的重要一步\n可千禧年难题有自己的正式程序\n数学界还要确认命题表达\n基础假设形式化代码与\n自然语言论证是否完全对应\n克雷数学研究所也不会因为公司\n发布页面出现就立即发放奖金\n用已经宣布解答描述\n当前状态比较准确\n写成九十年难题获得最终公认解决\n就跨过了尚未完成的审查\n单位距离猜想的情况又不一样\n外部数学家已经对成果的\n新颖性和期刊价值给予很高评价\n说明AI确实可能产生\n专业人士没有找到的思路\n这个例子让模型只是拼接训练数据的简单解释站不住脚\n训练数据的简单解释站不住脚\n但它也强化了署名难题\n模型使用了多少人类文献\n提示者如何选择问题\n外部专家怎样帮助验证\n公司又如何挑选最成功的运行\n这些环节共同构成成果\n如果所有功劳都归给模型\n人类协作者会被抹去\n如果所有功劳都归给操作模型的人\n模型的独立贡献又被低估\n传统作者制度只处理人和人的合作\n暂时没有适合这种\n混合生产的新标准\n出版社大学和资助机构\n必须决定模型能否作为作者\n提示与筛选过程是否需要公开\n失败尝试要保留到什么程度\n训练资料中的思想又该如何追溯\n这套礼仪不能等待多年再制定\n数学荣誉职位与研究\n经费都依赖成果归属\n一名年轻研究者花几年建立方法\n公司模型沿着公开\n线索完成最后一步\n新闻只记住模型名称\n这名研究者以后可能更不\n愿意提前分享开放交流\n一旦受到惩罚\n数学界会转向保密\nAI训练所依赖的新知识也会变少\n这里出现了一种很讽刺的反馈\nAI公司需要数学家公开论文和\n讨论模型才能接触最新思想\n公司又用最快速度把\n这些思想转化为机器成果\n削弱人类公开分享的回报\n短期看企业获得更多突破\n长期看知识源头可能因此收紧\n一个依赖开放科学的产业\n如果把开放贡献者变成输家\n最终会破坏自己的上游供应\n研究经费同样会受到影响\n公共资助者看到模型\n能在几天内完成证明\n可能认为数学研究应该更便宜\n或者把资金转向算力采购\n可模型能够使用的\n概念问题和验证标准\n全都来自长期基础研究\n减少对人的投资\n短期不会立刻让模型停下\n几年后却会出现新问题不足\n专业审查不足和理论教育断层\n大学最容易犯的错误是把\nAI理解成普通效率工具\n然后用同一人数追求更多论文\n研究者会被迫不断提交\n模型生成的候选成果\n同行评审则被更多材料淹没\n产出数字上升\n真正被消化的知识反而下降\nAI带来的节省最后\n转化成更高考核压力\n没有留下更深研究所需的时间\n另一种极端也有风险\n大学如果全面禁止AI\n学生和研究人员会在地下使用方法\n无法讨论失败\n案例也不会进入公共经验\n公司内部则继续快速推进\n几年以后\n最强工具使用技巧和\n前沿成果都集中在企业\n学术界只剩下事后评论\n抗议要产生作用\n必须把拒绝失控竞赛与\n参与技术设计同时推进\n比较可行的路径\n是把AI当成一种需要公开\n实验记录的新型研究设备\n数学家使用它时\n要记录模型版本提示方式\n搜索预算人工选择和后续修改\n公司声称模型独立发现时\n也应披露运行次数与筛选过程\n一次成功输出\n如果来自百万次并行尝试\n它仍然可能很有价值\n但这种能力与单次\n推理产生原创洞见\n属于两种不同现象\n失败记录特别重要\n模型发布页天然只展示成功案例\n外界容易高估稳定性\nFirst Proof里那道后来\n确认错误的答案说明\n初步专家印象也\n可能被流畅论证影响\n只有同时知道成功率\n错误类型和人工干预程度\n数学家才能判断模型究竟\n适合提出猜想寻找证明\n还是只适合做形式检查\n同行评审也需要改变\n过去审稿人主要判断一篇论文\n现在可能要审查一套人机工作流\n证明本身正确\n不代表实验设计足以\n支持模型自主完成的宣传\n审查者还要看问题是否提前泄露\n模型能否从训练数据找回近似答案\n人类提供了多少方向性提示\n以及公司有没有只挑最好结果\n这些要求会让发布速度下降\n却不会阻止AI进步\n相反\n他们能把真正能力与营销噪声分开\n一个模型若能在透明\n条件下稳定解决陌生问题\n价值会比一连串无法\n复现的轰动标题更高\n企业也能借此建立可信记录\n避免每次数学发布都\n陷入真假和抢功争议\n对普通观众而言\n这场抗议还提供了\n一个判断AI新闻的方法\n看到AI解决世纪难题\n先问四件事\n证明由谁检查\n材料是否公开\n模型完成了哪一段\n人类又完成了哪一段\n再看它有没有产生可解释的新方法\n以及结果是否通过正式学术程序\n四个问题答不出来\n标题里的确定性就需要打折\n未来可能出现三种局面\n第一种是AI成为\n数学家的高倍显微镜\n扩大探索范围\n结果仍由开放共同体吸收\n第二种是企业形成封闭的数学工厂\n大学只能验证公司选择公开的结论\n第三种更加混乱\n大量模型和团队同时生产证明\n没人有时间辨别重要性\n数学文献被正确错误\n和重复结果一起塞满\n目前最有希望的人是第一种\n但他不会自动发生\n企业有速度激励\n大学有论文激励\n媒体有流量激励\n三方都会偏向快速宣布\n让理解重新获得价值\n需要资助机构愿意支持解释与复核\n期刊愿意奖励高质量整理\n公司愿意接受外部审查\n数学家也要主动学习新工具\n因此公开信把最尖锐的\n判断放在错位两个字上\n工具能力与学科目标没有天然一致\n机器越强\n这种偏差造成的后果越大\nAI把每小时能产生的\n证明数量提高100倍\n如果评价体系仍指数成果\n人类就会得到100倍的发布压力\n理解却不会同步增加\n开头那个问题现在有了答案\n数学家担心机器得出正确答案以后\n人类共同体可能失去理解\n负责和传承这些答案的能力\n数学如果只剩下一座\n不断扩张的结论仓库\n它仍然正确\n却不再完整\n这场抗议也没有给AI判死刑\n他要求AI公司承认数学不是\n可随意开采的基准矿场\n每一道难题背后都有研究者\n学生和长期积累的公共知识\nAI可以加速这套体系\n但不能只拿走最耀眼的结果\n再把验证解释和传承留给别人\n未来真正值得庆祝的突破\n不该只是一家公司宣布\n模型攻克了哪道名题\n更高的标准是机器找到\n的新方法能被人类读懂\n贡献得到准确记录\n证明可以独立复核\n下一代研究者还能\n在它上面继续建设\n做到这一步\nAI才是在扩大数学\n做不到速度越快\n错位就越严重",
  "language": "zh",
  "duration": 1637.0,
  "segments": [
    {
      "id": 0,
      "start": 0.2,
      "end": 3.133,
      "text": "AI终于能攻克数学界真正的难题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 1,
      "start": 3.5,
      "end": 6.066,
      "text": "数学家却在这个时候站出来抗议",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 2,
      "start": 6.5,
      "end": 9.666,
      "text": "25位菲尔兹奖得主联合发出警告",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 3,
      "start": 9.8,
      "end": 12.533,
      "text": "超过4,000名研究人员跟进联署",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 4,
      "start": 12.733,
      "end": 14.366,
      "text": "他们没有庆祝机器",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 5,
      "start": 14.366,
      "end": 16.1,
      "text": "跨过新的智力门槛",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 6,
      "start": 16.4,
      "end": 19.766,
      "text": "反而说AI公司的目标正在伤害数学",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 7,
      "start": 20.1,
      "end": 22.4,
      "text": "这里留下了一个没有闭合的问题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 8,
      "start": 22.6,
      "end": 24.533,
      "text": "一个能给出正确证明",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 9,
      "start": 24.566,
      "end": 27.566,
      "text": "还能帮助人类解决百年难题的系统",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 10,
      "start": 27.966,
      "end": 29.333,
      "text": "为什么会被最顶尖的",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 11,
      "start": 29.333,
      "end": 31.133,
      "text": "一批数学家视为威胁",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 12,
      "start": 31.333,
      "end": 32.966,
      "text": "这场冲突来得很快",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 13,
      "start": 33.1,
      "end": 35.166,
      "text": "2026年9月11日",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 14,
      "start": 35.266,
      "end": 37.166,
      "text": "陶哲轩在个人博客公开了",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 15,
      "start": 37.166,
      "end": 39.533,
      "text": "一份名为人工智能在数学",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 16,
      "start": 39.533,
      "end": 41.333,
      "text": "中的严重错位的声明",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 17,
      "start": 41.466,
      "end": 44.5,
      "text": "首批签署人全部是菲尔兹奖得主",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 18,
      "start": 44.8,
      "end": 45.466,
      "text": "其中包括",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 19,
      "start": 45.466,
      "end": 48.733,
      "text": "彼得苏尔茨玛丽娜维亚佐夫斯卡",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 20,
      "start": 48.866,
      "end": 51.7,
      "text": "吴宝珠考切尔比尔卡尔和",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 21,
      "start": 51.7,
      "end": 53.5,
      "text": "阿图尔阿维拉等人",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 22,
      "start": 53.7,
      "end": 55.766,
      "text": "真名网站随后开放联署",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle",
      "text_original": "真名网站随后开放连锁",
      "correction_applied": true,
      "correction_source": "llm_correct_a_presegmentation"
    },
    {
      "id": 23,
      "start": 56.266,
      "end": 57.733,
      "text": "截至9月13日",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 24,
      "start": 57.766,
      "end": 61.133,
      "text": "页面显示已有4,152名支持者",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 25,
      "start": 61.166,
      "end": 62.566,
      "text": "如果只看标题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 26,
      "start": 62.666,
      "end": 64.133,
      "text": "很容易把它理解成",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 27,
      "start": 64.133,
      "end": 66.3,
      "text": "传统学术界抵制新工具",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 28,
      "start": 66.6,
      "end": 69.4,
      "text": "声明的内容却没有要求禁止AI",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 29,
      "start": 69.766,
      "end": 72.066,
      "text": "也没有否认AI的研究价值",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 30,
      "start": 72.266,
      "end": 74.9,
      "text": "签署者承认大语言模型的数学",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 31,
      "start": 74.9,
      "end": 78.166,
      "text": "能力在最近几个月出现了剧烈提升",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 32,
      "start": 78.366,
      "end": 79.7,
      "text": "已经能解决多个",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 33,
      "start": 79.7,
      "end": 81.5,
      "text": "领域的重要未决问题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 34,
      "start": 81.866,
      "end": 84.733,
      "text": "他们真正反对的是AI公司把",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 35,
      "start": 84.733,
      "end": 87.066,
      "text": "数学难题当做产品基准",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 36,
      "start": 87.2,
      "end": 89.933,
      "text": "发布会成绩和商业竞赛的燃料",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 37,
      "start": 90.066,
      "end": 92.5,
      "text": "这两种目标看起来只差一点",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 38,
      "start": 93.0,
      "end": 94.4,
      "text": "最后可能把数学带",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 39,
      "start": 94.4,
      "end": 95.9,
      "text": "向完全不同的地方",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 40,
      "start": 96.166,
      "end": 99.1,
      "text": "AI公司需要一个容易传播的数字",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 41,
      "start": 99.4,
      "end": 101.0,
      "text": "模型做对了几道题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 42,
      "start": 101.2,
      "end": 103.1,
      "text": "解决了多少开放问题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 43,
      "start": 103.6,
      "end": 105.466,
      "text": "性能超过了多少专家",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 44,
      "start": 105.7,
      "end": 108.166,
      "text": "数学共同体需要的东西慢得多",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 45,
      "start": 108.166,
      "end": 109.866,
      "text": "一套证明为什么成立",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 46,
      "start": 110.133,
      "end": 111.866,
      "text": "他创造了什么新方法",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 47,
      "start": 112.066,
      "end": 113.9,
      "text": "能不能被其他人理解",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 48,
      "start": 114.1,
      "end": 116.333,
      "text": "能不能继续推到别的问题上",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 49,
      "start": 116.4,
      "end": 118.5,
      "text": "又能不能进入课堂和教材",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 50,
      "start": 118.9,
      "end": 120.3,
      "text": "前者需要结果",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 51,
      "start": 120.4,
      "end": 122.166,
      "text": "后者需要形成知识",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 52,
      "start": 122.366,
      "end": 123.366,
      "text": "过去一年",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 53,
      "start": 123.566,
      "end": 125.933,
      "text": "冲突所需的技术条件已经出现",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 54,
      "start": 126.5,
      "end": 127.966,
      "text": "2026年2月",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 55,
      "start": 128.133,
      "end": 130.266,
      "text": "Openai让内部模型挑战",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 56,
      "start": 130.266,
      "end": 132.166,
      "text": "10道研究级数学问题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 57,
      "start": 132.366,
      "end": 133.966,
      "text": "公司最初判断至少",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 58,
      "start": 133.966,
      "end": 136.066,
      "text": "5份证明很可能正确",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 59,
      "start": 136.366,
      "end": 137.966,
      "text": "同时承认第二题的",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 60,
      "start": 137.966,
      "end": 139.733,
      "text": "答案后来被发现有误",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 61,
      "start": 139.933,
      "end": 141.566,
      "text": "这个细节非常关键",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 62,
      "start": 141.8,
      "end": 144.5,
      "text": "研究级数学没有现成答案可以对照",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 63,
      "start": 145.133,
      "end": 147.166,
      "text": "一份写的像证明的文字与",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 64,
      "start": 147.166,
      "end": 149.0,
      "text": "一份真正经得住同行检查",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 65,
      "start": 149.0,
      "end": 151.5,
      "text": "的证明外观可能非常接近",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 66,
      "start": 151.6,
      "end": 152.6,
      "text": "到了5月",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 67,
      "start": 152.733,
      "end": 155.533,
      "text": "Openai宣布内部模型推翻了一个与",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 68,
      "start": 155.533,
      "end": 158.266,
      "text": "Openai宣布内部模型推翻了一个与平面单位距离有关的单位距离猜想",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle",
      "text_original": "平面单位距离有关的长崎猜想",
      "correction_applied": true,
      "correction_source": "llm_correct_a_presegmentation"
    },
    {
      "id": 69,
      "start": 158.566,
      "end": 159.866,
      "text": "多位数学家认为",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 70,
      "start": 159.866,
      "end": 162.0,
      "text": "这项成果包含真正新颖",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 71,
      "start": 162.0,
      "end": 164.066,
      "text": "的构造和跨领域方法",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 72,
      "start": 164.333,
      "end": 165.966,
      "text": "如果一名人类研究者",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 73,
      "start": 165.966,
      "end": 167.566,
      "text": "独立完成同样工作",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 74,
      "start": 167.566,
      "end": 169.566,
      "text": "成果足以进入顶级期刊",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 75,
      "start": 169.8,
      "end": 173.1,
      "text": "AI做数学由此跨过了一道重要界限",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 76,
      "start": 173.366,
      "end": 174.666,
      "text": "他不再只会整理",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 77,
      "start": 174.666,
      "end": 176.733,
      "text": "已知定理或解竞赛题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 78,
      "start": 176.866,
      "end": 179.8,
      "text": "开始在专业研究的前沿制造新结果",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 79,
      "start": 179.9,
      "end": 183.4,
      "text": "8月Openai又集中公布10项数学",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 80,
      "start": 183.4,
      "end": 185.866,
      "text": "与理论计算机科学进展",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 81,
      "start": 186.366,
      "end": 188.333,
      "text": "9月Anthropic表示",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 82,
      "start": 188.533,
      "end": 190.733,
      "text": "Claude用11天写出了费马大",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 83,
      "start": 190.733,
      "end": 193.4,
      "text": "定理的完整lean形式化版本",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 84,
      "start": 193.6,
      "end": 195.666,
      "text": "代码量达到1,300万行",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 85,
      "start": 195.933,
      "end": 198.4,
      "text": "包含29,500个中间定理",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 86,
      "start": 198.866,
      "end": 202.066,
      "text": "紧接着Openai宣布内部系统给出了",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 87,
      "start": 202.066,
      "end": 205.066,
      "text": "纳维斯托克斯千禧年难题的一套",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 88,
      "start": 205.066,
      "end": 207.933,
      "text": "解答并附上lean形式化证明",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 89,
      "start": 208.066,
      "end": 211.1,
      "text": "后一个成果仍需数学界独立审查",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 90,
      "start": 212.0,
      "end": 213.133,
      "text": "也没有自动获得",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 91,
      "start": 213.133,
      "end": 214.933,
      "text": "克雷数学研究所承认",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 92,
      "start": 215.566,
      "end": 218.333,
      "text": "可能力变化本身已经无法忽视",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 93,
      "start": 218.566,
      "end": 219.966,
      "text": "数学家面对的是成",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 94,
      "start": 219.966,
      "end": 221.666,
      "text": "规模的专业研究能力",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 95,
      "start": 222.2,
      "end": 224.533,
      "text": "机器可以并行生成大量思路",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 96,
      "start": 224.733,
      "end": 226.466,
      "text": "反复尝试证明路线",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 97,
      "start": 226.566,
      "end": 229.066,
      "text": "再调用形式化工具检查逻辑",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 98,
      "start": 229.3,
      "end": 231.666,
      "text": "它的工作速度开始超过",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 99,
      "start": 231.666,
      "end": 234.1,
      "text": "人类共同体吸收结果的速度",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 100,
      "start": 234.2,
      "end": 236.133,
      "text": "过去一项重大成果",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 101,
      "start": 236.133,
      "end": 238.133,
      "text": "可能让同行讨论几年",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 102,
      "start": 238.766,
      "end": 240.966,
      "text": "现在同一家公司可以在",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 103,
      "start": 240.966,
      "end": 243.533,
      "text": "一个月里连续抛出多项突破",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 104,
      "start": 243.933,
      "end": 246.666,
      "text": "这正是陶哲轩最担心的第一件事",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle",
      "text_original": "这正是申敏最担心的第一件事",
      "correction_applied": true,
      "correction_source": "llm_correct_a_presegmentation"
    },
    {
      "id": 105,
      "start": 247.366,
      "end": 249.533,
      "text": "数学问题会被过快的消耗",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 106,
      "start": 249.866,
      "end": 251.966,
      "text": "普通人往往把未解难题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 107,
      "start": 251.966,
      "end": 253.8,
      "text": "理解成一扇锁着的门",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 108,
      "start": 253.933,
      "end": 256.466,
      "text": "谁找到钥匙谁就完成任务",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 109,
      "start": 256.8,
      "end": 259.566,
      "text": "研究数学里的难题更接近一座路标",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 110,
      "start": 259.8,
      "end": 261.1,
      "text": "它告诉研究者",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 111,
      "start": 261.2,
      "end": 263.533,
      "text": "现有工具在哪个位置失效",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 112,
      "start": 263.666,
      "end": 265.933,
      "text": "几代人向它靠近的过程中",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 113,
      "start": 265.966,
      "end": 267.9,
      "text": "会发明新的语言新",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 114,
      "start": 267.9,
      "end": 269.7,
      "text": "的概念和新的连接",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 115,
      "start": 270.5,
      "end": 271.333,
      "text": "很多时候",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 116,
      "start": 271.533,
      "end": 273.266,
      "text": "沿路出现的工具比最后",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 117,
      "start": 273.266,
      "end": 275.166,
      "text": "那一步更能改变学科",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 118,
      "start": 275.4,
      "end": 277.4,
      "text": "费马大定理就是典型例子",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 119,
      "start": 277.666,
      "end": 279.333,
      "text": "怀尔斯的证明解决了一个",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 120,
      "start": 279.333,
      "end": 281.966,
      "text": "写在书页边缘300多年的猜想",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 121,
      "start": 282.333,
      "end": 284.166,
      "text": "围绕它发展起来的椭圆",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 122,
      "start": 284.166,
      "end": 286.866,
      "text": "曲线模形式和数论方法",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 123,
      "start": 286.933,
      "end": 288.733,
      "text": "还把原本相隔很远的",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 124,
      "start": 288.733,
      "end": 290.7,
      "text": "数学区域连接到了一起",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 125,
      "start": 290.8,
      "end": 292.4,
      "text": "学生学习这段历史",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 126,
      "start": 292.566,
      "end": 294.933,
      "text": "除了知道方程没有正整数解",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 127,
      "start": 295.566,
      "end": 297.9,
      "text": "还会接受一整套如何提出问题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 128,
      "start": 298.066,
      "end": 300.466,
      "text": "承受失败和重建工具的训练",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 129,
      "start": 300.6,
      "end": 303.266,
      "text": "AI公司却天然偏爱终点",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 130,
      "start": 303.766,
      "end": 305.333,
      "text": "终点可以做成新闻",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 131,
      "start": 305.5,
      "end": 306.966,
      "text": "可以写进系统卡",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 132,
      "start": 307.1,
      "end": 308.9,
      "text": "也可以变成估值叙事",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 133,
      "start": 309.6,
      "end": 312.4,
      "text": "漫长的理解过程很难放进排行榜",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 134,
      "start": 312.566,
      "end": 314.166,
      "text": "模型解决一道谜题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 135,
      "start": 314.333,
      "end": 316.933,
      "text": "企业获得一枚清楚的能力徽章",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 136,
      "start": 317.333,
      "end": 319.3,
      "text": "模型帮助10名博士生",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 137,
      "start": 319.3,
      "end": 320.966,
      "text": "慢慢建立新的直觉",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 138,
      "start": 321.133,
      "end": 323.066,
      "text": "几乎无法被市场计价",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 139,
      "start": 323.2,
      "end": 325.933,
      "text": "陶哲轩因此用了一個很重的判斷",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle",
      "text_original": "申铭因此用了一个很重的判断",
      "correction_applied": true,
      "correction_source": "llm_correct_a_presegmentation"
    },
    {
      "id": 140,
      "start": 326.6,
      "end": 328.9,
      "text": "大规模生产真与假的结论",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 141,
      "start": 328.9,
      "end": 331.366,
      "text": "可能毁掉孕育新思想的土壤",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 142,
      "start": 331.733,
      "end": 333.5,
      "text": "这里说的毁掉并不",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 143,
      "start": 333.5,
      "end": 335.166,
      "text": "代表旧定理会消失",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 144,
      "start": 335.533,
      "end": 337.166,
      "text": "真正可能消失的是研究",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 145,
      "start": 337.166,
      "end": 339.5,
      "text": "问题承担的训练功能",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 146,
      "start": 339.566,
      "end": 341.3,
      "text": "一个年轻数学家原本",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 147,
      "start": 341.3,
      "end": 343.066,
      "text": "可以沿着难题走几年",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 148,
      "start": 343.066,
      "end": 345.133,
      "text": "在失败里形成判断力",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 149,
      "start": 345.466,
      "end": 347.6,
      "text": "模型提前给出路线以后",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 150,
      "start": 347.666,
      "end": 349.333,
      "text": "他也许能读懂结果",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 151,
      "start": 349.333,
      "end": 351.733,
      "text": "却没有经历寻找路线的过程",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 152,
      "start": 352.1,
      "end": 353.533,
      "text": "这和学生直接看到",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 153,
      "start": 353.533,
      "end": 355.366,
      "text": "考试答案有一点相似",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 154,
      "start": 355.366,
      "end": 356.566,
      "text": "却更加复杂",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 155,
      "start": 356.766,
      "end": 358.966,
      "text": "考试题的目标本来就是训练",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 156,
      "start": 359.5,
      "end": 362.266,
      "text": "研究问题的答案还会推动知识前进",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 157,
      "start": 362.766,
      "end": 364.766,
      "text": "AI解决它当然有价值",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 158,
      "start": 364.8,
      "end": 366.066,
      "text": "但它同时拿走了",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 159,
      "start": 366.066,
      "end": 368.266,
      "text": "一部分供人类成长的阻力",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 160,
      "start": 368.466,
      "end": 369.966,
      "text": "数学界需要判断",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 161,
      "start": 370.066,
      "end": 372.0,
      "text": "哪些阻力只是低效率",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 162,
      "start": 372.133,
      "end": 374.866,
      "text": "哪些阻力恰好构成了研究能力",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 163,
      "start": 375.066,
      "end": 376.533,
      "text": "抗议发生前一天",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle",
      "text_original": "抗疫发生前一天",
      "correction_applied": true,
      "correction_source": "llm_correct_a_presegmentation"
    },
    {
      "id": 164,
      "start": 376.966,
      "end": 379.966,
      "text": "另一场争议已经把矛盾推到台前",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 165,
      "start": 379.966,
      "end": 381.733,
      "text": "一个名为Mathathon的活动",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 166,
      "start": 381.733,
      "end": 384.3,
      "text": "计划组织100支数学团队",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 167,
      "start": 384.366,
      "end": 386.533,
      "text": "在40小时内使用前沿",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 168,
      "start": 386.533,
      "end": 388.3,
      "text": "模型攻击开放问题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 169,
      "start": 388.366,
      "end": 391.9,
      "text": "并获得大约200万美元的AI算力额度",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 170,
      "start": 392.0,
      "end": 394.733,
      "text": "活动宣传曾提出一个刺激性问题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 171,
      "start": 395.166,
      "end": 398.166,
      "text": "当AI解决猜想比人更快时",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 172,
      "start": 398.366,
      "end": 400.366,
      "text": "数学家还扮演什么角色",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 173,
      "start": 400.566,
      "end": 402.166,
      "text": "一批现任和前任",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 174,
      "start": 402.166,
      "end": 404.566,
      "text": "加州理工学院数学研究者发出",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 175,
      "start": 404.566,
      "end": 407.066,
      "text": "公开信要求暂停活动",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 176,
      "start": 407.3,
      "end": 410.066,
      "text": "他们担心40小时冲刺会",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 177,
      "start": 410.066,
      "end": 411.9,
      "text": "鼓励参与者抢结果",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 178,
      "start": 412.3,
      "end": 415.066,
      "text": "把审查负担留给整个学术共同体",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 179,
      "start": 415.133,
      "end": 417.266,
      "text": "还会让学生在不了解证明的",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 180,
      "start": 417.266,
      "end": 419.8,
      "text": "情况下发布看起来重大的结论",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 181,
      "start": 420.066,
      "end": 422.166,
      "text": "Openai随后撤回赞助",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 182,
      "start": 422.6,
      "end": 424.133,
      "text": "组织方也删除了那句",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 183,
      "start": 424.133,
      "end": 426.333,
      "text": "关于数学家角色的宣传语",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 184,
      "start": 426.533,
      "end": 428.866,
      "text": "并承认活动设计需要更充分",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 185,
      "start": 428.866,
      "end": 432.666,
      "text": "的回应验证署名和教育问题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 186,
      "start": 432.8,
      "end": 434.8,
      "text": "Methathon把抽象争论变成了",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 187,
      "start": 434.8,
      "end": 436.866,
      "text": "一套看得见的激励机制",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 188,
      "start": 437.166,
      "end": 439.7,
      "text": "每支团队拿到高额计算资源",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 189,
      "start": 439.866,
      "end": 441.533,
      "text": "时间只有40小时",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 190,
      "start": 442.066,
      "end": 443.7,
      "text": "成功标准是解决并",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 191,
      "start": 443.7,
      "end": 445.266,
      "text": "展示一个开放问题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 192,
      "start": 445.4,
      "end": 447.966,
      "text": "这样的赛制会奖励速度和结果",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 193,
      "start": 447.966,
      "end": 450.9,
      "text": "不会自然奖励两个月后的复合质量",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 194,
      "start": 451.166,
      "end": 452.966,
      "text": "组织者可以要求严谨",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 195,
      "start": 453.1,
      "end": 456.1,
      "text": "但奖项注意力和公司宣传都",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 196,
      "start": 456.1,
      "end": 458.6,
      "text": "在推动参与者尽快宣布突破",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 197,
      "start": 458.733,
      "end": 461.2,
      "text": "AI数学的第二个矛盾就藏在这里",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 198,
      "start": 461.466,
      "end": 463.8,
      "text": "生成证明的成本下降以后",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 199,
      "start": 464.0,
      "end": 466.7,
      "text": "验证证明的成本未必同步下降",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 200,
      "start": 467.133,
      "end": 469.7,
      "text": "传统论文的作者要对每一步负责",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 201,
      "start": 469.866,
      "end": 471.166,
      "text": "同行发现漏洞",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 202,
      "start": 471.366,
      "end": 473.666,
      "text": "作者需要回答修正",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 203,
      "start": 473.9,
      "end": 475.866,
      "text": "严重时还要撤回结论",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 204,
      "start": 476.066,
      "end": 477.6,
      "text": "模型可以在短时间内",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 205,
      "start": 477.6,
      "end": 479.5,
      "text": "生成几十份候选证明",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 206,
      "start": 479.9,
      "end": 480.866,
      "text": "其中大部分可能",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 207,
      "start": 480.866,
      "end": 482.533,
      "text": "包含难以发现的错误",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 208,
      "start": 482.766,
      "end": 484.666,
      "text": "研究者把它们交给同行",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 209,
      "start": 484.766,
      "end": 486.733,
      "text": "生产成本由机器承担",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 210,
      "start": 486.9,
      "end": 488.933,
      "text": "审查成本却转移给人类",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 211,
      "start": 489.1,
      "end": 490.466,
      "text": "数量一旦扩大",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 212,
      "start": 490.6,
      "end": 491.6,
      "text": "数学共同体",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 213,
      "start": 491.6,
      "end": 494.133,
      "text": "会遭遇一种新的拒绝服务攻击",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 214,
      "start": 494.533,
      "end": 495.733,
      "text": "系统仍然运行",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 215,
      "start": 495.8,
      "end": 497.133,
      "text": "专家的注意力却被",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 216,
      "start": 497.133,
      "end": 499.0,
      "text": "海量待验证材料占满",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 217,
      "start": 499.2,
      "end": 501.966,
      "text": "形式化证明看起来能解决这个问题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 218,
      "start": 502.366,
      "end": 504.166,
      "text": "Lean这样的证明助手要求",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle",
      "text_original": "Ling这样的证明助手要求",
      "correction_applied": true,
      "correction_source": "llm_correct_a_presegmentation"
    },
    {
      "id": 219,
      "start": 504.166,
      "end": 506.166,
      "text": "每一步都符合明确规则",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 220,
      "start": 506.366,
      "end": 508.566,
      "text": "机器可以检查结论是否",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 221,
      "start": 508.566,
      "end": 510.866,
      "text": "由公理和已有定理推出",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 222,
      "start": 511.0,
      "end": 513.0,
      "text": "Anthropic的费马大定理",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 223,
      "start": 513.0,
      "end": 514.9,
      "text": "项目就展示了这条路线",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 224,
      "start": 515.066,
      "end": 517.2,
      "text": "1,300万行代码虽然庞大",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 225,
      "start": 517.3,
      "end": 519.9,
      "text": "但至少提供了可机械核验的对象",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 226,
      "start": 520.333,
      "end": 523.7,
      "text": "Openai公布纳维斯托克斯成果时",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 227,
      "start": 523.733,
      "end": 526.766,
      "text": "也把Ling版本作为可信度的重要支柱",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 228,
      "start": 526.966,
      "end": 529.666,
      "text": "机械验证解决的是逻辑有效性",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 229,
      "start": 529.9,
      "end": 532.066,
      "text": "没能独自解决数学价值",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 230,
      "start": 532.166,
      "end": 534.4,
      "text": "一个形式化证明可能正确",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 231,
      "start": 534.566,
      "end": 536.7,
      "text": "却长到几乎没人能阅读",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 232,
      "start": 537.133,
      "end": 539.333,
      "text": "他可能反复调用复杂引理",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 233,
      "start": 539.5,
      "end": 542.533,
      "text": "却没有提炼出人类能复用的新观念",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 234,
      "start": 543.066,
      "end": 546.1,
      "text": "他还可能依赖已有库中的大量工作",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 235,
      "start": 546.2,
      "end": 548.8,
      "text": "而这些贡献在大众传播中被",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 236,
      "start": 548.8,
      "end": 552.733,
      "text": "压缩成某个模型独立证明正确性",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 237,
      "start": 553.266,
      "end": 556.133,
      "text": "理解和归属是三张不同的成绩单",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 238,
      "start": 556.2,
      "end": 557.5,
      "text": "这也解释了申明",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 239,
      "start": 557.5,
      "end": 559.2,
      "text": "为什么反复谈到写作",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 240,
      "start": 559.733,
      "end": 561.966,
      "text": "数学成果要真正进入学科",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 241,
      "start": 562.5,
      "end": 564.266,
      "text": "需要从最初的证明压缩",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 242,
      "start": 564.266,
      "end": 566.0,
      "text": "成一套能交流的方法",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 243,
      "start": 566.266,
      "end": 567.933,
      "text": "研究者会举办报告",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 244,
      "start": 568.1,
      "end": 570.166,
      "text": "同行会寻找更短的路线",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 245,
      "start": 570.7,
      "end": 572.266,
      "text": "教师会重写定义",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 246,
      "start": 572.533,
      "end": 574.9,
      "text": "后来者会把结果放进教材",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 247,
      "start": 575.066,
      "end": 577.133,
      "text": "这个过程有时持续10年",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 248,
      "start": 577.7,
      "end": 579.4,
      "text": "最后留下来的包括结论",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 249,
      "start": 579.5,
      "end": 580.766,
      "text": "也包括其他人能够",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 250,
      "start": 580.766,
      "end": 582.5,
      "text": "继续使用的思考方式",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 251,
      "start": 582.9,
      "end": 584.9,
      "text": "AI可以生成第一版证明",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 252,
      "start": 584.933,
      "end": 586.666,
      "text": "也可以协助形式化",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 253,
      "start": 586.7,
      "end": 588.5,
      "text": "可只要机器产生的速度",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 254,
      "start": 588.533,
      "end": 590.333,
      "text": "远高于人类整理速度",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 255,
      "start": 590.8,
      "end": 592.9,
      "text": "知识库里就会出现越来越多",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 256,
      "start": 592.9,
      "end": 595.266,
      "text": "已经证明但尚未消化的区域",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 257,
      "start": 595.466,
      "end": 597.166,
      "text": "人类知道结论成立",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 258,
      "start": 597.333,
      "end": 599.933,
      "text": "却说不清它与整个学科的关系",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 259,
      "start": 600.4,
      "end": 601.8,
      "text": "数学人在增长",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 260,
      "start": 601.966,
      "end": 605.0,
      "text": "数学家的共同理解却没有同比增长",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 261,
      "start": 605.1,
      "end": 607.666,
      "text": "这种状态会制造第三个风险",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 262,
      "start": 607.9,
      "end": 609.2,
      "text": "知识开始分层",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 263,
      "start": 609.4,
      "end": 611.1,
      "text": "少数拥有最强模型和",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 264,
      "start": 611.1,
      "end": 613.2,
      "text": "最大算力的公司位于上层",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 265,
      "start": 613.466,
      "end": 616.7,
      "text": "能够生成筛选和验证大量结果",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 266,
      "start": 617.3,
      "end": 618.966,
      "text": "大学研究者位于下沉",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 267,
      "start": 619.3,
      "end": 621.966,
      "text": "只能等待公司选择哪些成果公开",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 268,
      "start": 622.133,
      "end": 623.366,
      "text": "公开的证明也可能",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 269,
      "start": 623.366,
      "end": 625.1,
      "text": "使用尚未发布的模型",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 270,
      "start": 625.7,
      "end": 627.3,
      "text": "外界无法复现实验",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 271,
      "start": 627.333,
      "end": 628.966,
      "text": "更无法判断同类问题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 272,
      "start": 628.966,
      "end": 630.9,
      "text": "上到底失败了多少次",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 273,
      "start": 631.066,
      "end": 633.366,
      "text": "数学过去也依赖昂贵资源",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 274,
      "start": 633.4,
      "end": 635.933,
      "text": "大型计算数据库和专业",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 275,
      "start": 635.933,
      "end": 637.866,
      "text": "软件从来不是免费的",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 276,
      "start": 638.1,
      "end": 640.333,
      "text": "但纸和黑板上的核心论证",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 277,
      "start": 640.366,
      "end": 642.566,
      "text": "原则上可以被全世界检查",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 278,
      "start": 642.733,
      "end": 644.466,
      "text": "前沿模型把推理能力",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 279,
      "start": 644.466,
      "end": 646.5,
      "text": "封装成商业服务以后",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 280,
      "start": 646.666,
      "end": 649.666,
      "text": "研究条件会受到账户权限算力",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 281,
      "start": 649.666,
      "end": 652.7,
      "text": "配额保密协议和公司策略影响",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 282,
      "start": 652.866,
      "end": 654.733,
      "text": "谁能接触下一代系统",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 283,
      "start": 654.766,
      "end": 656.266,
      "text": "谁就可能提前进入",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 284,
      "start": 656.266,
      "end": 657.8,
      "text": "一片新的数学大陆",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 285,
      "start": 658.066,
      "end": 660.666,
      "text": "于是署名问题不再只是礼貌",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 286,
      "start": 661.3,
      "end": 663.5,
      "text": "模型训练材料来自几十年",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 287,
      "start": 663.5,
      "end": 666.366,
      "text": "甚至几百年的论文教材和讨论",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 288,
      "start": 666.866,
      "end": 668.966,
      "text": "一个新证明还可能沿着某位",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 289,
      "start": 668.966,
      "end": 671.733,
      "text": "研究者刚刚公开的思路继续推进",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 290,
      "start": 671.866,
      "end": 674.366,
      "text": "公司最后宣布模型解决了问题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 291,
      "start": 674.8,
      "end": 676.066,
      "text": "中间的人类贡献",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 292,
      "start": 676.1,
      "end": 677.933,
      "text": "很容易变成背景噪声",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 293,
      "start": 678.266,
      "end": 680.7,
      "text": "数学界对优先权格外敏感",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 294,
      "start": 680.7,
      "end": 681.733,
      "text": "因为一个结果的",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 295,
      "start": 681.733,
      "end": 683.9,
      "text": "价值常常与谁先提出",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 296,
      "start": 684.1,
      "end": 686.1,
      "text": "谁先证明紧密相连",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 297,
      "start": 686.4,
      "end": 688.966,
      "text": "人类作者需要引用前人的定理",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 298,
      "start": 689.1,
      "end": 690.933,
      "text": "解释自己的新增部分",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 299,
      "start": 691.133,
      "end": 692.4,
      "text": "模型很难可靠",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 300,
      "start": 692.6,
      "end": 694.9,
      "text": "追踪某个想法来自训练材料",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 301,
      "start": 695.066,
      "end": 697.066,
      "text": "搜索结果还是当前提示",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 302,
      "start": 697.333,
      "end": 699.666,
      "text": "即使最终证明没有逐字复制",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 303,
      "start": 699.8,
      "end": 701.7,
      "text": "思路归属仍可能模糊",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 304,
      "start": 702.466,
      "end": 704.533,
      "text": "声明把它与抄袭风险并列",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 305,
      "start": 704.666,
      "end": 705.8,
      "text": "原因就在这里",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 306,
      "start": 706.0,
      "end": 707.733,
      "text": "AI公司也并非完全",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 307,
      "start": 707.733,
      "end": 709.2,
      "text": "没有回应这些问题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 308,
      "start": 709.666,
      "end": 712.466,
      "text": "Openai在公布10项数学进展时",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 309,
      "start": 712.466,
      "end": 715.133,
      "text": "专门加入对数学共同体的责任",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 310,
      "start": 715.366,
      "end": 717.2,
      "text": "表示要提供证明推理",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 311,
      "start": 717.2,
      "end": 719.133,
      "text": "过程和外部专家意见",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 312,
      "start": 719.3,
      "end": 722.2,
      "text": "First Proof项目承认流程不够干净",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle",
      "text_original": "first proof项目承认流程不够干净",
      "correction_applied": true,
      "correction_source": "llm_correct_a_presegmentation"
    },
    {
      "id": 313,
      "start": 722.333,
      "end": 724.2,
      "text": "并公开修正了一道最初",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 314,
      "start": 724.2,
      "end": 725.866,
      "text": "判断可能正确的答案",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 315,
      "start": 726.466,
      "end": 728.4,
      "text": "Mathathon组织者面对批评后",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle",
      "text_original": "Methon组织者面对批评后",
      "correction_applied": true,
      "correction_source": "llm_correct_a_presegmentation"
    },
    {
      "id": 316,
      "start": 728.4,
      "end": 730.333,
      "text": "也调整了宣传与规则",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 317,
      "start": 730.5,
      "end": 733.4,
      "text": "这些动作表明公司知道旧的产品",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 318,
      "start": 733.4,
      "end": 736.6,
      "text": "发布方式无法直接套到数学研究上",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 319,
      "start": 736.666,
      "end": 739.533,
      "text": "这些善意声明很难抵消商业竞争",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 320,
      "start": 739.766,
      "end": 743.3,
      "text": "Openai Anthropic Google和其他实验室",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 321,
      "start": 743.333,
      "end": 745.666,
      "text": "都需要证明下一代模型更强",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 322,
      "start": 746.066,
      "end": 748.066,
      "text": "数学具有明确问题可",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 323,
      "start": 748.066,
      "end": 750.366,
      "text": "检查答案和高度智力象征",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 324,
      "start": 750.6,
      "end": 752.866,
      "text": "几乎是最理想的展示舞台",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 325,
      "start": 753.0,
      "end": 755.133,
      "text": "一家公司如果选择慢下来",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 326,
      "start": 755.133,
      "end": 757.566,
      "text": "竞争对手仍可能先公布结果",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 327,
      "start": 757.9,
      "end": 759.066,
      "text": "没有共同规则",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 328,
      "start": 759.266,
      "end": 761.3,
      "text": "谨慎就会变成市场劣势",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 329,
      "start": 761.533,
      "end": 763.966,
      "text": "数学家的抗议因此指向制度",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 330,
      "start": 764.1,
      "end": 765.9,
      "text": "而不仅是某一家企业",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 331,
      "start": 765.966,
      "end": 767.4,
      "text": "2026年6月",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 332,
      "start": 767.466,
      "end": 769.666,
      "text": "国际数学联盟已经支持",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 333,
      "start": 769.7,
      "end": 772.0,
      "text": "莱顿人工智能与数学宣言",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 334,
      "start": 772.366,
      "end": 774.9,
      "text": "那份文件要求AI辅助研究保持",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 335,
      "start": 774.9,
      "end": 778.6,
      "text": "披露可复现责任归属和公平获取",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 336,
      "start": 778.733,
      "end": 780.766,
      "text": "并提醒公众不要把企业",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 337,
      "start": 780.766,
      "end": 782.9,
      "text": "宣传直接当成同行评议",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 338,
      "start": 783.4,
      "end": 785.533,
      "text": "9月的新声明语气更急",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 339,
      "start": 785.766,
      "end": 788.766,
      "text": "说明几个月内能力跃升和发布节奏",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 340,
      "start": 788.933,
      "end": 791.866,
      "text": "已经让原来的原则性警告显得不够",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 341,
      "start": 792.0,
      "end": 793.4,
      "text": "反对这场抗议的人",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 342,
      "start": 793.4,
      "end": 795.0,
      "text": "也提出了有力问题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 343,
      "start": 795.4,
      "end": 797.466,
      "text": "数学史上从来不缺新工具",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 344,
      "start": 797.733,
      "end": 800.933,
      "text": "计算器计算机代数系统自动",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 345,
      "start": 800.933,
      "end": 803.9,
      "text": "定理证明和数值模拟都曾被质疑",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 346,
      "start": 804.133,
      "end": 806.066,
      "text": "最后却扩大了研究边界",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 347,
      "start": 806.266,
      "end": 808.4,
      "text": "如果机器能验证正确结论",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 348,
      "start": 808.5,
      "end": 810.1,
      "text": "为什么一定要让人类",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 349,
      "start": 810.1,
      "end": 812.0,
      "text": "重复经历漫长失败",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 350,
      "start": 812.333,
      "end": 814.466,
      "text": "把开放问题当做模型测试",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 351,
      "start": 814.6,
      "end": 817.566,
      "text": "也可能带来过去无法获得的新方法",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 352,
      "start": 817.733,
      "end": 819.7,
      "text": "还有一种批评更加直接",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 353,
      "start": 820.333,
      "end": 822.466,
      "text": "数学家强调人类理解",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 354,
      "start": 822.466,
      "end": 824.5,
      "text": "可能是在保护职业身份",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 355,
      "start": 824.7,
      "end": 826.533,
      "text": "一个领域长期把解决",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 356,
      "start": 826.533,
      "end": 828.3,
      "text": "难题视为最高荣誉",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 357,
      "start": 828.5,
      "end": 830.566,
      "text": "当机器突然也能完成",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 358,
      "start": 830.666,
      "end": 833.0,
      "text": "这套身份当然会受到冲击",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 359,
      "start": 833.4,
      "end": 835.066,
      "text": "抗疫里既有公共利益",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 360,
      "start": 835.2,
      "end": 836.533,
      "text": "也不可能完全没有",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 361,
      "start": 836.533,
      "end": 838.8,
      "text": "地位就业和声望焦虑",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 362,
      "start": 839.1,
      "end": 841.966,
      "text": "把所有担忧都包装成纯粹学术原则",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 363,
      "start": 842.1,
      "end": 843.333,
      "text": "同样不够诚实",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 364,
      "start": 843.533,
      "end": 845.933,
      "text": "这些反驳不能被轻易驳回",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 365,
      "start": 846.166,
      "end": 848.3,
      "text": "AI解决单位距离猜想的",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 366,
      "start": 848.3,
      "end": 850.333,
      "text": "案例已经证明机器可以",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 367,
      "start": 850.333,
      "end": 852.6,
      "text": "提出专家认可的新颖思路",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 368,
      "start": 852.9,
      "end": 854.6,
      "text": "费马大定理形式化也展示",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 369,
      "start": 854.6,
      "end": 856.5,
      "text": "了自动化工具如何处理",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 370,
      "start": 856.5,
      "end": 858.6,
      "text": "人类很难承受的工程量",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 371,
      "start": 858.733,
      "end": 861.966,
      "text": "若因为担忧就把AI排除在数学之外",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 372,
      "start": 862.133,
      "end": 865.066,
      "text": "结果可能是研究转入少数企业内部",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 373,
      "start": 865.066,
      "end": 865.866,
      "text": "公共",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 374,
      "start": 866.166,
      "end": 867.5,
      "text": "学术界反而失去",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 375,
      "start": 867.5,
      "end": 869.3,
      "text": "参与制定规则的机会",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 376,
      "start": 869.366,
      "end": 871.6,
      "text": "真正需要回答的问题是",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 377,
      "start": 871.6,
      "end": 873.766,
      "text": "怎样让AI产生的结果",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 378,
      "start": 874.1,
      "end": 877.266,
      "text": "继续服务于可理解可传承的数学",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 379,
      "start": 877.3,
      "end": 880.066,
      "text": "这个目标至少需要5条新规则",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 380,
      "start": 880.166,
      "end": 882.766,
      "text": "第一重大成果必须区分",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 381,
      "start": 882.766,
      "end": 885.7,
      "text": "发现证明验证和解释",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 382,
      "start": 885.9,
      "end": 888.6,
      "text": "模型找到猜想反例是一项贡献",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 383,
      "start": 888.9,
      "end": 891.266,
      "text": "生成自然语言证明是另一项",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 384,
      "start": 891.533,
      "end": 893.733,
      "text": "Lin通过检查又是第三项",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 385,
      "start": 894.066,
      "end": 895.733,
      "text": "外部数学家把方法整理",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 386,
      "start": 895.733,
      "end": 897.533,
      "text": "成人类能理解的论文",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 387,
      "start": 897.533,
      "end": 899.266,
      "text": "仍然构成独立工作",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 388,
      "start": 899.5,
      "end": 901.333,
      "text": "宣传材料不能把这些环节",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 389,
      "start": 901.333,
      "end": 903.933,
      "text": "压缩成一句AI独立解决",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 390,
      "start": 904.066,
      "end": 906.133,
      "text": "第二发布要有冷却期",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 391,
      "start": 906.366,
      "end": 907.866,
      "text": "公司可以先把候选",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 392,
      "start": 907.866,
      "end": 909.5,
      "text": "结果交给领域专家",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 393,
      "start": 909.533,
      "end": 911.5,
      "text": "在证明引用和归属",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 394,
      "start": 911.5,
      "end": 913.733,
      "text": "完成基本检查后再公开",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 395,
      "start": 914.133,
      "end": 915.8,
      "text": "数学新闻没有必要沿用",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 396,
      "start": 915.8,
      "end": 918.266,
      "text": "消费电子产品抢首发的节奏",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 397,
      "start": 918.366,
      "end": 920.366,
      "text": "慢几周不会损害定理",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 398,
      "start": 920.6,
      "end": 921.866,
      "text": "抢几小时却可能",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 399,
      "start": 921.866,
      "end": 924.6,
      "text": "伤害研究者的优先权。第三，验证成本需要由结果生产者承担",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle",
      "text_original": "伤害研究者的优先权第三",
      "correction_applied": true,
      "correction_source": "llm_correct_a_presegmentation"
    },
    {
      "id": 400,
      "start": 924.8,
      "end": 927.533,
      "text": "验证成本需要由结果生产者承担",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 401,
      "start": 927.9,
      "end": 929.5,
      "text": "一个实验室批量生成",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 402,
      "start": 929.5,
      "end": 931.333,
      "text": "100份开放问题证明",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 403,
      "start": 931.566,
      "end": 934.066,
      "text": "就应该提供相应的审查资源",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 404,
      "start": 934.466,
      "end": 936.933,
      "text": "形式化材料和长期维护承诺",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 405,
      "start": 937.333,
      "end": 939.066,
      "text": "不能把筛错工作免费",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 406,
      "start": 939.066,
      "end": 941.266,
      "text": "转嫁给大学里的少数专家",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 407,
      "start": 941.5,
      "end": 943.133,
      "text": "模型的吞吐量越高",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 408,
      "start": 943.3,
      "end": 946.1,
      "text": "提交门槛反而应该越严第四",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 409,
      "start": 946.533,
      "end": 948.366,
      "text": "算力获取需要更公平",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 410,
      "start": 948.666,
      "end": 951.133,
      "text": "企业可以向学术团队开放模型",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 411,
      "start": 951.266,
      "end": 953.333,
      "text": "但分配过程应当透明",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 412,
      "start": 953.566,
      "end": 956.166,
      "text": "不能只邀请容易制造新闻的项目",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 413,
      "start": 956.333,
      "end": 959.133,
      "text": "公共机构也需要建设独立算力",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 414,
      "start": 959.2,
      "end": 961.8,
      "text": "让数学研究不必把核心方向",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 415,
      "start": 961.8,
      "end": 964.733,
      "text": "绑定在一家公司的产品路线图上",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 416,
      "start": 965.366,
      "end": 968.2,
      "text": "第五教育必须保留必要的困难",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 417,
      "start": 968.3,
      "end": 970.666,
      "text": "学生可以使用AI检查证明",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 418,
      "start": 970.866,
      "end": 972.9,
      "text": "寻找反例和比较路线",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 419,
      "start": 973.0,
      "end": 975.2,
      "text": "但课程仍要训练他们在没有",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 420,
      "start": 975.2,
      "end": 977.4,
      "text": "即时答案时建立问题结构",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 421,
      "start": 977.766,
      "end": 980.9,
      "text": "未来数学家最重要的能力可能从最",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 422,
      "start": 980.9,
      "end": 984.6,
      "text": "快找到证明转向判断什么值得证明",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 423,
      "start": 984.733,
      "end": 987.2,
      "text": "哪种解释真正增加理解",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 424,
      "start": 987.366,
      "end": 990.333,
      "text": "这种能力无法靠跳过基础训练获得",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 425,
      "start": 990.366,
      "end": 991.733,
      "text": "这场争议对数学",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 426,
      "start": 991.733,
      "end": 993.466,
      "text": "以外的领域也有意义",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 427,
      "start": 994.166,
      "end": 997.066,
      "text": "软件工程医学法律和内容",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 428,
      "start": 997.066,
      "end": 999.166,
      "text": "创作正在经历相同变化",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 429,
      "start": 999.366,
      "end": 1001.966,
      "text": "企业用输出数量衡量AI价值",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 430,
      "start": 1002.366,
      "end": 1003.666,
      "text": "职业共同体关心的",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 431,
      "start": 1003.666,
      "end": 1006.266,
      "text": "却是判断力责任和传承",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 432,
      "start": 1006.5,
      "end": 1008.733,
      "text": "机器把结果生产的更快",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 433,
      "start": 1008.8,
      "end": 1010.733,
      "text": "不代表一个行业的目标",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 434,
      "start": 1010.733,
      "end": 1013.1,
      "text": "也应该改成产量最大化",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 435,
      "start": 1013.266,
      "end": 1016.333,
      "text": "数学只是最早把矛盾说的足够清楚",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 436,
      "start": 1016.666,
      "end": 1018.566,
      "text": "因为数学结论可以验证",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 437,
      "start": 1018.9,
      "end": 1021.8,
      "text": "很多人以为这里最适合放心自动化",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 438,
      "start": 1021.866,
      "end": 1023.733,
      "text": "可连数学家都在提醒",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 439,
      "start": 1023.866,
      "end": 1026.4,
      "text": "正确答案仍然不等于完整知识",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 440,
      "start": 1026.8,
      "end": 1029.533,
      "text": "那么在医学诊断政策研究和",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 441,
      "start": 1029.533,
      "end": 1032.533,
      "text": "司法判断这些更依赖语境的领域",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 442,
      "start": 1032.666,
      "end": 1034.1,
      "text": "问题只会更难",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 443,
      "start": 1034.266,
      "end": 1036.1,
      "text": "AI也许会让数学迎来",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 444,
      "start": 1036.1,
      "end": 1037.4,
      "text": "前所未有的繁荣",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 445,
      "start": 1037.9,
      "end": 1040.333,
      "text": "机器可以探索巨大的猜想空间",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 446,
      "start": 1040.5,
      "end": 1042.266,
      "text": "人类负责选择方向",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 447,
      "start": 1042.4,
      "end": 1044.5,
      "text": "提炼概念和解释意义",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 448,
      "start": 1044.666,
      "end": 1046.366,
      "text": "另一条路同样存在",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 449,
      "start": 1046.466,
      "end": 1049.0,
      "text": "少数公司不断公布机器突破",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 450,
      "start": 1049.566,
      "end": 1050.933,
      "text": "大学疲于验证",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 451,
      "start": 1051.333,
      "end": 1053.533,
      "text": "年轻研究者失去成长路径",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 452,
      "start": 1053.9,
      "end": 1056.933,
      "text": "数学变成外界无法复现的工业产物",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 453,
      "start": 1057.2,
      "end": 1059.866,
      "text": "25位菲尔兹奖得主真正争夺的",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 454,
      "start": 1059.866,
      "end": 1062.133,
      "text": "是这两条路之间的选择权",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 455,
      "start": 1062.366,
      "end": 1064.733,
      "text": "他们已经看见AI会做数学",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 456,
      "start": 1064.8,
      "end": 1066.266,
      "text": "甚至看见它可能比",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 457,
      "start": 1066.266,
      "end": 1068.1,
      "text": "绝大多数人做得更快",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 458,
      "start": 1068.2,
      "end": 1069.3,
      "text": "正因如此",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 459,
      "start": 1069.4,
      "end": 1071.0,
      "text": "现在才是制定规则的",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 460,
      "start": 1071.0,
      "end": 1072.7,
      "text": "最后一个宽松窗口",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 461,
      "start": 1072.933,
      "end": 1075.933,
      "text": "等机器每天生成上千项新结果以后",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 462,
      "start": 1076.1,
      "end": 1077.666,
      "text": "学术共同体连整理",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 463,
      "start": 1077.666,
      "end": 1079.466,
      "text": "问题的时间都未必还有",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 464,
      "start": 1079.466,
      "end": 1081.3,
      "text": "外界还需要分清解决",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 465,
      "start": 1081.3,
      "end": 1083.0,
      "text": "数学问题的几个层级",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 466,
      "start": 1083.266,
      "end": 1084.6,
      "text": "第一层是找到一个",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 467,
      "start": 1084.6,
      "end": 1086.166,
      "text": "看起来可行的答案",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 468,
      "start": 1086.7,
      "end": 1089.2,
      "text": "第二层是由专家逐行检查",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 469,
      "start": 1089.333,
      "end": 1090.966,
      "text": "确认没有隐藏漏洞",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 470,
      "start": 1091.066,
      "end": 1092.8,
      "text": "第三层是把证明转成",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 471,
      "start": 1092.8,
      "end": 1094.966,
      "text": "形式系统可以核验的表达",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 472,
      "start": 1095.066,
      "end": 1097.066,
      "text": "第四层是提取新方法",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 473,
      "start": 1097.166,
      "end": 1098.9,
      "text": "说明它为什么有效",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 474,
      "start": 1099.0,
      "end": 1100.8,
      "text": "又适用于哪些问题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 475,
      "start": 1101.266,
      "end": 1102.8,
      "text": "第五层才是把成果",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 476,
      "start": 1102.8,
      "end": 1104.8,
      "text": "纳入整个数学知识体系",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 477,
      "start": 1105.066,
      "end": 1106.6,
      "text": "企业发布消息时",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 478,
      "start": 1106.7,
      "end": 1108.266,
      "text": "常常会把第一层到",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 479,
      "start": 1108.266,
      "end": 1110.733,
      "text": "第五层压成一个词解决",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 480,
      "start": 1111.133,
      "end": 1113.666,
      "text": "这个词省去了最困难的部分",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 481,
      "start": 1113.733,
      "end": 1115.766,
      "text": "一份证明可能已经通过Lin",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 482,
      "start": 1116.166,
      "end": 1118.6,
      "text": "却仍然没有简洁的人类解释",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 483,
      "start": 1119.3,
      "end": 1122.266,
      "text": "一项构造也可能被多位专家认可",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 484,
      "start": 1122.733,
      "end": 1125.2,
      "text": "但它与模型训练资料里的既有",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 485,
      "start": 1125.2,
      "end": 1128.366,
      "text": "思路存在多大关系仍需调查",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 486,
      "start": 1128.466,
      "end": 1130.5,
      "text": "观众看到同一个解决背后",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 487,
      "start": 1130.5,
      "end": 1133.4,
      "text": "对应的成熟度可能完全不同纳维",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 488,
      "start": 1133.666,
      "end": 1136.966,
      "text": "斯托克斯案例尤其能说明这种差别",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 489,
      "start": 1137.666,
      "end": 1140.4,
      "text": "Openai公开了论文和形式化材料",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 490,
      "start": 1140.5,
      "end": 1142.666,
      "text": "这是接受检验的重要一步",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 491,
      "start": 1142.7,
      "end": 1145.4,
      "text": "可千禧年难题有自己的正式程序",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 492,
      "start": 1145.9,
      "end": 1148.0,
      "text": "数学界还要确认命题表达",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 493,
      "start": 1148.133,
      "end": 1150.6,
      "text": "基础假设形式化代码与",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 494,
      "start": 1150.6,
      "end": 1153.0,
      "text": "自然语言论证是否完全对应",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 495,
      "start": 1153.2,
      "end": 1155.6,
      "text": "克雷数学研究所也不会因为公司",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 496,
      "start": 1155.6,
      "end": 1158.533,
      "text": "发布页面出现就立即发放奖金",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 497,
      "start": 1158.7,
      "end": 1160.866,
      "text": "用已经宣布解答描述",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 498,
      "start": 1160.866,
      "end": 1162.666,
      "text": "当前状态比较准确",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 499,
      "start": 1163.066,
      "end": 1167.266,
      "text": "写成九十年难题获得最终公认解决",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 500,
      "start": 1167.333,
      "end": 1169.7,
      "text": "就跨过了尚未完成的审查",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 501,
      "start": 1169.8,
      "end": 1172.066,
      "text": "单位距离猜想的情况又不一样",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 502,
      "start": 1172.466,
      "end": 1174.1,
      "text": "外部数学家已经对成果的",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 503,
      "start": 1174.1,
      "end": 1176.766,
      "text": "新颖性和期刊价值给予很高评价",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 504,
      "start": 1176.933,
      "end": 1178.766,
      "text": "说明AI确实可能产生",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 505,
      "start": 1178.766,
      "end": 1180.866,
      "text": "专业人士没有找到的思路",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 506,
      "start": 1181.1,
      "end": 1183.9,
      "text": "这个例子让模型只是拼接训练数据的简单解释站不住脚",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle",
      "text_original": "这个例子让模型只是拼接",
      "correction_applied": true,
      "correction_source": "llm_correct_a_presegmentation"
    },
    {
      "id": 507,
      "start": 1184.166,
      "end": 1186.733,
      "text": "训练数据的简单解释站不住脚",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 508,
      "start": 1186.766,
      "end": 1189.0,
      "text": "但它也强化了署名难题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 509,
      "start": 1189.266,
      "end": 1191.3,
      "text": "模型使用了多少人类文献",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 510,
      "start": 1191.566,
      "end": 1193.5,
      "text": "提示者如何选择问题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 511,
      "start": 1193.666,
      "end": 1195.866,
      "text": "外部专家怎样帮助验证",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 512,
      "start": 1196.166,
      "end": 1198.7,
      "text": "公司又如何挑选最成功的运行",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 513,
      "start": 1198.8,
      "end": 1200.966,
      "text": "这些环节共同构成成果",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 514,
      "start": 1201.1,
      "end": 1203.133,
      "text": "如果所有功劳都归给模型",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 515,
      "start": 1203.4,
      "end": 1205.5,
      "text": "人类协作者会被抹去",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 516,
      "start": 1206.066,
      "end": 1208.9,
      "text": "如果所有功劳都归给操作模型的人",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 517,
      "start": 1209.1,
      "end": 1211.166,
      "text": "模型的独立贡献又被低估",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 518,
      "start": 1211.5,
      "end": 1214.766,
      "text": "传统作者制度只处理人和人的合作",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 519,
      "start": 1215.3,
      "end": 1216.666,
      "text": "暂时没有适合这种",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 520,
      "start": 1216.666,
      "end": 1218.333,
      "text": "混合生产的新标准",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 521,
      "start": 1218.5,
      "end": 1220.5,
      "text": "出版社大学和资助机构",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 522,
      "start": 1220.5,
      "end": 1223.3,
      "text": "必须决定模型能否作为作者",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 523,
      "start": 1223.533,
      "end": 1226.333,
      "text": "提示与筛选过程是否需要公开",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 524,
      "start": 1226.466,
      "end": 1228.9,
      "text": "失败尝试要保留到什么程度",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 525,
      "start": 1229.1,
      "end": 1231.6,
      "text": "训练资料中的思想又该如何追溯",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 526,
      "start": 1231.766,
      "end": 1234.133,
      "text": "这套礼仪不能等待多年再制定",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 527,
      "start": 1234.9,
      "end": 1237.0,
      "text": "数学荣誉职位与研究",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 528,
      "start": 1237.0,
      "end": 1238.9,
      "text": "经费都依赖成果归属",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 529,
      "start": 1239.133,
      "end": 1242.0,
      "text": "一名年轻研究者花几年建立方法",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 530,
      "start": 1242.133,
      "end": 1243.733,
      "text": "公司模型沿着公开",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 531,
      "start": 1243.733,
      "end": 1245.366,
      "text": "线索完成最后一步",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 532,
      "start": 1245.566,
      "end": 1247.6,
      "text": "新闻只记住模型名称",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 533,
      "start": 1247.733,
      "end": 1249.7,
      "text": "这名研究者以后可能更不",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 534,
      "start": 1249.7,
      "end": 1252.1,
      "text": "愿意提前分享开放交流",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 535,
      "start": 1252.5,
      "end": 1253.766,
      "text": "一旦受到惩罚",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 536,
      "start": 1254.066,
      "end": 1255.8,
      "text": "数学界会转向保密",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 537,
      "start": 1256.333,
      "end": 1259.333,
      "text": "AI训练所依赖的新知识也会变少",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 538,
      "start": 1259.333,
      "end": 1261.733,
      "text": "这里出现了一种很讽刺的反馈",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 539,
      "start": 1262.1,
      "end": 1264.9,
      "text": "AI公司需要数学家公开论文和",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 540,
      "start": 1264.9,
      "end": 1267.533,
      "text": "讨论模型才能接触最新思想",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 541,
      "start": 1267.933,
      "end": 1269.7,
      "text": "公司又用最快速度把",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 542,
      "start": 1269.7,
      "end": 1272.066,
      "text": "这些思想转化为机器成果",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 543,
      "start": 1272.266,
      "end": 1274.566,
      "text": "削弱人类公开分享的回报",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 544,
      "start": 1274.866,
      "end": 1277.566,
      "text": "短期看企业获得更多突破",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 545,
      "start": 1277.766,
      "end": 1280.766,
      "text": "长期看知识源头可能因此收紧",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 546,
      "start": 1281.3,
      "end": 1283.4,
      "text": "一个依赖开放科学的产业",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 547,
      "start": 1283.5,
      "end": 1285.866,
      "text": "如果把开放贡献者变成输家",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 548,
      "start": 1286.0,
      "end": 1288.166,
      "text": "最终会破坏自己的上游供应",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 549,
      "start": 1288.366,
      "end": 1290.7,
      "text": "研究经费同样会受到影响",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 550,
      "start": 1291.333,
      "end": 1293.066,
      "text": "公共资助者看到模型",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 551,
      "start": 1293.066,
      "end": 1295.066,
      "text": "能在几天内完成证明",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 552,
      "start": 1295.066,
      "end": 1297.6,
      "text": "可能认为数学研究应该更便宜",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 553,
      "start": 1297.7,
      "end": 1300.0,
      "text": "或者把资金转向算力采购",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 554,
      "start": 1300.3,
      "end": 1301.7,
      "text": "可模型能够使用的",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 555,
      "start": 1301.7,
      "end": 1303.866,
      "text": "概念问题和验证标准",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 556,
      "start": 1303.9,
      "end": 1305.9,
      "text": "全都来自长期基础研究",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 557,
      "start": 1306.133,
      "end": 1307.566,
      "text": "减少对人的投资",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 558,
      "start": 1307.8,
      "end": 1310.333,
      "text": "短期不会立刻让模型停下",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 559,
      "start": 1310.4,
      "end": 1312.933,
      "text": "几年后却会出现新问题不足",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 560,
      "start": 1313.133,
      "end": 1315.9,
      "text": "专业审查不足和理论教育断层",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 561,
      "start": 1316.333,
      "end": 1318.533,
      "text": "大学最容易犯的错误是把",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 562,
      "start": 1318.533,
      "end": 1320.866,
      "text": "AI理解成普通效率工具",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 563,
      "start": 1321.0,
      "end": 1323.9,
      "text": "然后用同一人数追求更多论文",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 564,
      "start": 1324.5,
      "end": 1326.133,
      "text": "研究者会被迫不断提交",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 565,
      "start": 1326.133,
      "end": 1327.933,
      "text": "模型生成的候选成果",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 566,
      "start": 1328.066,
      "end": 1330.5,
      "text": "同行评审则被更多材料淹没",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 567,
      "start": 1330.766,
      "end": 1332.266,
      "text": "产出数字上升",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 568,
      "start": 1332.533,
      "end": 1334.933,
      "text": "真正被消化的知识反而下降",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 569,
      "start": 1335.1,
      "end": 1336.7,
      "text": "AI带来的节省最后",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 570,
      "start": 1336.7,
      "end": 1338.7,
      "text": "转化成更高考核压力",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 571,
      "start": 1338.766,
      "end": 1341.3,
      "text": "没有留下更深研究所需的时间",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 572,
      "start": 1341.4,
      "end": 1343.166,
      "text": "另一种极端也有风险",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 573,
      "start": 1343.733,
      "end": 1345.566,
      "text": "大学如果全面禁止AI",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 574,
      "start": 1345.8,
      "end": 1348.8,
      "text": "学生和研究人员会在地下使用方法",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 575,
      "start": 1348.966,
      "end": 1350.4,
      "text": "无法讨论失败",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 576,
      "start": 1350.566,
      "end": 1352.666,
      "text": "案例也不会进入公共经验",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 577,
      "start": 1353.066,
      "end": 1355.3,
      "text": "公司内部则继续快速推进",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 578,
      "start": 1355.466,
      "end": 1356.466,
      "text": "几年以后",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 579,
      "start": 1356.466,
      "end": 1358.733,
      "text": "最强工具使用技巧和",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 580,
      "start": 1358.733,
      "end": 1360.733,
      "text": "前沿成果都集中在企业",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 581,
      "start": 1360.966,
      "end": 1363.2,
      "text": "学术界只剩下事后评论",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 582,
      "start": 1363.566,
      "end": 1364.966,
      "text": "抗议要产生作用",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 583,
      "start": 1364.966,
      "end": 1367.4,
      "text": "必须把拒绝失控竞赛与",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 584,
      "start": 1367.4,
      "end": 1369.466,
      "text": "参与技术设计同时推进",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 585,
      "start": 1369.666,
      "end": 1371.0,
      "text": "比较可行的路径",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 586,
      "start": 1371.333,
      "end": 1373.533,
      "text": "是把AI当成一种需要公开",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 587,
      "start": 1373.533,
      "end": 1375.866,
      "text": "实验记录的新型研究设备",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 588,
      "start": 1376.1,
      "end": 1377.6,
      "text": "数学家使用它时",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 589,
      "start": 1377.6,
      "end": 1380.3,
      "text": "要记录模型版本提示方式",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 590,
      "start": 1380.4,
      "end": 1383.733,
      "text": "搜索预算人工选择和后续修改",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 591,
      "start": 1384.066,
      "end": 1386.2,
      "text": "公司声称模型独立发现时",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle",
      "text_original": "公司公司声称模型独立发现时",
      "correction_applied": true,
      "correction_source": "llm_correct_a_presegmentation"
    },
    {
      "id": 592,
      "start": 1386.2,
      "end": 1389.133,
      "text": "也应披露运行次数与筛选过程",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 593,
      "start": 1389.2,
      "end": 1390.533,
      "text": "一次成功输出",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 594,
      "start": 1390.533,
      "end": 1392.8,
      "text": "如果来自百万次并行尝试",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 595,
      "start": 1392.966,
      "end": 1394.733,
      "text": "它仍然可能很有价值",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 596,
      "start": 1394.8,
      "end": 1396.466,
      "text": "但这种能力与单次",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 597,
      "start": 1396.466,
      "end": 1398.266,
      "text": "推理产生原创洞见",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 598,
      "start": 1398.266,
      "end": 1399.866,
      "text": "属于两种不同现象",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 599,
      "start": 1400.1,
      "end": 1401.766,
      "text": "失败记录特别重要",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 600,
      "start": 1402.166,
      "end": 1404.866,
      "text": "模型发布页天然只展示成功案例",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 601,
      "start": 1405.2,
      "end": 1407.133,
      "text": "外界容易高估稳定性",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 602,
      "start": 1407.3,
      "end": 1409.0,
      "text": "First Proof里那道后来",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle",
      "text_original": "first proof里那道后来",
      "correction_applied": true,
      "correction_source": "llm_correct_a_presegmentation"
    },
    {
      "id": 603,
      "start": 1409.0,
      "end": 1410.733,
      "text": "确认错误的答案说明",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 604,
      "start": 1411.066,
      "end": 1412.5,
      "text": "初步专家印象也",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 605,
      "start": 1412.5,
      "end": 1414.3,
      "text": "可能被流畅论证影响",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 606,
      "start": 1414.6,
      "end": 1416.533,
      "text": "只有同时知道成功率",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 607,
      "start": 1416.533,
      "end": 1419.1,
      "text": "错误类型和人工干预程度",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 608,
      "start": 1419.5,
      "end": 1421.566,
      "text": "数学家才能判断模型究竟",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 609,
      "start": 1421.566,
      "end": 1424.0,
      "text": "适合提出猜想寻找证明",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 610,
      "start": 1424.133,
      "end": 1426.266,
      "text": "还是只适合做形式检查",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 611,
      "start": 1426.4,
      "end": 1428.3,
      "text": "同行评审也需要改变",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 612,
      "start": 1428.7,
      "end": 1431.3,
      "text": "过去审稿人主要判断一篇论文",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 613,
      "start": 1431.5,
      "end": 1434.266,
      "text": "现在可能要审查一套人机工作流",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 614,
      "start": 1434.6,
      "end": 1435.966,
      "text": "证明本身正确",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 615,
      "start": 1436.066,
      "end": 1437.8,
      "text": "不代表实验设计足以",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 616,
      "start": 1437.8,
      "end": 1440.066,
      "text": "支持模型自主完成的宣传",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 617,
      "start": 1440.3,
      "end": 1443.466,
      "text": "审查者还要看问题是否提前泄露",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 618,
      "start": 1443.933,
      "end": 1447.133,
      "text": "模型能否从训练数据找回近似答案",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 619,
      "start": 1447.5,
      "end": 1450.0,
      "text": "人类提供了多少方向性提示",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 620,
      "start": 1450.4,
      "end": 1453.166,
      "text": "以及公司有没有只挑最好结果",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 621,
      "start": 1453.3,
      "end": 1455.666,
      "text": "这些要求会让发布速度下降",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 622,
      "start": 1455.7,
      "end": 1457.566,
      "text": "却不会阻止AI进步",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 623,
      "start": 1457.966,
      "end": 1458.4,
      "text": "相反",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 624,
      "start": 1458.4,
      "end": 1461.566,
      "text": "他们能把真正能力与营销噪声分开",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 625,
      "start": 1461.6,
      "end": 1463.166,
      "text": "一个模型若能在透明",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 626,
      "start": 1463.166,
      "end": 1465.333,
      "text": "条件下稳定解决陌生问题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 627,
      "start": 1465.533,
      "end": 1467.366,
      "text": "价值会比一连串无法",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 628,
      "start": 1467.366,
      "end": 1469.3,
      "text": "复现的轰动标题更高",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 629,
      "start": 1469.4,
      "end": 1472.0,
      "text": "企业也能借此建立可信记录",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 630,
      "start": 1472.3,
      "end": 1474.2,
      "text": "避免每次数学发布都",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 631,
      "start": 1474.2,
      "end": 1476.2,
      "text": "陷入真假和抢功争议",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 632,
      "start": 1476.533,
      "end": 1477.8,
      "text": "对普通观众而言",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 633,
      "start": 1477.8,
      "end": 1479.133,
      "text": "这场抗议还提供了",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 634,
      "start": 1479.133,
      "end": 1481.133,
      "text": "一个判断AI新闻的方法",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 635,
      "start": 1481.2,
      "end": 1483.366,
      "text": "看到AI解决世纪难题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 636,
      "start": 1483.4,
      "end": 1484.766,
      "text": "先问四件事",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 637,
      "start": 1484.966,
      "end": 1486.366,
      "text": "证明由谁检查",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 638,
      "start": 1486.533,
      "end": 1487.966,
      "text": "材料是否公开",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 639,
      "start": 1488.133,
      "end": 1489.8,
      "text": "模型完成了哪一段",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 640,
      "start": 1489.933,
      "end": 1491.7,
      "text": "人类又完成了哪一段",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 641,
      "start": 1491.8,
      "end": 1494.666,
      "text": "再看它有没有产生可解释的新方法",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 642,
      "start": 1495.0,
      "end": 1497.766,
      "text": "以及结果是否通过正式学术程序",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 643,
      "start": 1498.1,
      "end": 1499.7,
      "text": "四个问题答不出来",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 644,
      "start": 1499.933,
      "end": 1502.1,
      "text": "标题里的确定性就需要打折",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 645,
      "start": 1502.333,
      "end": 1504.333,
      "text": "未来可能出现三种局面",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 646,
      "start": 1504.7,
      "end": 1505.966,
      "text": "第一种是AI成为",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 647,
      "start": 1505.966,
      "end": 1507.6,
      "text": "数学家的高倍显微镜",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 648,
      "start": 1507.966,
      "end": 1509.366,
      "text": "扩大探索范围",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 649,
      "start": 1509.6,
      "end": 1511.9,
      "text": "结果仍由开放共同体吸收",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 650,
      "start": 1512.0,
      "end": 1515.2,
      "text": "第二种是企业形成封闭的数学工厂",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 651,
      "start": 1515.333,
      "end": 1518.666,
      "text": "大学只能验证公司选择公开的结论",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 652,
      "start": 1518.766,
      "end": 1520.333,
      "text": "第三种更加混乱",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 653,
      "start": 1520.7,
      "end": 1523.133,
      "text": "大量模型和团队同时生产证明",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 654,
      "start": 1523.333,
      "end": 1525.333,
      "text": "没人有时间辨别重要性",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 655,
      "start": 1525.6,
      "end": 1527.7,
      "text": "数学文献被正确错误",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 656,
      "start": 1527.7,
      "end": 1529.533,
      "text": "和重复结果一起塞满",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 657,
      "start": 1529.766,
      "end": 1531.866,
      "text": "目前最有希望的人是第一种",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 658,
      "start": 1531.866,
      "end": 1533.5,
      "text": "但他不会自动发生",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 659,
      "start": 1533.7,
      "end": 1535.133,
      "text": "企业有速度激励",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 660,
      "start": 1535.166,
      "end": 1536.666,
      "text": "大学有论文激励",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 661,
      "start": 1536.9,
      "end": 1538.333,
      "text": "媒体有流量激励",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 662,
      "start": 1538.5,
      "end": 1540.566,
      "text": "三方都会偏向快速宣布",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 663,
      "start": 1540.7,
      "end": 1542.8,
      "text": "让理解重新获得价值",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 664,
      "start": 1543.2,
      "end": 1546.133,
      "text": "需要资助机构愿意支持解释与复核",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 665,
      "start": 1546.5,
      "end": 1548.7,
      "text": "期刊愿意奖励高质量整理",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 666,
      "start": 1548.866,
      "end": 1550.933,
      "text": "公司愿意接受外部审查",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 667,
      "start": 1551.0,
      "end": 1553.333,
      "text": "数学家也要主动学习新工具",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 668,
      "start": 1553.933,
      "end": 1555.966,
      "text": "因此公开信把最尖锐的",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 669,
      "start": 1555.966,
      "end": 1558.0,
      "text": "判断放在错位两个字上",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 670,
      "start": 1558.133,
      "end": 1560.933,
      "text": "工具能力与学科目标没有天然一致",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 671,
      "start": 1561.4,
      "end": 1562.2,
      "text": "机器越强",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 672,
      "start": 1562.2,
      "end": 1564.466,
      "text": "这种偏差造成的后果越大",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 673,
      "start": 1564.566,
      "end": 1566.366,
      "text": "AI把每小时能产生的",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 674,
      "start": 1566.366,
      "end": 1568.366,
      "text": "证明数量提高100倍",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 675,
      "start": 1568.566,
      "end": 1570.966,
      "text": "如果评价体系仍指数成果",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 676,
      "start": 1571.133,
      "end": 1573.733,
      "text": "人类就会得到100倍的发布压力",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 677,
      "start": 1573.866,
      "end": 1575.766,
      "text": "理解却不会同步增加",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 678,
      "start": 1575.9,
      "end": 1578.066,
      "text": "开头那个问题现在有了答案",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 679,
      "start": 1578.6,
      "end": 1581.566,
      "text": "数学家担心机器得出正确答案以后",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 680,
      "start": 1581.566,
      "end": 1583.866,
      "text": "人类共同体可能失去理解",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 681,
      "start": 1584.066,
      "end": 1586.466,
      "text": "负责和传承这些答案的能力",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 682,
      "start": 1586.6,
      "end": 1588.333,
      "text": "数学如果只剩下一座",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 683,
      "start": 1588.333,
      "end": 1590.266,
      "text": "不断扩张的结论仓库",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 684,
      "start": 1590.5,
      "end": 1591.566,
      "text": "它仍然正确",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 685,
      "start": 1591.566,
      "end": 1592.733,
      "text": "却不再完整",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 686,
      "start": 1592.866,
      "end": 1595.3,
      "text": "这场抗议也没有给AI判死刑",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 687,
      "start": 1595.9,
      "end": 1598.0,
      "text": "他要求AI公司承认数学不是",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 688,
      "start": 1598.0,
      "end": 1599.9,
      "text": "可随意开采的基准矿场",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 689,
      "start": 1600.066,
      "end": 1602.266,
      "text": "每一道难题背后都有研究者",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 690,
      "start": 1602.266,
      "end": 1604.766,
      "text": "学生和长期积累的公共知识",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 691,
      "start": 1605.266,
      "end": 1607.066,
      "text": "AI可以加速这套体系",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 692,
      "start": 1607.1,
      "end": 1609.466,
      "text": "但不能只拿走最耀眼的结果",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 693,
      "start": 1609.466,
      "end": 1612.666,
      "text": "再把验证解释和传承留给别人",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 694,
      "start": 1612.733,
      "end": 1615.066,
      "text": "未来真正值得庆祝的突破",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 695,
      "start": 1615.733,
      "end": 1617.466,
      "text": "不该只是一家公司宣布",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 696,
      "start": 1617.466,
      "end": 1619.333,
      "text": "模型攻克了哪道名题",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 697,
      "start": 1619.5,
      "end": 1621.666,
      "text": "更高的标准是机器找到",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 698,
      "start": 1621.666,
      "end": 1623.6,
      "text": "的新方法能被人类读懂",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 699,
      "start": 1623.766,
      "end": 1625.466,
      "text": "贡献得到准确记录",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 700,
      "start": 1625.7,
      "end": 1627.133,
      "text": "证明可以独立复核",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 701,
      "start": 1627.566,
      "end": 1628.9,
      "text": "下一代研究者还能",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 702,
      "start": 1628.9,
      "end": 1630.5,
      "text": "在它上面继续建设",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 703,
      "start": 1630.6,
      "end": 1631.7,
      "text": "做到这一步",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 704,
      "start": 1631.866,
      "end": 1633.733,
      "text": "AI才是在扩大数学",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 705,
      "start": 1634.166,
      "end": 1636.066,
      "text": "做不到速度越快",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    },
    {
      "id": 706,
      "start": 1636.1,
      "end": 1637.0,
      "text": "错位就越严重",
      "source": "video_source_subtitle",
      "authority": "video_source_subtitle"
    }
  ],
  "transcript_selection": {
    "schema": "videonote.transcript_selection.v1",
    "status": "SELECTED",
    "requested_language": "zh",
    "duration": 1637.0,
    "reference_path": "/Users/sagawa/AI_WORK/video_notes/url/20260918_083908__AI開始攻克數學難題_25位菲爾茲獎得主爲何抗議/reference_subtitle.vtt",
    "reference_kind": "manual",
    "reference_language": "zh",
    "selected_source": "video_source_subtitle",
    "source_caption_kind": "manual",
    "source_caption_processing": "verbatim_direct",
    "youtube_overlap_clamps": [],
    "general_high_confidence_repairs": [],
    "decision_reason": "complete_source_subtitle_fast_path_no_whisper",
    "whisper_rejected": false,
    "source_profile": {
      "segment_count": 707,
      "duration_coverage": 0.922087
    }
  },
  "presegmentation_correction": {
    "applied": true,
    "correction_count": 12,
    "deterministic_fix_count": 0
  }
}