外地时间 7 月 24 日，，，菲尔兹奖得主陶哲轩（Terrence Tao）在美国费城举行的 2026 年国际数学家大会（ICM）上揭晓公众演讲，，，题为《人工智能时代的数学》（Mathematics in the age of AI）。。。

他没有从 AI 又解决了哪一道数学难题讲起，，，而是把时间拨回到 20 世纪初。。。

在陶哲轩看来，，，20世纪初，，，陪同着罗素悖论、哥德尔不完整定理等一系列发明，，，数学家被迫重新审阅荟萃、无限、正义等最基础的问题。。。这场被称为“数学基础；；钡耐纺哉鸬矗，一度引发强烈争论，，，却最终推动数学建设起越发严密、统一的现代基础系统。。。

现在天，，，随着 AI 最先加入数学研究，，，数学或许再次站在一个类似的历史节点。。。差别的是，，，这一次受到挑战的，，，不再是数学理论的基础。。，而是数学配合体恒久默认的研究方式和价值系统：什么才算一项真正完成的效果？？？？？？数学研究的目的，，，是尽可能证实更多定理，，，照旧资助人类建设更深刻的明确？？？？？？

图 ｜ 大会现场。。ㄈ矗篨）

只管陶哲轩并没有在演讲中直接使用“工业化”来形容数学的未来，，，但他描绘的图景已经泛起出鲜明的工业特征：数学知识将从稀缺走向丰裕，，，研究流程被拆解为天生、验证、诠释、评审和知识整合等多个环节，，，人类与 AI 也将在其中重新分工。。。当证实越来越容易获得，，，真正稀缺的，，，应该是是提出问题、明确问题，，，以及组织知识的能力。。。

（阻止发稿，，，演讲视频尚未上线，，，本文主要依据陶哲轩会后宣布的 52 页演讲幻灯片举行整明确读。。。）

真正的问题，，，已经不是 AI 会不会做数学

在演讲一最先，，，陶哲轩提出了一个“AI 能力意料”（AI Capability Conjecture）：未来，，，AI 可能在可接受的本钱和一定水平的人类监视下，，，完成部分研究级数学事情。。。至于它能处理哪些问题、需要几多人工加入、抵达怎样的准确率和效果质量，，，都可以有差别设定，，，因此这一意料也有强弱之分。。。

若是连最弱的版本都无法实现，，，数学界大可以延续原有的研究方式；；若是较强版本成为现实，，，尤其当数学配合体仍把“尽可能多地解决未解问题”放在首位，，，现有的文化、评价系统和研究实践都将受到攻击。。。

陶哲轩真正体贴的，，，是这种转变会把数学带向那里。。。他在幻灯片中明确说明，，，这场演讲无意判断“AI能力意料”是否建设，，，而是请听众先接受一个事情假设（Working Hypothesis）：假设 AI 很快能够以可接受的本钱和监视，，，肩负相当一部分研究级数学使命，，，数学配合体该怎样应对？？？？？？整场演讲由此睁开，，，重点落在能力提升之后的制度与价值问题。。。

至于 AI 是否已经靠近这一阶段，，，陶哲轩引用了一项自己加入提倡的最新评测项目First Proof作为配景。。。

今年 5 月尾，，，First Proof 在严酷控制的条件下测试了四套 AI 数学系统。。。10 道此前从未果真的新题所有来自真实研究历程，，，由相关领域专家凭证学术期刊的审稿标准，，，对解答的准确性和论文表述举行评估。。。效果显示，，，四套 AI 系总共在 10 道题中乐成解决了 7 道，，，每道题至少有一份解答抵达学术期刊揭晓水平，，，单题盘算本钱约为 10 至 1000 美元。。。

（泉源：陶哲轩）

但这项评测中也袒露出了 AI 的局限。。。虽然它已经能够完成研究级证实，，，却仍会泛起引用过失、诠释缺乏等简朴过失。。。在先容 First Proof 之前，，，陶哲轩还特意提醒，，，目今许多关于 AI 数学能力的果真案例都保存报告误差（reporting bias），，，算力投入、人工加入和失败案例等要害变量往往没有完整披露，，，因此现有质料还缺乏以支持稳固判断。。。

