【新智元导读】陶哲轩沉磅预言：AI终将成为「数学界的AlphaGo」。未来，AI将不再只是工具，而是冲击菲尔兹奖的选手！这一次，他描述了AI冲击菲尔兹奖的路线图。
若是只是用AI来天生某个辅助推算，已经在产生中。但若是是像「菲尔兹奖」这样的顶尖成就，AI参加并被视为关键贡献者，那可能还必要一段功夫。
物理学家有个妄想，但愿AI能发现新的物理定律。理论上把所有尝试数据喂进去，它能找到我们以前没把稳到的模式。但现有AI甚至在从数据中发现已知定律方面，也还很吃力�；蛘咚�，若是它能做出这些成就，人们也会疑惑是否只是由于在训练数据中某处隐含地提到过某条定律。
数学家只纪录了被证了然的器材，或是最终被验证的猜测，或是被反例颠覆的。但没有纪录那些被提出、看起来有点路理，但后来人们迅速意识到不合、并将其建改的猜测。
从前数学合作只能靠邮件和手稿，但此刻数学家能够像法式员那样在GitHub上合作，一路构建巨大的数学「代码库」。这将会扭转整个数学钻研的方式，就像LaTeX扭转了数学写作一样。
Lean工具和AI自动补全不休进取，从最初大局化证明必要原来的十倍功夫，到此刻也许是七倍、六倍，总有一天会跌破一倍。当大局化证明更高效、可合作，甚至更靠得住时，天然就会成为主流。
AI目前最大的短板是它不知路自己什么时辰走错了路。它可能会说：「我要解决这个问题，我把它分成两种情况，用这个步骤试试。」
好比AlphaZero在围棋和国际象棋上的进取，某种水平上是由于它造就了一种对棋局的「嗅觉」：这个局面白方占优，那个局面黑方占优。
若是AI能造就出对证明战术可行性的「嗅觉」，好比「我把问题分成两个子工作，这两个子工作看起来比原问题单一，并且有很大机遇是对的，这条路值得试。」
或者「不能，你把问题搞得更复杂了，两个子问题比原问题还难。」——这其实是常有的事，随机尝试通�；岚盐侍獗涓丛�，简化问题反而很难。
手写证明比大局化快10倍。但现代AI工具和更好的开发环境（像Lean的开发者做得很好，职能越来越多，越来越敦睦），将功夫从10倍降到9倍、8倍、7倍…，有一天会降到1倍。
忽然间，写论文吓酌Lean大局化，或者边和AI对话边天生证明，会变得天然。期刊可能会接受这种大局，甚至加快审稿。若是论文已经用Lean大局化，审稿人只必要评价了局的沉要性和文件联系，不用太不安正确性。
现实上，解决任何合理数学问题的步骤是：若是有10个让你头疼的难点，把9个难点关掉，只保留一个，而后解决它。你就像用了9个舞弊码，问题就简化了。
有时人们过于关注实现那个项目最后一步的人，无论是数学还是其他领域，但这些成就现实上是几十年甚至几个世纪、成立在无数前人为作基础之上的。
满天星版《荒岛女儿国》而问界M9 Ultimate领世加长版和蔚来ES9的最高官方指导价已经突破了60万元，而这两款车型也有一个相似的亮点，那就是巨大的车身尺寸。伯纳乌球场的教练选择也未能奏效，但原因完全不同。哈维·阿隆索的到来本应正是皇马所需要的。一位拥有新颖理念且前途光明的教练，能够让白衣军团的球星们绽放光彩。但这段合作非常短暂。这位来自托洛萨的教练与维尼修斯、巴尔韦德等人产生了矛盾；皇马的回应是果断的：支持球员，将教练推向深渊。更糟糕的是，在解雇哈维之后，弗洛伦蒂诺让阿尔韦罗亚上任，再次给予球员们想要的所有特权。结果是：赛季无冠，更衣室在训练中以拳脚相向告终。满天星版《荒岛女儿国》《60分钟在线旁观免费军旅电视剧视频》欧盟委员会在6月3日正式对外公布欧洲技术主权一揽子方案，明确提出要重点扶持人工智能、半导体、云计算和开源技术等核心领域的本土研发能力，逐步降低对境外技术供应商的依赖，通过政策倾斜给欧洲本土的替代技术产品铺路，最终全方位提升欧洲区域的数字自主性和抗风险韧性。这对所有普通高中，尤其是县域普通高中，是致命的信号。过去县域高中的生存逻辑是“掐尖少数尖子生冲名校，靠大量中等生撑规模和本科率”。但现在，中等生正在用脚投票：与其在普高熬三年，考一个末流本科，毕业即失业，不如早三年学一门技术，毕业直接进比亚迪、宁德时代这样的企业拿高薪。
20260609 ? 满天星版《荒岛女儿国》李徽徽不认为英伟达、微软、苹果被真正冷落了，更准确地说，是市场在从“买确定性龙头”转向“买边际变化更大的环节”。过去两年，英伟达是AI资本开支的最大受益者，微软是AI商业化最清晰的巨头，苹果则是消费电子和端侧AI预期的代表。但到2026年这个位置，市场会自然追问：谁的业绩还能继续上修？谁的估值里还有预期差？所以资金短期转向存储、PCB、CPO、光模块、液冷、电力设备，并不奇怪。因为这些环节过去被低估，现在突然变成AI算力基础设施的瓶颈。资本市场喜欢瓶颈，瓶颈意味着议价权、涨价能力和盈利弹性。爱液视频企业把国产成熟大模型算力封装为标准化接口，海外客户开通即可接入使用，无需自建昂贵的算力基础设施。这种轻便高效的算力出海模式，正受到越来越多东南亚中小企业的青睐。
20260609 ? 满天星版《荒岛女儿国》关于这两点，如果有兴趣的话，可以去看看之前推荐的书叫《被讨厌的勇气》，很适合有点讨好型人格的人。还有其他参考书目▼《女伴侣妈妈在厨房做饭》SK海力士董事长崔泰源（Chey Tae-won）表示：“SK海力士和英伟达多年来一直致力于此，此次合作体现了双方合作的深度。我们将共同开发面向人工智能工厂的下一代存储器，并将人工智能应用于半导体的设计和制造——这项工作将塑造人工智能基础设施的未来。”
京公网安备11010202000001号
