这个计划发现的三元组的模式，可以得出对这个猜想以至于数论的新的洞见。下述的"q"是上节定义的品质。，ABC@Home找出 2380 万个三元组，现今目标在找出c不大于2的所有三元组(a,b,c)。
历史.1996年，艾伦·贝克（Alan Baker）提出一个较为精确的猜想，将formula_37用formula_38取代，在此formula_39是formula_40的不同质因数的数目。2007年，吕西安·施皮罗尝试给出证明，后来被发现有错误。2012年8月，日本京