OpenAI宣布AI生成三项研究成果，涉及卡凯亚猜想、ETH与杨-米尔斯理论

OpenAI宣布其AI系统在局部平滑化猜想、指数时间假设（ETH）和杨-米尔斯理论存在性等方向生成证明或反证。关于局部平滑化和ETH的材料已公开并完成Lean形式化，但文章强调形式化不能替代同行评审；杨-米尔斯与QCD成果则由外部物理学家团队继续审查，原始材料暂未公开。