abc猜想是一个未解决的数学猜想,最先由乔瑟夫·奥斯达利(Joseph Oesterlé)及大卫·马瑟(David Masser)在1985年提出。abc猜想以三个互质正整数a, b, c描述,c是a及b的和,猜想因此得名。此猜想有数个宣称的证明,最近提出的正在检查中,至2014年9月此猜想仍然未得证明。对此也衍生出一BOINC项目“ABC@Home”。
abc猜想若得证,数论中很多著名猜想可以立时得出。多利安·哥德费尔德称abc猜想为“丢番图分析中最重要的未解问题”。(Goldfeld 1996)