Claude 与 GPT 找到孙智伟猜想 15 位反例

据推文称,Claude Fable 5 与 GPT-5.6 Sol 找到了孙智伟 2019 年提出的“2-4-6-8 猜想”的一个 15 位反例。该猜想认为每个正整数都可表示为 C(w,2)+C(x,4)+C(y,6)+C(z,8) 的组合形式,这一反例的发现或对原猜想构成重要冲击。

2026-08-25 ~ 2026-08-25 · 2 条相关