哈佛数学家拉 Claude 攻关杨-米尔斯构造，过程文档已开源
lvwerra · x · 2026-10-17
Levent Alpoge 与 Ethan Sussman 公开了一个 GitHub 仓库，记录他们尝试让 Claude 完成 Balaban 构造杨-米尔斯理论的程序。
- 实验从 UV 行为更友好的 QED3 和 YM3 入手，希望其中想法能推广到 YM4
- 仓库已包含 QED3 相关推导、定理 0 的完整记录（多个 tex 文件）和初稿论文，项目仍在进行中
- Hugging Face 的 lvwerra 转发调侃「地震？不，是 OpenAI agent 列队」——实际内容是前沿数学与 LLM 协作的前沿尝试
所属事件:哈佛数学家携手Claude攻关杨-米尔斯构造并开源过程(2 条相关)→
「漫话AGI」频道最新
- Google 把 AI agent 带进湿实验室,闭环分子设计找出癌症蛋白结合物 — davidpattersonx · 2026-10-17
- TikTok 让算法语言渗入日常用语,文案写作成最后的营销技能 — mallow610 · 2026-10-17
- Will Bryk 举例:模型该不该说某词,或应取决于用户身份 — willcb · 2026-10-17
- 研究者谈 AI 福利：勿套用「奴隶」等人类概念给全新情境贴标签 — AaronBergman18 · 2026-10-17
- 工程师用 AI agent 设计癌症测序方案,获 Dana-Farber 验证 — StartupYou · 2026-10-17
- Will Bryk:通用模型对齐不应瞄准「全人类」而应对齐个人用户 — willcb · 2026-10-17