研究突破昨天·KuCoin News
中国科学家用国产AI模型成功解决悬置30年的数学猜想据KuCoin News于10月15日报道,中国科学家利用国产AI模型成功解决了一个悬而未决30年的数学猜想。这一成果展示了AI在纯数学前沿研究中的突破性应用潜力,也为国产AI模型在科学研究领域的竞争力提供了有力证明。(来源:KuCoin News,2026年10月15日)
每日精选 AI 行业动态,点开标题可直达原文出处。
据KuCoin News于10月15日报道,中国科学家利用国产AI模型成功解决了一个悬而未决30年的数学猜想。这一成果展示了AI在纯数学前沿研究中的突破性应用潜力,也为国产AI模型在科学研究领域的竞争力提供了有力证明。(来源:KuCoin News,2026年10月15日)
OpenAI内部AI模型成功找到传奇数学家Paul Erdos数十年前著名猜想的反例,被数学界誉为AI在数学领域最具里程碑意义的突破。该结果正确但挑战了数学研究核心规范——证明验证、成果归属和开放研究原则。2026年6月17日报道。
作者:OpenAI;时间:2026-05-20。OpenAI 称其内部通用推理模型在平面单位距离问题上取得突破,推翻了长期以来关于方格构造近似最优的猜想,并给出一族可产生多项式改进的例子。OpenAI 表示该证明已由外部数学家检查,且模型并非专门为数学或该问题训练。该事件的重要性在于,AI 科学发现的叙事从“辅助检索和形式化”进一步走向“提出跨领域原创思路”,但仍需要同行审查和可复核证明来确立可信度。