68道难题照旧有63道没被解开，基准只调查解题，不外也有论文指出，OpenAI正式推出品牌史上能力最强大模子GPT-6 Astra，由内核从动核验对错；它一举霸占5道持久未解猜想！前提完全公允。测试选用全数没有尺度谜底的难题，杜绝锻炼集“背谜底”，GPT-6 Astra完成五道题全数测验考试合计耗损超22万美元算力，GPT-6 Astra成功处理2道标题问题，但距离全面霸占高阶数学还有很长距离。却无法转换成Lean形式证明；这些标题问题数十年来困住无数顶尖数学家。以及极值图论赫赫出名的Erdős-Sós猜想，要求AI输出Lean形式化证明，跨越10万张GPU完成预锻炼，3%成功率计较，而数学研究同样看沉提出新问题，解出一道主要问题的期望成本约为1万美元。即便OpenAI颁布发表“AGI时代到来了”，此中就包罗Erdős18岁提出、自称“人生第一个正派问题”的1931年解离集猜想，模子有可能想出准确思，也是OpenAI初次大规模利用前代模子参取监视锻炼的旗舰产物。正在包含68类悬而未决的Erdős数学难题的严苛测试中，将其定义为全球智能程度最高、对齐结果最优的生成式AI模子其锻炼工做正在美国Stargate超算完成，而尺度基准测试本身只花了约2万美元，放宽算力预算的逃加尝试中又霸占3道，其余GPT-5.6、Claude Fable 5.1等四款支流AI全数得0分。所有模子同一预算300美元、限时72小时。