清华姚班大神陈立杰，联手00后逆向破局！颠覆50年计算机难题

清华姚班大神，再度引爆理论计算机科学圈！

50年来，顶尖科学家都在死磕「旅行商问题」等这类计算机复杂性难题，却迟迟没有进展。

为什么一直证明不出来？

实际上，答案藏在了「元数学」的领域。

恰在去年，一篇名为《Reverse Mathematics Below the Turing Jump》论文低调上线。

作者仅有三个人，清华姚班陈立杰、本科生李嘉图，以及著名计算机领域学者Igor Carboni Oliveira。

他们不再死磕从公理推导定理的传统路径，而是另辟蹊径，采用了「元数学」中「逆向数学」的方法。

结果惊喜地发现，许多看似风马牛不相及的理论，竟在底层逻辑中是完全等价的。

比如，「鸽巢原理」与图灵机的「回文下界」。

这篇论文一出，彻底颠覆了人们的「世界观」。

过去半个世纪，计算机科学家们苦苦追求「更强公理证明更难定理」的思路，原来从一开始就走偏了。

论文地址：http://t.cn/AXy4Gzm3