热度排名 #1872
科拉茨猜想曾被报告推翻的两天半
The Collatz Conjecture was FALSE (for 2.5 days in July)
这段回顾讨论一份形式化检验结果如何被误读成猜想的反例。观看时可分别记下数学上需要的反例、软件给出的核验结果，以及后来发现的核验问题。
Alvaro Lozano-Robledo · 1 串讨论 · 热度 1.418
讨论出处
- Hacker News · 原讨论 ↗2026-08-01 · 帖子分数 1
热度排名 #1872
The Collatz Conjecture was FALSE (for 2.5 days in July)
这段回顾讨论一份形式化检验结果如何被误读成猜想的反例。观看时可分别记下数学上需要的反例、软件给出的核验结果，以及后来发现的核验问题。
Alvaro Lozano-Robledo · 1 串讨论 · 热度 1.418