![]()
新智元报道
编辑:桃子 好困
【新智元导读】50年未解计算复杂性「天坑」,竟被姚班大神搞定了!他选了一条「逆向数学」的新路,正把理论计算机科学倒过来重写。
清华姚班大神,再度引爆理论计算机科学圈!
50年来,顶尖科学家都在死磕「旅行商问题」等这类计算机复杂性难题,却迟迟没有进展。
为什么一直证明不出来?
实际上,答案藏在了「元数学」的领域。
恰在去年,一篇名为《Reverse Mathematics Below the Turing Jump》论文低调上线。
作者仅有三个人,清华姚班陈立杰、本科生李嘉图,以及著名计算机领域学者Igor Carboni Oliveira。
阅读全文