证明论 Proof Theory

证明论 Proof Theory│├── 0. 证明论的地基：必须先理解的逻辑语言│ ││ ├── 0.1 命题│ │ ├── 真│ │ ├── 假│ │ └── 复合命题│ ││ ├── 0.

结构化AI创作笔记

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

清华姚班大神，再度引爆理论计算机科学圈！50年来，顶尖科学家都在死磕「旅行商问题」等这类计算机复杂性难题，却迟迟没有进展。为什么一直证明不出来？实际上，答案藏在了「元数学」的领域。

36氪

Feep! search：一款面向程序员的搜索引擎，收录信息超2900万页

一款专门面向程序员的搜索引擎，2021年9月才开工，却收录了超过2900万页信息。search」能够检索的信息源，包括DevDocs、Hacker News、Kiwix、Stack Exchange等，甚至还包括一些已索引但未爬网的链接，信息总量超过2900万页——这甚至比谷歌1998年推出的第一款搜索引擎还要多。

新智元

姚班传奇陈立杰入职OpenAI，16岁保送清华，30岁拿下UC伯克利助理教授

最新消息：姚班大神陈立杰，加盟OpenAI了。据“Top华人社消息”，OpenAI内部确认：清华姚班天才、UC伯克利EECS助理教授陈立杰已加盟OpenAI，负责数学推理！

36氪

2020年1月新闻热词汇总

禁捕后仍要做大量工作以确保生态修复Effortswill also be made to protect rare species and enhance monitoring over aquatic life in the Yangtze, and to improve pr

中国日报网

西塔潘猜想深度研究：从反推数学基础到前沿进展

西塔潘猜想的重要性不仅在于其自身的数学深度，更在于它推动了反推数学、递归论和组合数学等多个数学分支的交叉发展。

二十二世纪科学的乌云

OpenAI再爆惊天丑闻，窃走20年成果，顶级数学家怒了

不久前，纽大数学家Tristan Buckmaster因「NS方程」的归属问题，与OpenAI爆发激烈冲突。

36氪

姚班陈立杰入职OpenAI！16岁保送清华，30岁拿下UC伯克利助理教授

henry 发自 凹非寺量子位 | 公众号 QbitAI最新消息：姚班大神陈立杰，加盟OpenAI了。据“Top华人社消息”，OpenAI内部确认：清华姚班天才、UC伯克利EECS助理教授陈立杰已加盟OpenAI，负责数学推理！

量子位