这不禁让人遐想到在 ICM 开幕前几天，，，数学界还爆发了一个引发热议的事务。。。7 月 20 日，，，Anthropic 数学家 Levent Alp?ge 宣布了一个由 Claude Fable 5 加入发明的雅可比意料三维反例。。。随后，，，研究者使用 Isabelle/HOL 完成了形式化验证，，，确认这一反例建设。。。

图 ｜Levent Alp?ge （泉源：Quanta Magazine）

证实很快获得了验证，，，但新的问题随之泛起：它为什么建设？？？？？？这样的结构是怎样想到的？？？？？？

第二天，，，陶哲轩在个人博客揭晓长文，，，对这一反例举行了详细解读。。。他不止停留在验证效果，，，而是一步步还原其背后的几何结构，，，诠释它为什么建设，，，以及它与已有理论之间的联系。。。

某种意义上，，，这正是他在 ICM 想讨论的事情。。。当机械越来越擅永天生和验证证实之后，，，人类数学家的事情不会随之竣事，，，而是转向另一件同样主要的事情：诠释证实、组织知识，，，并资助数学配合体真正明确这些效果。。。

而要明确这种转变，，，就必需先回覆一个更基础的问题：数学配合体事实希望数学研究实现什么？？？？？？

从“证实稀缺”走向“证实过剩”

在陶哲轩看来，，，数学研究历来不但有“解出更多问题”这一个目的。。。它同时肩负着许多差别的使命：解决未解问题、生长新理论、明确天下、建设配合体、作育下一代数学家、扩展共享知识，，，以及创立具有长期审美价值的作品。。。

已往，，，这些目的概略是正相关的。。。解决主要问题往往意味着生长新理论；；寻找证实的历程，，，也会作育年轻数学家、富厚数学配合体。。。因此，，，“解出了几多问题”“谁最先证实”，，，在相当长时间里都可以近似代表更重大的学术价值。。。

但 AI 可能即将突破这种关系。。。

陶哲轩借用了经济学中的古德哈特定律（Goodhart's Law）：当一个指标成为优化目的，，，它就不再是一个好的指标。。。天生式 AI 缺少现实天下的约束，，，AI 公司又有展示模子能力的动力，，，因此尤其容易把“解出更大都学问题”这一指标推向极致。。。

图｜古德哈特定律：优化指标，，，不即是实现目的。。。（泉源：Image 2）

为了说明这一点，，，陶哲轩在演讲中围绕“一个数学问题事实何时才算真正解决”睁开了五层递进的讨论。。。

在最初，，，数学家们的目的只是“尽可能多地解决未解问题“。。。但这样的标准很容易爆发大宗过失证实，，，于是第二层需要加入验证（verification）。。。

不过，，，随着 AI和自动形式化（autoformalization）的生长，，，证实天生（proof generation）和证实验证（proof verification）都在迅速加速。。。Rocq、HOL、Lean 等证实助理已经能够逐步检查形式化证实。。。但新的问题也随之泛起：若是机械天生了一份已经通过验证、却没有任何人真正明确的证实，，，它是否意味着这个数学问题已经真正解决？？？？？？

陶哲轩给出的谜底是否认的。。。因此，，，第三层进一步加入了阐释（proof exposition）：证实不但要准确，，，还需要有人诠释它为什么建设、有什么意义。。。而若是再往上一层，，，效果不止停留在个人，，，还需要获得数学配合体的认可，，，其他研究者不但确认结论准确，，，也能够明确其中的要领，，，并将其应用到新的研究中。。。最后，，，它还需要进入标准理论、课本和数学配合体共享的知识系统，，，成为厥后者继续生长的基础。。。

一条完整的知识链泛起了：开放问题首先酿成未经核验的证实，，，再经由验证、阐释、偕行接受和知识整合，，，最终才成为稳固的数学知识。。。

图 ｜陶哲轩提出“数学问题真正解决”的五层目的（泉源：陶哲轩）

