#Lean形式化

1 stories · 1 in 7 days · 1 in 30 days

OpenAI 1 SAT求解 1 指数时间假说 1

Stories, products and papers tagged "Lean形式化", newest first.

Oct 28

Papers BuildersMulti-source88°08:51

Chinese contentOpenAI 公布数学、计算机科学与物理学三组研究主张，邀请学界核验

OpenAI 让模型写出了可能推翻 ETH 的证明，还请了 Impagliazzo 这些大牛来核验，Lean 形式化也做了一部分，看看到底靠不靠谱。

#OpenAI #指数时间假说 #SAT求解 #Lean形式化

SuperTechFans11 sourcesSource