ABC@Home

ABC@Home是一個分布式計算項目，是一個旨在通過計算窮舉abc猜想條件的三元數組從而幫助數學家破解這個猜想。

該項目主持單位是荷蘭萊頓大學數學研究所，運行平台為BOINC平台。

研究內容介紹

通過窮舉計算一直到C≤10^18來滿足ABC猜想條件的三元數組。也可以說是滿足 C=A+B, A＜B, rad(ABC)<C.

通過研究這些三元數組的分布，來證明這個ABC猜想未解決的數學問題。也就可以間接的證明部分的費馬-卡特蘭猜想和完全證明Schinzel-Tijdeman猜想。^[1]

項目進度

• 窮舉計算進度
• 找到的三元數組