AI 可以大幅提高这条知识链前端的生产效率，，，却无法自动扩建后端。。。期待验证、阐释和整理的证实会越来越多，，，论文一直挤压偕行评审系统；；纵然最终揭晓，，，数学界也未必有足够的人力和时间，，，把这些效果真正吸收、消化，，，并整合进成熟的理论框架。。。

陶哲轩把这种错配比作一种“证实的消化不良”（proof indigestion）。。。数学或许将从一个证实稀缺的时代，，，进入一个证实过剩的时代。。。

这也延续了他近几年的判断。。。2023 年 6 月，，，陶哲轩曾展望，，，把大语言模子与形式化验证、检索和符号盘算连系之后，，，2026 年左右，，，AI 有望成为数学研究中值得信任的相助者。。。其时，，，他紧接着追问的就是：期刊、引用规则和研究生作育系统，，，该怎样顺应这样的转变。。。

到了 2026 年 6 月，，，他进一步提出了“Big Mathematics（大数学）”的看法：未来重大的数学研究将被拆分成大宗子使命，，，由漫衍式的人机协作网络配合完成；；人类更多认真提出问题、设计偏向和创立性事情，，，AI 则肩负证实天生、形式化验证等手艺性使命。。。

而这次 ICM 演讲，，，则把他的思索又向前推进了一步。。。真正的瓶颈，，，已经不再只是怎样生产更多证实，，，而是怎样验证、明确、撒播并消化这些证实。。。数学未来需要建设的，，，不但是更强盛的“证实工厂”，，，更是一套能够支持质量控制、偕行评审、知识整理和配合体传承的新系统。。。

谜底准确，，，还远远不敷

现在的 AI，，，已经可以天生语法、拼写和名堂险些无可挑剔的数学文本。。。但在陶哲轩看来，，，这类文本的阐释能力仍然狼籍不齐：它们往往在简朴的部分停留过久，，，却在真正难题或新颖的地方一笔带过，，，也很少自动说明一项效果与已有文献之间的联系。。。

更隐藏的问题，，，还来自太过润色。。。人类作者一经以为难题的地方，，，往往会保存一些思索和推导的痕迹，，，提醒读者放慢速率、重复推敲。。。过于平滑的 AI 文本，，，却可能把通例方法和要害突破写得同样轻松，，，反而掩饰了真正值得学习和明确的头脑。。。

陶哲轩展示了一张自己年轻时阅读法国数学家让·布尔甘（Jean Bourgain）1991 年论文的照片。。。纸页上写满了批注。。。对他而言，，，阅读、停留、补全中心方法、重新组织思绪，，，恰恰是明确形成的历程，，，并不需要被完全删去。。。

（泉源：陶哲轩）

随后，，，他引用了美国数学家威廉·瑟斯顿（William Thurston）1994 年关于数学证实的经典叙述：数学并不是为了完成一项由界说、定理和证实组成的笼统生产指标，，，真正的权衡标准，，，是能否让人们更清晰、更有用地明确和思索数学。。。

证实的揭晓也不是终点。。。它还需要被配合体接受、使用，，，并最终成为课本和标准理论的一部分。。。其中最缓慢、也最容易被忽视的事情，，，往往由编辑、审稿人、课本作者以及认真阐释效果的数学家完成。。。这些事情远不如率先给出证实那样耀眼，，，却肩负着把个人效果转化为配合知识的职责。。。

基于此，，，陶哲轩也提出了几项值得数学配合体重新思索的偏向。。。

首先，，，披露 AI 的使用应该成为学术写作中的常态。。。陶哲轩就在自己的幻灯片中注明，，，AI 被用于文字自动补全和图表天生。。。

其次，，，评价系统或许需要降低对“第一个解出问题”和证实数目的强调，，，把更多认可给予阐释、验证和知识整合事情。。。陶哲轩提出，，，若是作者无法自力就研究效果作出一份清晰、准确且引用完整的专家级报告，，，那么这项效果就不应直接揭晓。。。

