那一年,著名的计算几何领域前辈、莱斯大学 Ron Goldman 教授访问中国科学技术大学,受导师陈发来教授之托,贾晓红带着 Ron 在校园里参观。中途,Ron 给贾晓红娓娓讲述计算代数几何里的几个重要结论,讲到兴致来了,Ron 随手在一张餐巾纸上写下了一个关于曲面奇点和基点的关联的“小结论”并说:“Try to prove it. I believe it's true. ”当贾晓红接过这张皱巴巴的餐巾纸时,并没有想到她与这个“小结论”的缘分会延续到 10 年之后。
“我当时以为这只是个练习题。”接下来的近一周,贾晓红日日夜夜在宿舍推导它的证明过程,在 Ron 快要离开的时候,贾晓红“觉得自己完成了这个证明”,于是把证明过程写了满满几块黑板,并给 Ron 讲了一遍。Ron 锁着眉头听,又一次次地在教室里踱步,之后,他很激动地说:“这是 David Cox 的猜想,我要告诉他这里有一个中国学生证明了这个问题。”Ron 立即拨通越洋电话给代数几何领域的著名前辈 David ,告诉他这个好消息。
“自己也很激动,原来这不是一个习题。”贾晓红说。同时慎重起见,她在接下来的一夜又一次捋了一遍证明过程。“很不幸,我发现了证明中有一个关键的疏忽。”当时她沮丧的心情难以言表,第二天她把这件事告诉 Ron 后,Ron 又给 David 打了电话,电话那头说:“你可否把她带到美国来?”
贾晓红
虽然贾晓红的证明“根本不对”,但是这一周的经历激起了她对这个问题强烈的好奇心,在接下来的几天几夜中,她又找出了这个结论的一个反例!这意味着,这个结论本身并不完全正确。Ron 又给 David 打了电话,David 又激动又有点失落。“在后来 David 的数次国际会议演讲中,他每次都会讲到这个反例。”