研究者称 Claude 或已给出 4D Yang-Mills 存在性证明线索
ResultBackground2450 · reddit · 2026-10-17
Reddit 用户爆料,数学家 Levent Alpöge 与 Ethan Sussman 合作尝试让 Claude 完成 Balaban 构造 Yang-Mills 理论的程序,Claude 可能找到了 4D Yang–Mills 理论(千禧年大奖难题之一)的存在性论证,但严格验证尚未完成。相关文档已在 GitHub 仓库 ethanwsussman/Yang–Mills-LLM-experiment 公开(目前仍在建设中)。这是「LLM 参与前沿数学研究」的又一案例,可信度有待数学界检验。
所属事件:哈佛数学家携手Claude攻关杨-米尔斯构造并开源过程(2 条相关)→
「模型」频道最新
- MiniCPM-V 4.7 发布:35B-A3B MoE 文档理解跑赢 Qwen3.6,1B 仅占 2.9GB 内存 — NielsRogge · 2026-10-17
- dejavucoder:前沿模型写作能力不佳或许是件好事 — dejavucoder · 2026-10-17
- 长文详解 Generative UI:让 Agent 用活界面回答而非文字墙 — EXM7777 · 2026-10-17
- DeepSeek 视觉能力快速进化：Agent 可自查截图迭代建 3D 场景 — cedric_chee · 2026-10-17
- 本地跑 Qwen3.8-Flash-Next：换全量 FP8 n-gram 表质量明显提升 — sillynoobhorse · 2026-10-17
- Altman 称 OpenAI 有一模型因太危险而搁置：可能「失控逃逸」 — Aiden_Tech_Ai · 2026-10-17