ABC@Home
ABC@Home 是一個分布式計算項目，是一個旨在通過計算窮舉 abc 猜想條件的三元數組從而幫助數學家破解這個猜想。
該項目主持單位是荷蘭萊頓大學數學研究所，運行平台為 BOINC 平台。