GPT-6 与 Claude 辅助加强 Sherrington–Kirkpatrick 自旋玻璃 Glauber 动力学混合时间界并核验部分结果

P. M. Aronow 与 Patrick Lopatto 于 10 月 20 日发表低温 Sherrington–Kirkpatrick 自旋玻璃模型的 AI-assisted 研究：对来自 Gibbs 分布的典型起点，改进 Glauber 动力学总变差混合时间的概率上下界，报告 A_β n^{7/30}<log T≤n^{1−ω}（任意固定 0<ω<1/4）。研究声称扩展此前 OpenAI 的相关边界；GPT-6 Sol/Astra、GPT-6.1 Sol 与 Claude Opus 5.5 参与证明和复核。部分已知相关结论与五组指定结果拥有 Lean 4 形式化，但不能由此推出全篇所有分析步骤均已核验；提交者仅报告理解部分内容，尚未有独立审稿。