数学家开仓用 Claude 攻关 4 维 Yang-Mills 存在性证明
IAmTimNguyen · x · 2026-10-07
数学家 Ethan Sussman 与 Levent Alpoge 在公开 GitHub 仓库中尝试用 Claude 完成/澄清 Baliban 关于 4 维 Yang-Mills 理论存在性的构造纲领,目前产出了若干原始 LaTeX 文档与零稿 PDF。
- 项目仍处于施工中,目标是整理出可读的完整论文
- 仓库公开,作者欢迎任何人参与
- 发起者将其戏称为「开源的 Yang-Mills slop」,与等待 OpenAI 新模型发布形成对照
这是 LLM 辅助前沿数学研究的一个早期但开放的实验案例。
「研究」频道最新
- QUEEN 论文:把 AlphaZero 式搜索翻译成语言再蒸馏给大模型下棋 — danqi_chen · 2026-10-07
- VLM能否内化工具调用?「用图像思考」研究登陆COLM — PMinervini · 2026-10-07
- CLeaR 2027 会议投稿通道正式开放 — ArthurGretton · 2026-10-07
- MIT 论文:极简 agent 循环靠「历史即变量」胜过专用记忆系统 — rohanpaul_ai · 2026-10-07
- doodlestein 发布讲解视频,并开源配套代码仓库 — doodlestein · 2026-10-07
- 全 Rust 端到端生成 7 分钟 3Blue1Brown 风格讲解视频 — doodlestein · 2026-10-07