科研突破4周前·TechCrunch
OpenAI成立数学顾问团队：AI已解决100+开放性数学问题OpenAI于9月21日正式成立数学顾问小组，评估AI在数学研究中的贡献。AI系统已成功解决超过100个开放性数学问题。顾问小组将审核AI生成数学证明的正确性和原创性。据TechCrunch记者Kyle Wiggers报道。
AI 资讯
每日精选 AI 行业动态，点开标题可直达原文出处。
每日精选 AI 行业动态，点开标题可直达原文出处。
OpenAI于9月21日正式成立数学顾问小组，评估AI在数学研究中的贡献。AI系统已成功解决超过100个开放性数学问题。顾问小组将审核AI生成数学证明的正确性和原创性。据TechCrunch记者Kyle Wiggers报道。
OpenAI内部模型成功破解了Paul Erdos数十年来未解的数学猜想，被数学家誉为'AI在数学领域的历史性时刻'。然而结果虽然正确，却挑战了数学核心规范——证明验证、思想归属和开放研究原则。学术界开始呼吁为AI数学研究建立规范框架。据Science News于2026年6月8日报道。