ai-assisted-research

# Bolzano：LLM辅助数学研究的案例研究 来源：[https://arxiv.org/html/2604.16989](https://arxiv.org/html/2604.16989) Jan Grebík1、Pavel Hubáček1,2、Martin Koutecký1、Matěj Kripner3、Václav Rozhoň1、Robert Šámal1、Adrián Zámečník1 1 布拉格查理大学计算机科学研究所 2 捷克科学院数学研究所 3 布拉格查理大学形式与应用语言学研究所 ###### 摘要 我们报告了在数学与理论计算机科学领域六个问题上取得的新成果……

GPT-5.2 协助推导出一个新的理论物理学结果，表明在特定半共线动量条件下，单负胶子树图振幅可以非零，挑战了粒子物理学中数十年的假设。该AI模型识别了复杂费曼图表达式中的模式，并推测出一个通用公式，随后通过形式化证明得到了验证。