AI破解Erdos数学猜想：数学家震惊之余呼吁建立研究规范

OpenAI内部模型成功破解了Paul Erdos数十年来未解的数学猜想，被数学家誉为'AI在数学领域的历史性时刻'。然而结果虽然正确，却挑战了数学核心规范——证明验证、思想归属和开放研究原则。学术界开始呼吁为AI数学研究建立规范框架。据Science News于2026年6月8日报道。