💡
原文中文，约2400字，阅读约需6分钟。
📝
内容提要
加州大学洛杉矶分校、麻省理工学院和哥伦比亚大学的研究团队取得了数学难题的突破，证明了集合中不包含任意长的算术级数的最大子集的大小。这是23年来该问题的首次进展，对于Szemerédi定理的发展具有重要意义。
🎯
关键要点
- 加州大学洛杉矶分校、麻省理工学院和哥伦比亚大学的研究团队在数学难题上取得突破，证明了不包含任意长算术级数的最大子集的大小。
- 这是23年来该问题的首次进展，对Szemerédi定理的发展具有重要意义。
- 研究团队成员包括James Leng、Ashwin Sah和Mehtaab Sawhney，他们分别来自不同的学术背景。
- 1936年，数学家Paul Erdős和Pál Turán猜想，任何由非零分数组成的集合必定包含任意长的算术级数。
- 1975年，Endre Szemerédi证明了这一猜想，并引发了后续的研究。
- Szemerédi的结果在有限数集的情况下建立，研究集合中可以使用的部分占初始池的比例。
- 随着N的增长，避免算术级数的集合大小必须缩小到零。
- James Leng在研究Gowers的理论时，意外发现了与Szemerédi定理相关的问题。
- Sah和Sawhney意识到Leng的研究可能有助于他们在Szemerédi定理上的进展。
- 研究团队证明，对于k≥5，存在c_k>0使得没有k项算术级数的最大子集的大小得以改进。
➡️
