8月15日，这是沈计划的出国日期，届时他将从国飞往纽约，从纽约前往新泽西州普林斯顿市，开始他的海外求学生涯。
现在是沈的出国倒计时阶段，他跟欧叶形影不离。
出国倒计时154天，沈和欧叶深入探讨了形如方程x2-ay2=b什么时候有整数解的问题。
这个是经典问题，对丢番图方程研究最深也是最有成的人是费马。
费马大定理的假设写在丢番图所著的一本献，因为书空白处太少，费马很调皮的太监了，证明没有完成。
提出假设，证明假设，继续提出假设，等待后人证明。
千百年来，数学家乐此不疲的痴迷这种数字游戏。
怀尔斯在普林斯顿任教时，用十年时间写了一篇论，在这篇论他证明了费马大定理，将费马的太监论完结，非常完美的完本。
数字游戏并未终结，哥德巴赫猜想及黎曼猜想困扰了数论研究者很多年。
这两个跨越世纪的超级难题，所研究的对象非常简单---素数，只能被1和它自己整除的自然数。
ξ函数模型的终极证明，或许要从最简单的丢番图方程起步。
一旦ξ函数模型被完全证明，哥德巴赫猜想、黎