OpenAI新推模型证明AI能自主解出80年未解几何猜想

OpenAI宣布其最新通用推理模型自主产生了一个原先未解的1946年几何猜想的证明，该团队称这是AI首次独立解决该领域重大数学难题，展示强推理能力。