AI 可以资助期刊筛除显着缺乏验证或写作质量较差的论文，，，却无法替换数学配合体作出最终判断。。。一个效果是否值得进入学科主线，，，仍然是一个缓慢、依赖专业判断和恒久共识形成的历程。。。

与此同时，，，数学家的职业分工也已经最先爆发转变。。。2026 年 4 月，，，陶哲轩在接受 Nature 采访时曾体现，，，数学家的“事情要求正在改变”。。。而本届新晋菲尔兹奖得主雅各布齐默尔曼（Jacob Tsimerman）则宣布，，，他将在 8 月尾加入 OpenAI，，，从事 AI 清静研究，，，希望为多智能系一切建设更严酷的理论包管。。。

几天前借助 Claude Fable 5 找到雅可比意料反例的Levent Alp?ge，，，正是齐默尔曼曾指导本科结业论文的学生。。。现在，，，两人划分进入 Anthropic 和 OpenAI：一位借助 AI 探索新的数学工具，，，一位研究怎样让更强盛的 AI 越发清静可靠。。。

这虽然不可代表所有数学家的选择，，，但折射出一种正在爆发的转变：未来数学家的事情，，，也许不再只是生产新的证实，，，而是设计验证系统、诠释机械天生的效果，，，并加入塑造人与 AI 协作的新规则。。。

演讲之后，，，他让 AI 采访了自己

演讲竣事后的第二天，，，陶哲轩又做了一个有趣的实验。。。

7 月 25 日，，，他在 Mastodon上透露，，，自己让 AI 搜集并整理已往宣布的 100 多篇帖子、采访和视频，，，总结自己对 AI 的看法；；关于已有质料没有涉及的问题，，，再由 AI 反过来“采访”自己。。。他还特意要求 AI 把问题设计得更尖锐一些。。。

（泉源：陶哲轩）

在这其中，，，AI 提出的许多问题，，，都与这场演讲形成了呼应：与多家 AI 公司相助，，，是否会为行业炒作提供信誉？？？？？？数学能够自动验证，，，是否只是一个无法推广到医疗、司法等领域的特殊样本？？？？？？一边忠言“证实消化不良”，，，一边推动大规模数学项目，，，是否也在加速“证实过剩”？？？？？？

陶哲轩没有回避这些问题。。。他体现，，，大规模项目会只管放在恒久缺乏关注的数学“长尾”问题上，，，阻止与年轻数学家的研究偏向直接竞争；；至于怎样判断一份证实是否真正被“消化”，，，未来很可能需要期刊、课本和出书系统逐渐建设新的规范。。。

某种意义上，，，这场自我采访，，，就是他所提倡的人机协作的缩影：AI 阅读资料、寻找遗漏、提出问题、天生初稿；；人类认真审阅、修正，，，并对最终内容认真。。。

从 2023 年展望 AI 将成为数学家的相助者，，，到 2026 年讨论怎样明确和消化机械天生的证实，，，陶哲轩体贴的问题已经爆发了转变。。。AI 能否加入数学研究，，，正逐渐从展望走向现实；；数学配合体怎样重新组织知识、调解评价标准、建设新的协作方式，，，才是接下来真正需要面临的课题。。。

未来值得关注的，，，也许不但是模子还能证实几多定理，，，而是期刊是否会调解审稿与披露规则，，，大学怎样重新设计数学教育，，，诠释、验证和整理知识的事情能否获得应有的价值，，，以及机械天生的效果最终有几多能够进入课本、融入理论，，，并成为厥后者继续生长的起点。。。

1.https://teorth.github.io/tao-web/slides/age-of-ai-icm-2026.pdf

2.https://1stproof.org/second-batch.html

3.https://1stproof.org/assets/docs/report.pdf

4.https://isa-afp.org/entries/Jacobian_Counterexample.html

5.https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/

6.https://teorth.github.io/tao-web/ai-views-interview.html

