OpenAI 宣布其模型在调和分析、复杂度理论和量子场论方面取得三项成果,包括证明各维度的 local smoothing 猜想(进而解决 Kakeya 猜想与 Stein 限制猜想)、在 Lean 中验证 ETH 为假、以及给出 QCD 与纯 Yang–Mills 理论的严格存在性证明。
查看原文:https://openai.com/index/building-scientific-understanding-with-academic-communities
来源:OpenAI:官网动态(RSS · 排除企业/客户案例)


