#理论计算机科学

OpenAI公布次代模型“Astra”，成功解决多项数学未解难题

美国OpenAI公司于6月1日宣布，其下一代主要人工智能模型命名为“Astra”。 在当天发布的题为《数学与理论计算机科学的十项进展》的文章中，OpenAI透露，内部版本的“Astra”模型已经成功解决了多项在过去十年甚至更长时间内未有突破的数学难题。 这些难题涵盖了高维几何、编码理论、算术电路复杂性、群论、算子代数、量子复杂性以及格子密码学等多个领域，均为数学界极为重要的研究课题。OpenAI