在当今信息爆炸的时代，，，互联网已经成为人们获守信息、社交和娱乐的主要途径。。。无论是日常生涯照往事情学习，，，互联网的应用无处不在。。。在这个配景下，，，短视频平台抖音（TikTok）迅速崛起，，，成为了年轻人最喜欢的社交媒体之一。。。关于许多创作者和企业而言，，，抖音不但是一个展示自己才艺和产品的平台，，，更是一个潜在的商业时机。。。怎样在抖音上脱颖而出，，，吸引大宗观众，，，成为热门视频的要害，，，就在于三水相连系：内容、水平和更新频率。。。本文将深入探讨怎样通过SEO优化要害词排名手艺，，，提升抖音视频的曝光率和用户粘性。。。

我们来看看什么是SEO优化要害词排名手艺。。。SEO，，，全称Search Engine Optimization，，，即搜索引擎优化。。。在互联网天下，，，搜索引擎如Google、Bing等是人们获守信息的主要途径。。。优化要害词排名手艺是通过对网站或视频的内容举行优化，，，使其在搜索引擎的搜索效果中排名更高，，，从而吸引更多会见者。。。抖音作为一个短视频平台，，，虽然没有直接的搜索引擎，，，但我们可以通过在视频问题、形貌和谈论中合理使用要害词，，，提高视频在平台内部搜索和推荐系统中的排名。。。

在抖音上举行SEO优化的要害词排名手艺，，，首先需要相识和剖析平台的推荐算法。。。抖音的推荐算法很是重大，，，它会凭证用户的寓目历史、点赞、谈论、分享等多种因素，，，推荐最切适用户兴趣的视频。。。因此，，，我们需要在视频制作和宣布时，，，尽可能地知足用户的兴趣和需求。。。

一、要害词选择

选择合适的要害词是SEO优化的第一步。。。在抖音上，，，要害词通常包括视频问题、形貌、标签和谈论中的词语。。。要选择哪些要害词呢？？？？？？你需要相识你的目的观众是怎样搜索信息的。。。通太过析热门视频和用户谈论，，，你可以发明一些常用的要害词。。。你可以使用要害词工具（如Google要害词妄想工具、Ahrefs、SEMrush等）来查找相关要害词的搜索量和竞争水平。。。选择那些搜索量高但竞争相对较小的要害词，，，这样可以提高你的视频被发明的时机。。。

例如，，，若是你是一个美食博主，，，你可以在视频问题、形貌和标签中使用“美食Vlog”、“家常菜做法”、“热门菜品推荐”等要害词。。。这些要害词不但能够吸引对美食感兴趣的观众，，，还能在搜索效果中获得更高的排名。。。

二、高质量的视频内容

要害词只是SEO优化的一部分，，，高质量的视频内容才是吸引和留住观众的要害。。。抖音上的观众通常寻找有趣、有创意且内容富厚的视频。。。因此，，，创作者需要一直提升自己的制作水平，，，包括拍摄技巧、剪辑效果和视觉效果等。。。

1. 拍摄技巧：确保视频画质清晰，，，光线富足。。。使用手机摄像头拍摄时，，，只管选择光线富足的情形，，，阻止阴影和反光。。？？？？？？梢允笛槭褂萌偶堋⒈彻獾燃记桑，提高视频的专业性。。。

2. 剪辑效果：剪辑是视频的灵魂。。。通过剪辑，，，可以使视频越发紧凑、有逻辑。。。使用合适的剪辑软件（如iMovie、Adobe Premiere、InShot等），，，可以增添特效、字幕和配景音乐，，，提升视频的鉴赏性。。。

3. 视觉效果：注重视频的色彩搭配和场景安排。。。一个色彩统一、场景整齐的视频更能吸引观众的眼球。。。

三、视频更新频率

在抖音上，，，视频的更新频率同样是影响排名的主要因素。。。频仍更新能够坚持用户的活跃度，，，让你的账号始终处于推荐系统的“热门”状态。。。建议天天或每周宣布一到两个视频，，，坚持一个合理的更新节奏。。。

不要只宣布一种类型的视频，，，多样化的内容能够吸引更多差别兴趣的观众。。。例如，，，你可以按期宣布美食、旅游、生涯小窍门等差别主题的视频，，，知足差别用户的需求。。。

