观点 AI科研范式革命：花200美元即可攻克一道数学世纪难题 OpenAI日前确认，其下一代模型Astra以约2000美元推理成本攻克了十道数学与理论计算机科学前沿难题，全部成果通过Lean形式化验证，代码开放在GitHub仓库中。这些难题涵盖高维... 管理员 / 观点 / 2 月前 /2.5w阅读
管理员
加载中,请稍侯......