#杨-米尔斯理论

共 1 条 · 7 天 1 条 · 30 天 1 条

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

信息流里打上「杨-米尔斯理论」标签的资讯、产品与论文，按刊登时间排，新的在上。

10月27日

论文多源确认95°21:59

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

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

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

IT之家11 个信源在谈原文