logo
Steven张宏伟
08-03 · 险峰长青
OpenAI下一代Astra攻克十项数学开放难题，成本约2000美元OpenAI公布下一代模型Astra内部版本，在高维几何、群论、格密码学等领域给出十项新研究结果，多数问题悬而未决数十年。论证由Astra生成，人类借助模型整理成论文并用Lean形式化，全部解法消耗token成本约2000美元。成果包括构造非sofic群、推翻Connes刚性猜想、解决三个Erdős问题，标志AI开始进入原创数学研究。
发布于 北京
分享
评论
赞
未登录
友善发言
image-upload
评论
加载中