清华姚班大神陈立杰，联手00后逆向破局！颠覆50年计算机难题
编辑：桃子 好困【新智元导读】50年未解计算复杂性「天坑」，竟被姚班大神搞定了！他选了一条「逆向数学」的新路，正把理论计算机科学倒过来重写。清华姚班大神，再度引爆理论计算机科学圈！50年来，顶尖科学家都在死磕「旅行商问题」等这类计算机复杂性难题，却迟迟没有进展。
为什么要证明？
下文编译自旧金山大学数学名誉教授 John Stillwell 为其新书 The Story of Proof: Logic and the History of Mathematics 撰写的导读文章，他在文中通过毕达哥拉斯定理展示了“证明”的意义——“证明”是用任何人都能理解的陈述，来让我们相信本来不相信的东西。
证明论 Proof Theory
证明论 Proof Theory│├── 0. 证明论的地基：必须先理解的逻辑语言│ ││ ├── 0.1 命题│ │ ├── 真│ │ ├── 假│ │ └── 复合命题│ ││ ├── 0.
清华姚班大神陈立杰，联手00后逆向破局，颠覆50年计算机难题
清华姚班大神，再度引爆理论计算机科学圈！50年来，顶尖科学家都在死磕「旅行商问题」等这类计算机复杂性难题，却迟迟没有进展。为什么一直证明不出来？实际上，答案藏在了「元数学」的领域。
公开发表！高校女博士，高水平成果获国际认可！
在高等教育的广阔版图中，北京语言大学以其独特的语言教育特色闻名遐迩。实际上，北语在计算机科学、人工智能等领域同样实力不菲。
姚班陈立杰入职OpenAI！16岁保送清华，30岁拿下UC伯克利助理教授
henry 发自 凹非寺量子位 | 公众号 QbitAI最新消息：姚班大神陈立杰，加盟OpenAI了。据“Top华人社消息”，OpenAI内部确认：清华姚班天才、UC伯克利EECS助理教授陈立杰已加盟OpenAI，负责数学推理！
西塔潘猜想深度研究：从反推数学基础到前沿进展
西塔潘猜想的重要性不仅在于其自身的数学深度，更在于它推动了反推数学、递归论和组合数学等多个数学分支的交叉发展。
姚班传奇陈立杰入职OpenAI，16岁保送清华，30岁拿下UC伯克利助理教授
最新消息：姚班大神陈立杰，加盟OpenAI了。据“Top华人社消息”，OpenAI内部确认：清华姚班天才、UC伯克利EECS助理教授陈立杰已加盟OpenAI，负责数学推理！