項目內容
ABC@home 是一個由荷蘭的一個數學研究院 Mathematical Institute of Leiden University 運作的，基於 BOINC 分散式計算平台的數學類項目，旨在通過搜尋滿足ABC猜想條件的三元數組獲得這些數組的分布從而幫助數學家解決這個猜想。 |
即它利用分散式計算窮舉直到 c<=10的滿足ABC猜想條件的 (a,b,c) 三元數組，也就是說滿足要求 c=a+b, a
項目通過研究這些三元數組的分布，試圖尋找證明ABC猜想這個數學未解問題的方法。如果證明了ABC猜想，就可以部分證明費馬-卡特蘭 (Fermat-Catalan) 猜想，完全證明 Schinzel-Tijdeman 猜想等等。ABC猜想的具體內容是：對於所有e>0,存在與e有關的常數C(e)，對於所有滿足a+b=c,a與b互質的三正整數組(a,b,c),均成立 c<=C(e)((rad(abc))^(1+e))。支持ABC猜想的證據有很多，比如說ABC猜想的多項式版本成立，ABC猜想也蘊含了費馬大定理。D. Goldfeld 評價ABC猜想為“丟番圖分析（意即係數與解均為整數的方程的分析）領域中最重要的未解決問題”。
ABC@home 希望能夠通過了解滿足條件的三元數組的分布來協助數學家解決ABC猜想。
研究意義
望月論文中的定義和數論中傳統概念的比較美國哥倫比亞大學數學家Dorian Goldfeld評價說：“abc猜想如果被證明，將一舉解決許多著名的Diophantine問題，包括費馬大定理。如果Mochizuki的證明是正確的，這將是21世紀最令人震驚的數學成就之一。”
望月新一的研究工作與前人的努力並沒有太多關聯。他建立了一套全新的數學方法，使用了一些全新的數學“對象”——這些抽象實體可類比為我們比較熟悉的幾何對象、集合、排列、拓撲和矩陣，只有極少的數學家能夠完全理解。就如同戈德費爾德所說：“在當今，他或許是唯一一個完全掌握這套方法的人。”
康拉德認為，這項研究工作“包含著大量的深刻思想，數學界要想完全理解消化需要花很長的時間”。整個證明包含四個長篇論文，每一篇都是建立在之前論文的基礎上。“需要花費大量的時間來研讀並理解這些深奧的長篇證明，所以我們不能僅僅關注此證明的重要性，更重要的是沿著作者的證明思路進行研究。”
望月新一取得的研究成果使得這一切努力都是值得的。康拉德說：“望月新一曾經成功證明過極為艱深的定理，並且他的論文表達嚴謹，論述周密。這些都使我們對於成功證明abc猜想充滿了信心。”另外，他還補充道，所取得的成績並不僅限於對此證明的確認。“令人感到興奮的原因不僅僅在於abc猜想或許已被解決，更在於他所使用的方法和思想將會成為以後解決數論問題的有力工具。”
歷史上反直覺的卻又被驗證為正確的理論，數不勝數。
一旦反直覺的理論被證實是正確的，基本上都改變了科學發展的進程。舉一個例子：牛頓力學的慣性定律，物體若不受外力就會保持當前的運動狀態，這在17世紀無疑是一個重量級的思想炸彈。“物體不受力當然會從運動變為停止”，這是當時的普通人基於每天的經驗得出的正常思想。而實際上，這種想法，在任何一個於20世紀學習過國中物理、知道有種力叫摩擦力的人來看，都會顯得過於幼稚。但對於當時的人們來說，慣性定理的確是相當違反人類常識的！
ABC猜想之於數論研究者，就好比牛頓慣性定律之於17世紀的普通人，更是違反數學上的常識。這一常識就是：“a和b的質因子與它們之和的質因子，應該沒有任何聯繫。” 原因之一就是，允許加法和乘法在代數上互動，會產生無限可能和不可解問題，比如關於丟番圖方程統一方法論的希爾伯特第十問題，早就被證明是不可能的。如果ABC猜想被證明是正確的，那么加法、乘法和質數之間，一定存在人類已知數學理論從未觸及過的神秘關聯。
意義
abc猜想是數學理論中最重要的問題之一，如果猜想成立，則一大批數論中的著名難題都可以直接得到解決，如Diophantine問題等。因而是一個很有意義而又相當困難的問題。目前有關這方面的最好結果是由Stewart和於坤瑞得到的。
