搜索结果
追踪全球人工智能最新动态，深度报道行业大事件、技术突破、产品发布和融资资讯。
找到 2 条与 "Lean" 相关的资讯
数学家24小时驳回OpenAI攻破的数学猜想！AI证对了每句话，但已跟原猜想无关
数学家24小时驳回OpenAI攻破的数学猜想！AI证对了每句话，但已跟原猜想无关
OpenAI宣称下一代AI模型解决了10个世界级数学难题，包括推翻Connes刚性猜想。仅24小时后，堪萨斯大学数学家J.L.Nielsen通过37000行Lean代码逐行核验，指出AI构造的反例不成立，其中一个群未满足猜想前提条件。
OpenAI新模型Astra连破10道数学世纪难题，推理成本仅2000美元
OpenAI新模型Astra连破10道数学世纪难题，推理成本仅2000美元
OpenAI于8月1日公布下一代内部模型Astra研究成果，成功解决10项悬而未决十余年的数学与理论计算机科学开放问题，全部证明通过Lean形式化验证，Token成本仅约2000美元。