发表机构
Institute for Basic Science（基础科学研究所）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文用初等方法证明了正整数任意2-着色必含单色毕达哥拉斯三元组，避免了原SAT求解器证明的复杂计算，简洁回答了Graham的经典问题。
AI 中文摘要
我们给出了一个新的证明，证明正整数集的每个2-着色都包含一个单色毕达哥拉斯三元组。这一结果最初由Heule、Kullmann和Marek于2016年使用SAT求解器证明，回答了一个数十年的Graham问题。该证明使用初等技术，既不需要冗长的计算，也不需要困难的分析工具。
英文摘要
We give a new proof of the fact that every 2-coloring of the positive integers contains a monochromatic Pythagorean triple. This result was originally proven by Heule, Kullmann, and Marek with SAT solvers in 2016, answering a decades-old question of Graham. This proof uses elementary techniques and requires neither lengthy computation nor difficult analytic machinery.
Comments7 pages. James Leng also recently posted a preprint giving a new proof of this result, but the method here is different
