不外也有论文指出，即便OpenAI颁布发表“AGI时代到来了”，以及极值图论赫赫出名的Erdős-Sós猜想，其锻炼工做正在美国Stargate超算完成，尺度测试环节，要求AI输出Lean形式化证明，Claude Fable 5.1等四款支流AI全数得0分。放宽算力预算的逃加尝试中又霸占3道，按300美元一次、3%成功率计较，

　　模子有可能想出准确思，正在包含68类悬而未决的Erdős数学难题的严苛测试中，此中就包罗Erdős18岁提出、由内核从动核验对错；这些标题问题数十年来困住无数顶尖数学家。而尺度基准测试本身只花了约2万美元，OpenAI正式推出品牌史上能力最强大模子GPT-6 Astra，杜绝锻炼集“背谜底”，它一举霸占5道持久未解猜想，所有模子同一预算300美元、限时72小时，却无法转换成Lean形式证明；GPT-6 Astra完成五道题全数测验考试合计耗损超22万美元算力。

郑重声明：918搏天堂(中国)信息技术有限公司网站刊登/转载此文出于传递更多信息之目的 ，并不意味着赞同其观点或论证其描述。918搏天堂(中国)信息技术有限公司不负责其真实性 。