**OpenAI GPT-6 Astra 助力粒子物理学家突破手性费米子格点规范理论难题**

_AI and Chiral Fermions_

> OpenAI 研究员 Nathaniel Craig 利用 GPT-6 Astra 模型，在格点手性费米子规范不变测度这一长期未解的物理难题上取得进展。该工作展示了 AI 如何作为数学协作者，协助非数学背景的物理学家跨越专业界限，生成严谨证明并辅助 Lean 形式化验证，为理论物理研究提供了新的范式。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-10-09 07:08（北京时间）
- **原文**：[打开原文](https://www.math.columbia.edu/~woit/wordpress?p=15915)