OpenAI 研究员用 GOT Astra 破解粒子物理难题
OpenAI 员工 physics_nate 发布论文，用 GOT Astra 与 Lean 形式化在手征费米子非微扰描述上取得重要进展，关联 Lüscher 的基础性思路。该工作针对标准模型物质组分（电子、夸克等手征费米子）缺乏非微扰描述方法的长期难题，论文见 arxiv.org/abs/2610.09093。
Wow. @physics_nate (currently on leave at OpenAI) has made significant progress on a very deep problem relevant to our understanding of the Standard Model (SM) of particle physics.
It’s technical, but briefly: the matter content of the SM (electrons, quarks, etc) are fermions and they are “chiral” (they have left-handed and right-handed components that behave differently). We’ve lacked a good way to describe / simulate such systems “non-perturbatively” (which is a controlled way of doing approximations).
The paper connects with foundational ideas laid out by Lüscher (who is wicked smaht) and uses GOT Astra + lean formalization in ways that are perhaps subtly different than in math because of the role of recorded assumptions vs. axioms.
arxiv.org/abs/2610.09093
来源：KyleCranmer · x.com