述的上界中，"K"是不依赖"a", "b", "c"的常数，而"K"和"K"是（以可有效计算的方式）依赖于ε的常数，但不依赖于"a", "b", "c"。上述的上界对"c" > 2的三元组都成立。
计算结果.2006年，荷兰的莱顿大学数学系与Kennislink科学研究所合作，开展ABC@Home计划。这个计划是网格计算系统，目的在找出更多的正整数三元组"a", "b", "c"使得rad("abc") < "c"。虽然有无限个例子或反例不能解决abc猜想，但是期望借着这个计划发现