大约十年前，Marijn Heule、Oliver Kullmann 和 Victor Marek 证明了，如果你对从 1 到 7825 的正整数进行 2 色着色，那么你必须能够找到 x、y 和 z，它们都是同一种颜色，并且满足 x^2+y^2=z^2——也就是说，一个单色的毕达哥拉斯三元组。 1/

我以业余的身份参加了这个活动，但与那些了解（在某种程度上，任何人都知道）他们所谈论内容的人交谈是非常吸引人的。

我昨天跨越了一个有趣的门槛，我认为许多其他数学家最近也在跨越这个门槛。在试图证明一个结果的过程中，我识别出一个看起来真实的陈述，如果它是真的，对我将会很有用。 1/3