选自量子杂志 作者：Leila Sloman 机器之心编译 加法，这项我们从幼儿园就掌握的运算，竟然蕴藏着未解之谜。 它是一项简单的运算：我们学到的第一个数学真理便是 1 加 1 等于 2。但加法能够产生的各种模式仍存在很多未解之谜。 在探索这个谜团的过程中，数学家们也希望了解加法能力的极限。自 20 世纪初以来，他们一直在研究 「无和集」（sum-free set） 的性质。 无和集指的是这样一个整数子集：其中任意两个元素的和，不属于这个集合本身。例如，奇数集合就是一个典型的无和集。因为任意两个奇数相加得到偶数，不 在集合内。 自 1965 年起，传奇数学家 Paul Erdős（保罗・爱多士，为现时发表论文数最多的数学家，多达 1525 篇，曾和 511 人合写论文）在一篇论文中提出了一个关于无和 集普遍性的简单问题 ： 一个整数集合中，最大的不含任意两数相加结果的子集究竟能有多大？ 此后数十年，这个看似简单的问题却困住了无数数学家。 直到今年二月，在 Erdős 提出该问题的六十年后，终于被牛津大学博士生 Benjamin Bedert 破解了。 Bedert 证明了对于任意包含 N 个整数的集合，存在 ...