AI资讯OpenAI公布次代模型“Astra”，成功解决多项数学未解难题
美国OpenAI公司于6月1日宣布，其下一代主要人工智能模型命名为“Astra”。 在当天发布的题为《数学与理论计算机科学的十项进展》的文章中，OpenAI透露，内部版本的“Astra”模型已经成功解决了多项在过去十年甚至更长时间内未有突破的数学难题。 这些难题涵盖了高维几何、编码理论、算术电路复杂性、群论、算子代数、量子复杂性以及格子密码学等多个领域，均为数学界极为重要的研究课题。OpenAI
#理论计算机科学
按标签聚合查看文章内容。
AI资讯
AI资讯OpenAI次世代模型“Astra”解决了10个数学未解难题
美国OpenAI于8月1日宣布，其最新一代AI模型“Astra”成功解决或在数学及理论计算机科学领域的10个长期未解难题上取得重大进展。继今年5月AI反驳了埃尔德什的单位距离猜想后，Astra再次在数学领域展现出突破性成果。 据悉，Astra在解决这些问题时所消耗的计算资源，按ChatGPT-5.6 Sol的API费用计算约为2000美元（约合31万元人民币）。AI生成的证明经过同一模型辅助，由