OpenAI用AI攻克难解数学猜想

Ten advances in mathematics and theoretical computer science

OpenAI宣布其内部模型Astra在数学和理论计算机科学领域取得了十项重大突破，解决了包括高维几何、群论和量子复杂性在内的多个长期悬而未决的问题。这些成果不仅推翻了Connes的刚性猜想，还为非sofic群的存在提供了构造证明，并显著改进了二进制码和球面码的界限。OpenAI强调，虽然数学论证完全由AI生成，但人类负责了手稿的整理和Lean证书的形式化验证，并承诺对结果的正确性负责。这一进展标志着AI作为科研合作伙伴的新阶段，同时也引发了关于学术归属和AI在数学研究中角色的深刻讨论。