四、互动和用户加入

2. 回复谈论：实时回复观众的谈论，，，体现谢谢，，，并与他们举行简朴的交流。。。这不但能增添观众的知足度，，，还能提高视频的互动率。。。

3. 挑战和话题：加入或提倡抖音上的挑战和话题，，，可以吸引更多观众的关注和加入。。。例如，，，你可以提倡一个“美食挑战赛”，，，约请观众模拟你的做菜历程。。。

五、合理使用标签

在抖音上，，，标签（hashtags）是视频分类和推荐的主要工具。。。合理使用标签，，，可以让你的视频更容易被目

标签不但能资助视频被更多的观众发明，，，还能提高视频的分类和推荐。。。在选择标签时，，，需要思量以下几点：

1. 相关性：选择与视频内容细密相关的标签，，，这样能够吸引到有相同兴趣的观众。。。例如，，，若是你的视频是关于烹饪的，，，可以使用“#美食”、“#烹饪教程”、“#家常菜”等标签。。。

2. 多样性：在相关标签的基础上，，，可以添加一些相关但差别的标签，，，扩大视频的笼罩规模。。。例如，，，“#美食Vlog”、“#美食分享”、“#烹饪技巧”等。。。

3. 盛行标签：关注抖音上的盛行标签，，，添加一些热门标签可以增添视频的曝光率。。。例如，，，“#抖音挑战”、“#抄手”等。。。但要注重不要太过使用，，，以免影响视频的质量和观众的体验。。。

六、相助与推广

1. 相助创作：与其他领域的创作者相助，，，可以吸引双方粉丝的关注。。。例如，，，一个美食博主可以和一个旅游博主相助，，，制作一些美食与旅游连系的视频。。。

2. 品牌相助：与品牌相助举行赞助或推广，，，可以获得更多资源和曝光时机。。。例如，，，你可以和一个食物品牌相助，，，制作一些关于该品牌产品的推荐视频。。。

3. 社交媒体推广：在其他社交媒体平台上（如微博、微信、朋侪圈等）推广你的抖音视频，，，可以吸引更多观众关注你的抖音账号。。。

七、数据剖析和调解

按期剖析视频的数据，，，相识哪些视频受接待，，，哪些要害词效果好，，，是优化战略的主要方法。。。抖音提供了一些基本的数据剖析工具，，，你可以通过这些工具审查：

1. 寓目量：相识视频的总寓目量，，，以及天天的寓目量转变。。。

2. 互动率：审查每个视频的点赞、谈论和分享数目，，，相识观众的互动情形。。。

3. 粉丝增添：审查你的粉丝数目转变，，，相识你的影响力在增添。。。

凭证这些数据，，，你可以调解你的创作战略，，，好比刷新视频内容、优化要害词、提升互动等。。。一连的数据剖析和调解，，，可以资助你一直优化，，，取得更好的效果。。。

八、坚持原创性

原创性是吸引和留住观众的主要因素。。。在抖音上，，，观众喜欢看到新鲜、奇异的内容。。。因此，，，只管阻止剽窃他人的视频，，，创立属于自己的气概和特色。。。

1. 奇异的视角：实验从差别的角度或者奇异的方式来泛起内容。。。例如，，，若是你做美食视频，，，可以实验用差别的拍摄技巧或者奇异的菜谱。。。

2. 个人气概：生长自己奇异的气概和表达方式，，，让观众能够轻松识别你的视频。。。

3. 原创音乐和配乐：使用原创音乐或者奇异的配乐，，，可以增添视频的吸引力。。。

通过以上这些要领，，，你可以在抖音上有用地举行SEO优化，，，提高视频的排名和曝光率。。。记着。。，创作的焦点照旧要有高质量的内容和与观众的真实互动。。。只有这样，，，你的抖音账号才华真正获得乐成，，，吸引更多的观众，，，并在竞争强烈的平台上脱颖而出。。。

希望这篇文章能为你在抖音上的创作之路提供一些有用的建媾和技巧，，，祝你创作愉快，，，取得更大的乐成！