AI辅助证明马尔可夫链理论结果，GPT-5.4 Pro生成关键部分。
在一篇优美的近期论文中，Vishesh Jain和Clayton Mizgerd使用GPT-5.4 Pro证明了马尔可夫链理论中的一个惊人结果：
https://arxiv.org/pdf/2604.03937
他们研究了对称群上的相邻置换马尔可夫链。Fill的一个猜想（最近由Greaves和Zhu解决）确定了该链的哪个参数能最大化谱隙——一个控制链混合速度的自然量。Jain和Mizgerd更进一步，精确刻画了这种极值谱隙何时实现，回答了Fill的另一个问题。
正如他们在论文中解释的，当第一部分完成后，GPT-5.4 Pro能够一次性生成主要结果的第二部分。与作者交流后，我的理解是，如果没有GPT，这部分可能需要大量努力。此外，即使有第一部分，某些部分（如命题6.6中的分段特征向量构造）对他们来说也是新的。
这只是AI如何已经改变日常数学研究实践的又一个例子。
https://arxiv.org/pdf/2604.03937
他们研究了对称群上的相邻置换马尔可夫链。Fill的一个猜想（最近由Greaves和Zhu解决）确定了该链的哪个参数能最大化谱隙——一个控制链混合速度的自然量。Jain和Mizgerd更进一步，精确刻画了这种极值谱隙何时实现，回答了Fill的另一个问题。
正如他们在论文中解释的，当第一部分完成后，GPT-5.4 Pro能够一次性生成主要结果的第二部分。与作者交流后，我的理解是，如果没有GPT，这部分可能需要大量努力。此外，即使有第一部分，某些部分（如命题6.6中的分段特征向量构造）对他们来说也是新的。
这只是AI如何已经改变日常数学研究实践的又一个例子。