Yang-Mills 独立工作组成立，集中评审 OpenAI 等提交的数学证明
bronzeagepapi · x · 2026-11-11
一个名为 Yang-Mills Working Group 的组织在 GitHub 上公开了其规划与提交政策，目标是收集、验证和评估规范场论（Yang-Mills、QCD、chiral SU(5)）方向的数学证明提交，提交方可包括 OpenAI、其他机构或个人研究者。
- 每个被收录的提交都会建立独立归档仓库，保留原始文件、作者信息、许可证与校验和
- 另设结果仓库，汇总提交、独立核查、非正式解释、提交间对比与评估结论
- 评估中会严格区分形式化定理、非正式声明与工作组自己的结论
- 公众无需 GitHub 账号，可直接邮件评论
这可视为社区针对前沿 AI 产出的数学证明建立独立同行评审基础设施的一次尝试。
「研究」频道最新
- 几何深度学习全书草稿完成,Petar Veličković 称其为五年最重要成果 — TacoCohen · 2026-11-11
- 补全 4096 组合实测：翻转模型答案只需几个神经元，整个回路并非必需 — Ömer Tekin Yavuz · 2026-11-11
- 中国 ML 论文产能引热议：博士生百篇论文、一周一篇如何炼成？ — Strong_Boy_757 · 2026-11-11
- Google DeepMind Weather 招收明年学生研究员，要求扎实 ML 背景 — LucaAmb · 2026-11-11
- Google 预印本 StreamVibe：流式视频主动助手学会何时该开口 — jiqizhixin · 2026-11-11
- GMM 采样潜变量即可生成随机输入，无监督训练闭环再进一步 — caglar_ee · 2026-11-11