OpenAI用新模型Astra一次做出十项数学新结果，token花了2000美元

8 月 2 日消息，OpenAI 周六公开十项数学与理论计算机科学成果，同时放出 249 页论文、62 页推理说明和一套 Lean 4 形式化证明。不过生成这些结果的下一代模型 Astra 仍是内部版本，没有随之开放。据 OpenAI 介绍，Astra 生成数学论证后，人类与模型共同将其整理成论文