OpenAI发布了其下一代AI模型Astra在数学领域的重大突破。该模型在包括高维几何、编码理论、算术电路复杂度、群论和算子代数等领域共解决了10个数学难题。其中包括终结长达27年的非sofic群猜想——该猜想由Gromov于1999年提出；首次突破1978年以来的极限，精确计算了Cohn-Elkies线性规划的指数…
