ABC@Home ABCHome是一个分布式计算项目是一个旨在通过计算穷举abc猜想条件的三元数组从而帮助数学家破解这个猜想 该项目主持单位是荷兰莱顿大学数学研究所运行平台为BOINC平台