在已表的论文中，沈奇使了PLAN-A，完了沃什猜的证明。
假设（X，Y）是方程（t+1）X^4-tY^2=1的一解，满足Y＞1，（x，y）应的伴随解，N=√x^2+y^2t，则某满足t0∣t及t0^2≤t的正整数t0，有P（x，y）=t0^2。
是证明沃什猜的核步骤，定义r0满足（e^2.37ε2/8）^1-r0≤∣fq∣≤（e^2.37ε2/8）^-r0的正整数，沈奇在论文中使了PLAN-A。
在PLAN-A中，沈奇令r0=1，±B1q≠A1p及2∣fq∣（e^2.37ε2/8）＜1。
他了△=K（±B1q-pA1）≠0，从最终证明方程（t+1）X^4-tY^2=1不存在两组正整数解（Xi，Yi）（i=1，2），Y2＞Y1＞1满足∣±√-1（xi-yi√-t）/（xi+yi√-t）-X^1/4∣＜1/8。
所，沃什先生在37年前提的猜测是正确的。
猜测被一位21岁的中国留生证明。
沈奇因此获了一些荣誉奖项，在中国数界及国数界崭露头角。
吴老刚刚写的一堆数符号，代表了PLAN-B，即沃什猜核证明步骤的另一途径。
原吴老我刊登在《国数杂志》的论文。沈奇中明了。
实际沈奇是前不久才领悟PLAN-B，感谢普林斯顿数佬集团的逼问。
但那基PLAN-A的论文，沈奇已经公……（内容加载失败！）
(ò﹏ò)
抱歉，章节内容不支持该浏览器显示～
【为了使用完整的阅读功能】
请考虑使用〔Chrome 谷歌浏览器〕、〔Safari 苹果浏览器〕或者〔Edge 微软浏览器〕等原生浏览器阅读！
谢谢!!!