算胜利，以后还可以作为你继续研究的方向。就好比是否存在一个稳定的一阶完全理论，它有大于一的有穷多个可数模型问题一样，几十年来数理逻辑学家们一直在稳步往前推进，orley证明了1-范畴的理论最多有0个可数模型，bald和chn证明了1-范畴的理论只可能有一个或0个可数模型，vaught证明了任何完全理论都不可能恰好有两个可数模型……学术研究，就是这么一步步前进的。”
田寿平彻底麻了。
但他却又不能反驳。
毕竟眼前这位大神，从典型群重数一猜想、到冰雹猜想、再到霍奇猜想，据说还要再单挑一个世界七大数学难题，简直是一拳一个小朋友。可能非交换曲面分类、raras问题等在他面前，就像是小学生的奥数题，难是难了点，但动动脑子、花点时间，还是不难解出来的。
徐生洲接着说道：“我的大致想法就是这样。你回去可以和田院士商量一下，如果同意，可以先选定一个题目，做个研究进展文献综述，发给我看看。”