Claude与GPT模型找到孙智伟2-4-6-8猜想反例
burny_tech · x · 2026-08-25
Claude Fable 5 和 GPT-5.6 Sol 找到了孙智威 (Zhi-Wei Sun) 2019 年提出的“2-4-6-8 猜想”的一个 15 位反例。该猜想认为每个正整数都可以表示为二项式系数 C(w,2)+C(x,4)+C(y,6)+C(z,8) 的和。验证显示数字 896,315,812,331,399 无法进行此类表示。
所属事件:Claude 与 GPT 找到孙智伟猜想 15 位反例(2 条相关)→
「研究」频道最新
- 多伦多团队用 NLP 分析 12.2 万条患者评论，揭示安省医院满意度与公平性模式 — ishtiaqueSIA · 2026-10-16
- 多伦多大学招 AI 博士后：要造 AI 干预而非只刷榜，10 月 30 日截止 — ishtiaqueSIA · 2026-10-16
- WorldMemArena 中选 NeurIPS:存储式 Agent 记忆评估遭颠覆 — xwang_lk · 2026-10-16
- 机械可解释性老将反思:对齐≠误解泛化,CoT 监督的隐忧 — akbirthko · 2026-10-16
- WEDGE 论文：把导航失败经历变成可学习的训练环境 — _akhaliq · 2026-10-16
- RExBench 基准:最强编码 Agent 自主完成研究扩展成功率仅 33% — najoungkim · 2026-10-16