AI 辅助破解 50 年未解数学难题，南大校友用 OpenAI 模型完成非平凡数学证明

AI 辅助科学家解决了 50 年未解的数学难题，完成了首个非平凡研究数学证明。研究涉及一维 J_1-J_2 q 态 Potts 模型，通过引入最大对称子空间方法实现精确求解。其中 q=3 的情况由 OpenAI 的 o3-mini-high 模型提供关键支持。这一突破为物理领域中的复杂问题提供了新见解，并展示了 AI 在科学研究中的巨大潜力。