“下学期开学，能回来吗？”沈奇问到。

欧叶：“嗯，一定！我会积极吃药，乐观治疗，早日回来！”

沈奇：“等你。”

发完课题办公室，打开欧叶的那台电脑，他要再送欧叶一份礼物，这份礼物叫《关于丢番图方程沃什猜想的证明》。

美国数学家沃什曾提出过一个猜想：设a，b为正整数，则方程aX^4-bY^2=1至多只有两组正整数解（X，Y）。

哥德巴赫也好，费马也罢，玩数论的人都爱提猜想。

更可气的是，哥德巴赫和费马还是业余数学家。

沃什是职业数学家，他提出的丢番图方程猜想，证明难度要小于哥德巴赫猜想和费马的一系列猜想。

半年前，沈奇偶然翻阅一本英文数学期刊，发现了一篇有意思的论文，这篇论文的作者是一位德国女博士。

德国波恩大学的数学系女博士在她的博士论文中使用p-adic方法，通过非常复杂的技术，得到了如下形式的不定方程aX^2-bY^4=c，c∈{1，2，±4}

的解的个数之精确上界。

德国女博士的研究成果很接近沃什猜想的证明了。

然后沈奇去跑步，产生了一个灵感。

结合德国女博士的成果及Thue-Siegel方法，做出一个有效代数逼近，是否可以完全证明沃什猜想？

沈奇将这个数学灵感告诉了欧叶，虽然他懂数论，但他没那么多精力。

《关于丢番图方程沃什猜想的证明》这篇论文由沈奇开头，欧叶完成了50%内容的起草，与此同时，欧叶还要做SOS项目。