#Lean 形式化证明

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

AI安全 1 OpenAI 1 挂谷猜想 1 杨-米尔斯理论 1

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

Oct 28

Industry US vs ChinaMulti-source88°11:33

Chinese contentOpenAI 宣布证明挂谷猜想等三项成果，发布方式引科研界不满

OpenAI 说它用 AI 证明了挂谷猜想还证伪了指数时间假说，但物理成果只给少数专家看，数学家们不买账，争议点在开放性上。

#OpenAI #挂谷猜想 #杨-米尔斯理论 #Lean 形式化证明

IT之家11 sourcesSource

Lean 形式化证明 · AI news | AITOP