搜索
OpenAI下一代模型Astra：10项开放问题新突破 成本2000美元
2 小时前
一道困扰学界几十年的开放问题，取得关键突破需要多少成本？OpenAI的回答是：十道题约2000美元。昨天下午，OpenAI公布惊人成绩单，其下一代主要模型Astra内部版本在高维几何、编码理论、群论等十个领域给出十项新研究结果，部分问题停滞超十年。这些论证由Astra生成，人类研究人员整理成论文，模型将论证转化为Lean证明证书，完成形式化验证。
