OpenAI的Mark Sellke和Mehtaab Sawhney与a16z的Lisha Li讨论了人工智能和数学的现状： 在OpenAI上周发布GPT-6 Astra之前，该模型已经在进行原始数学运算。这段对话是在发射前录制的，告诉了它是如何到达那里的。 它始于GPT-5。Mehtaab Sawhney粘贴了一个仍未解决的埃尔德问题。五分钟后，模型浮出水面，一篇论文已经解决了这个问题。这项研究最终发现了另外10个被认为悬而未决的问题的已发表解决方案。 然后阿斯特拉走得更远。当被告知要解决高维球体堆积问题时，它改善了自20世纪70年代以来一直存在的界限。Mehtaab在研究生院花了六个月的时间研究同一个问题，但“完全没有进展” 阿斯特拉的另一项研究结果表明，非sofic群体的存在需要大约15页的证明。一项相关的人类突破从量子复杂性理论中提取了250页和机器。 OpenAI的Mark Sellke和Mehtaab Sawhney与a16z的Lisha Li一起探讨了为什么错误的想法会污染人类的上下文窗口，为什么精美的论文隐藏了数学的实际过程，为什么突破可以提前停止一个提示，以及一旦证明了什么样的数学奖励就不再是瓶颈。 00:00简介 02:44在5分钟内破解埃尔德难题 06:20为什么人类退出而模特不退出 08:50错误的想法会污染你的上下文窗口 11:45为什么数学论文是糟糕的训练数据 16:20没有人知道如何在高维度上堆叠球体 18:28橙色堆叠证明 21:04 20世纪70年代的俄罗斯报纸无人能敌 24:14赢得菲尔兹奖章的功能 27:09阿斯特拉如何打破球体堆叠记录 29:20为什么纠错是伪装的球体包装 35:15突破阿斯特拉几乎没有打扰 39:22解决更难的问题意味着它有更好的品味 41:00一种口味，一种研磨 44:40阿斯特拉发现了一个有限人无法模仿的无限群 52:00 250页量子复杂性，或15页群论 56:18只有人类才能写出200页的校样 1:00:38当证明不再是瓶颈时，会发生什么变化 1:02:44人工智能可能永远无法解决的问题 油管https://www.youtube.com/观看？v=1JvyLGd2Sfs @mehtaab_sawhney@MarkSellke@OpenAI@lishali88