KyleCranmer· @KyleCranmer · X·· 1 天前AI 评分
OpenAI 研究员用 GOT Astra 破解粒子物理难题
OpenAI 员工 physics_nate 发布论文，用 GOT Astra 与 Lean 形式化在手征费米子非微扰描述上取得重要进展，关联 Lüscher 的基础性思路。该工作针对标准模型物质组分（电子、夸克等手征费米子）缺乏非微扰描述方法的长期难题，论文见 arxiv.org/abs/2610.09093。
哇。@physics_nate（目前在 OpenAI 休假）在一个与我们理解粒子物理标准模型（SM）密切相关的深层问题上取得了重大进展。
内容很专业，简单来说：标准模型中的物质组成（电子、夸克等）都是费米子，而且它们是"手征"的（具有表现不同的左手分量和右手分量）。我们一直缺乏一种好的方法来"非微扰地"描述/模拟这类系统（这是一种可控的近似处理方式）。
这篇论文与 Lüscher（他聪明绝顶）奠定的基础思想一脉相承，并以 GOT Astra + 精简形式化的方式加以运用，但由于「已记录的假设」与「公理」所扮演的角色不同，其用法或许与数学中存在微妙差异。
arxiv.org/abs/2610.09093
来源：KyleCranmer · x.com