困扰数学界20多年的国际数学难题“西塔潘猜想”,被中南大学一个大三的学生刘路破解了!昨日,记者从中南大学获悉,校长黄伯云了解此事后,亲自批示刘路硕博连读。与此同时,为让刘路能够提早读研,中南大学邀请了中国科学院三位院士,向教育部写信推荐请予破格录取,建议采取特殊措施,加强对刘路学术方面培养。; F. p5 ~2 c8 P+ `2 k
西塔潘猜想 漂亮的证明 3 }% X2 V9 C; g6 R$ @1 z4 y# f( f# P& ]5 y5 _
这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想,20多年来许多研究者一直努力都没有解决。 : `7 I6 w) |# {4 S& A0 W5 z) n( t0 W
10月的一天,刘路突然想到利用之前用到的一个方法稍作修改便可以证明这一结论,连夜将这一证明写出来,投给了数理逻辑国际权威杂志《符号逻辑杂志》。署名刘嘉忆。 % K6 v9 t( }% Y3 k& }# H; ~4 z! X; X8 P7 e$ Q% f P
稿件投出后,《符号逻辑杂志》的主编,也是国际逻辑学知名专家、芝加哥大学数学系教授邓尼斯·汉斯杰弗德写信给予高度称赞,“我是过去众多研究该问题而无果者之一,你给出的如此漂亮的证明,请接受我对你令人赞叹的惊奇的成果的祝贺!”, @8 z c2 G, Q/ |' h/ C) e
! d* [9 ~* w, v2 a5 _, m
论文审稿人、芝加哥大学博士达米尔·扎法洛夫也认为,这是一个重要的结果,过去20多年许多著名科研者都在进行努力。该问题的研究促进了反推数学和计算性理论方面的研究。 - R6 A. Q* ^/ e8 u. d8 x& s, B+ d& i
9月16日,美国芝加哥大学数理逻辑学术会议上,22岁的刘路受到邀请,作为亚洲高校唯一一位代表在会上作了40分钟报告。4 h& X5 T+ }' A8 \8 M
* M* E' {; X( B/ `9 S) \8 ?! b4 M, ]一个晚上解决“猜想”' S- ^! g& ]8 @, a9 ^
# z6 Y6 j! r- i2 F- @高挑的个子,一副眼镜,一顶棒球帽,背个双肩包,每天像上班一样,一早就去图书馆看书,这就是同学眼中的刘路,他们虽然不知道刘路看的什么书,但他们清楚,这小子肯定会干出一番成绩。偶尔也会打打游戏,但常常捧着那些天书看到深夜,计算到凌晨;上英文网站,下载英文资料,这是室友眼中的刘路。同学问他题目,发现他的思路与他人不一样,他甚至会用更简单的方法来计算或解释,有时一个公式就可以搞定,同学说他“牛”,称他为“路哥”。他们说,路哥很聪明,看高深的书,一定会有出息。6 j- s9 E) ?9 T: I7 `
3 W( K" w X& q, Z5 q
而他眼中的自己很简单,内向、友好、乐于助人,当然也有那么一点儿冷漠。 : Q1 M; e+ P% J$ b& R ' O! Q! f7 Q# Y5 k" o( a自己发现的“难题” 9 w0 c) Z1 }+ H- m7 P3 D( p6 w$ r+ w& S. `/ f
新京报:你是什么时候开始研究“西塔潘猜想”的? 1 b0 e4 t- ]% w! D O( \$ V" X/ r4 f/ R
刘路:去年8月,我自学反推数学的时候,第一次接触到这个问题。我注意到大量文献里提到,海内外不少学者在进行“拉姆齐二染色定理”的证明论强度的研究。 3 _& s+ q' x9 x( w% y 3 N. h, I0 y( r5 G9 l新京报:用了多久证明这个“猜想”?1 b2 u, t% R7 a' ~" y
' u2 A4 _) L9 z7 k' ~刘路:其实只用了一个晚上,接触这个问题不久,我突然想到利用之前用到的一个方法,稍作修改便可以证明这一结论,连夜将这一证明写出来,投给了《符号逻辑杂志》。) ~4 j8 l: |, S& R# p" G+ U! R
; Y7 V" A8 d+ f
新京报:解出答案后、是什么样的心态? & n( w( u, P+ Z. K, B : `8 H3 n. g# \刘路:证明这一结论时,心脏都快蹦到嗓子眼了,按捺不住内心的激动和兴奋。% Z9 i; c& }8 F1 {* x3 V
2 C% f5 \' q# G w3 C
新京报:为什么署名是“刘嘉忆”?* Q! @% N5 O4 }/ s5 E& j( a