'Proof by intimidation': AI is confidently solving 'impossible' math problems. But can it convince the world's top mathematicians?
人工智能以“恐吓证明”解决数学难题，但这是否能让顶尖数学家信服仍需验证。
livescience · livescience · 2026-02-22 · 1710词 · 难度: 中等
本文提供AI翻译、词汇注释和阅读理解测验，帮助你高效提升英语阅读能力。