未发布的 Astra 模型据称攻克 10 项长期数学难题

TechFlowPost 8 月 1 日消息，根据新披露信息，一款尚未发布的 Astra 模型可能为 GPT-6。该模型据称已在数学、量子复杂性和理论计算机科学领域攻克 10 项长期未解难题。

披露信息提到，这 10 项问题包括首个显式非 sofic 群，以及推翻 Connes 刚性猜想。核心论证由 Astra 生成，随后在 Lean 中完成形式化证明，最终产出 249 页手稿和机器可验证证书。

按 Sol API 费率计算，单次成功求解的 token 成本仅约 2000 美元。