OpenAI 下一代模型 Astra 攻克 10 项数学难题
OpenAI 内部模型 Astra 以极低成本在多个数学难题上取得重大突破，其中非 sofic 群反例被认为是菲尔兹奖级成果，展示 AI 在数学研究中的巨大潜力。
OpenAI 未发布的内部模型 Astra 在 10 个长期悬而未决的数学难题上取得突破，涉及几何、群论、编码理论等领域。最亮眼的成果是构造出第一个非 sofic 群（一种无法用有限结构逼近的无限群），终结了 1999 年以来的猜想。整个证明过程花费的算力成本不到 2000 美元，平均每个难题约 200 美元。
正文摘录
 新智元报道  OpenAI还有大招！ 奥特曼刚演示的内部模型Astra，一口气在10个数学难题取得重大突破！  这249页的PDF，在整个数学圈都是非常炸裂的程度。  论文：https://cdn.openai.com/pdf/ten-proofs-oai.pdf 证明：https://openai.com/index/ten-advances-in-mathematics/ Github开源Lean证明：https://github.com/openai/ten-proofs 数学家、美国数学学会Fellow、罗格斯大学杰出教授Alex Kontorovich难掩震惊，只留两个惊叹号。  这是一个足以载入史册的分水岭时刻：无论在数学领域，还是AGI的征程上。 说得直白些：如果这些结果经受住整个学界的检验，那么单是今天的这一轮发布，便堪称现代史上相关领域单日跨度最大的一次飞跃！