大約十年前，Marijn Heule、Oliver Kullmann 和 Victor Marek 證明了如果你將正整數從 1 到 7825 進行 2 色著色，那麼你必須能夠找到 x、y 和 z，且它們都是同一顏色，滿足 x^2+y^2=z^2——也就是說，一組單色的畢氏三元組。

我以一個業餘者的身份參加了這個活動，但與那些知道（在某種程度上，任何人都知道）他們在談論什麼的人交談是非常有趣的。

我昨天跨越了一個有趣的門檻，我認為許多其他數學家最近也在跨越這個門檻。在試圖證明一個結果的過程中，我識別出一個看起來是真的陳述，如果是真的，對我會很有用。 1/3