物理学家借助 OpenAI GPT-6 Astra 合作撰写手征费米子格点论文引发探讨

理论物理学家 Nathaniel Craig 借助 OpenAI 的 GPT-6 Astra 模型在 arXiv 发布了长达 123 页的格点手征费米子预印本，由 AI 负责大量数学证明与 Lean 形式化验证。博文指出该案例展示了学者利用 AI 弥补跨领域数学能力的协作模式，但论文延续的是 1990 年代后基本停滞的技术路线，在实现连续极限下的完整理论定义及实际非微扰电弱计算方面进展有限。