abc猜想的研究进展

许多数学家都花费了大量的精力试图证明这一猜想。在2007年，在法国数学家吕西安·施皮罗（LucienSzpiro）在1978年的研究工作的基础之上，首次宣布对abc猜想的证明，但很快就发现证明中存在着缺陷。2006年，荷兰莱顿大学数学系和荷兰Kennislink科学研究所联合启动了一个BOINC项目名为“ABC@Home”，用以研究该猜想。2012年8月，日本京都大学数学家ShinichiMochizuki(望月新一)公布了有关abc猜想（abcconjecture）长达500页的证明。虽然尚未被证实整个证明过程是正确无误的，但包括陶哲轩在内的一些著名数学家均对此给出了正面评价。