本网讯： 记者从校概率论与数理统计研究所获悉，今年24岁的教授级研究员刘路，继成功破译国际数学难题“西塔潘猜想”之后，近年来，又在计算理论领域取得最新研究进展。

刘路的第二篇论文《避免计算——闭集上的所有成员》（《Cone avoid closed sets》）已通过国际数学权威杂志《Transaction of AMS》（《美国数学学会会刊》）评审，即将发表。

该杂志评审认为：作者在前一篇论文中，证明了RT2不蕴含WKL0从而解决反推数学中最悬而未决的问题之一。这篇论文是前一篇论文的续接，作者改进了前一篇论文中的技术，并将结论从不蕴含WKL0推广到更弱的系统WWKL0，同时给出了涉及反推数学和算法随机性理论的一些结果的新的证明，不仅仅是提供一个巧妙的证明而是发明了一个全新的技术，更深入地阐述了这个技术的基本原理和它的应用，该技术完全能够给数个领域带来更多的结果，广泛引起了数理逻辑数个领域的专家们的兴趣，是计算理论和相关领域近年来最重要的贡献之一。

著名数学家、我校概率论与数理统计研究所所长侯振挺教授评价：刘路的这篇论文比第一篇论文水平更高，可解决计算理论领域一系列问题。

刘路介绍，这篇论文主要将原来用于解决Seetapun猜想的方法进行推广并应用到其他问题中，写作花了一个月，修改花了几个月，其间，根据审稿人的意见进行了两次大的修改，去年年底被《Transaction of AMS》接收，目前正在排刊，等待正式发表。这一年多来，他在读博的同时，专注于学问，今年十月，他参加中国数学学会年会，并做了“模型论的运用（应用）”的大会报告；“集合组合数学性质与计算性质之间的关系”也成功申报2013年国家自然科学基金青年项目，今后将更多地学习、研究有关机器学习、数理统计等方面的问题。同时他表示，自己是学校青年人才培养激励机制改革的受惠者，他将充分利用学校提供的优厚政策和自由环境，潜心研究，加快成长。