#杨-米尔斯理论

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

Lean 1 OpenAI 1 挂谷猜想 1 数学证明 1

Stories, products and papers tagged "杨-米尔斯理论", newest first.

Oct 27

PapersMulti-source95°21:59

Chinese contentOpenAI 宣布 AI 模型在数学、计算机科学、物理学领域取得三项突破

OpenAI 的模型这回直接证了挂谷猜想和杨-米尔斯存在性，数学成果已过 Lean 验证，感兴趣可以去 GitHub 看证明原文。

#OpenAI #挂谷猜想 #杨-米尔斯理论 #Lean

IT之家11 sourcesSource