研究突破昨天·KuCoin News
中国科学家用国产AI模型成功解决悬置30年的数学猜想据KuCoin News于10月15日报道，中国科学家利用国产AI模型成功解决了一个悬而未决30年的数学猜想。这一成果展示了AI在纯数学前沿研究中的突破性应用潜力，也为国产AI模型在科学研究领域的竞争力提供了有力证明。（来源：KuCoin News，2026年10月15日）
AI 资讯
每日精选 AI 行业动态，点开标题可直达原文出处。
每日精选 AI 行业动态，点开标题可直达原文出处。
据KuCoin News于10月15日报道，中国科学家利用国产AI模型成功解决了一个悬而未决30年的数学猜想。这一成果展示了AI在纯数学前沿研究中的突破性应用潜力，也为国产AI模型在科学研究领域的竞争力提供了有力证明。（来源：KuCoin News，2026年10月15日）
OpenAI发布未公开AI模型生成的722篇数学手稿，声称在数百个数学问题上取得进展，但专家呼吁需进行广泛独立验证。来源：IBTimes AU，2026年10月7日报道。
IEEE Spectrum报道AI系统成功解决了千禧年大奖难题级别的重大数学问题。但部分数学家对AI生成证明的可验证性和'理解'深度提出质疑，引发了关于数学研究本质的深刻讨论。原文发表于2026年10月6日。
OpenAI于9月21日正式成立数学顾问小组，评估AI在数学研究中的贡献。AI系统已成功解决超过100个开放性数学问题。顾问小组将审核AI生成数学证明的正确性和原创性。据TechCrunch记者Kyle Wiggers报道。
数学家Tristan Buckmaster公开指控OpenAI，称其利用AI辅助在Navier-Stokes方程（千禧年大奖难题之一）上取得进展后，OpenAI研究人员施压要求删除论文中来自Anthropic的合作者署名。此事在数学界和AI社区引发关于学术诚信和AI研究伦理的激烈讨论。（据The Decoder 2026年9月8日报道）
据Nature于2026年9月8日报道，Anthropic的AI系统在短短11天内完成了对费马大定理的形式化证明——这是数学史上最著名的难题之一。该成果发表于Nature，展示了AI在数学推理和形式化验证方面的惊人能力，标志着AI辅助数学研究的里程碑。
2026年8月15日，据华尔街日报报道。研究人员通过鼓励AI系统进行数学推理，使黎曼猜想等著名数学难题取得了实质性进展。Anthropic和OpenAI的模型均参与了这一突破性研究，标志着AI在纯数学领域的应用达到新高度。
OpenAI内部AI模型成功找到传奇数学家Paul Erdos数十年前著名猜想的反例，被数学界誉为AI在数学领域最具里程碑意义的突破。该结果正确但挑战了数学研究核心规范——证明验证、成果归属和开放研究原则。2026年6月17日报道。
OpenAI内部模型成功破解了Paul Erdos数十年来未解的数学猜想，被数学家誉为'AI在数学领域的历史性时刻'。然而结果虽然正确，却挑战了数学核心规范——证明验证、思想归属和开放研究原则。学术界开始呼吁为AI数学研究建立规范框架。据Science News于2026年6月8日报道。
作者：OpenAI；时间：2026-05-20。OpenAI 称其内部通用推理模型在平面单位距离问题上取得突破，推翻了长期以来关于方格构造近似最优的猜想，并给出一族可产生多项式改进的例子。OpenAI 表示该证明已由外部数学家检查，且模型并非专门为数学或该问题训练。该事件的重要性在于，AI 科学发现的叙事从“辅助检索和形式化”进一步走向“提出跨领域原创思路”，但仍需要同行审查和可复核证明来确立可信度。