四位数学家验证 OpenAI 证明 Brennan 猜想：正确但太啰嗦
robleclerc · x · 2026-10-19
OpenAI 提出的 Brennan 猜想（复分析中 1978 年提出的长期难题）证明获得了数学界检验。Ilia Binder、Oleg Ivrii、István Prause 与 2010 年菲尔兹奖得主 Stanislav Smirnov 四位数学家在 10 月 16 日提交、10 月 19 日被 arXiv 收录的手稿中认定：AI 生成的论证是正确的，但过于冗长。他们提炼出其中的核心数学思想，给出了大幅缩短的证明，并得到了一个更强的结果。Rob LeClec 评论称，所谓「数学末日」言过其实，此类案例将越来越多，数学正进入黄金时代。
「研究」频道最新
- beam 发布后推进新计划:按层任意量化 dtype 支持 MoE — art_zucker · 2026-10-19
- TabWM 论文：从执行记录学出关系型世界模型，512 个世界 F1 从 0.016 升至 0.685 — Zheyu Zhang · 2026-10-19
- 人类对话轮间隔最短仅 200ms,且与语言无关 — lluisantoni · 2026-10-19
- TRACK 论文:遥测数据揭示模拟赛车手中,换车后刹车习惯最难保持 — JeremyCMorgan · 2026-10-19
- 美国医疗人力短缺每年让普通家庭多花 430 美元，2040 年将升至 1250 美元 — HealthcareAIGuy · 2026-10-19
- 实验:标注 AI 身份后,用户对 AI 回帖的批评率从 17% 升至 32% — GolinoHudson · 2026-10-19