OpenAI Astra 内部版攻克 10 大数学难题
The cost of generating the proofs for all 10 of these breakthroughs combined was under $2,000 at Sol...
AI 导读OpenAI 下一代模型家族 Astra 的内部版本解决了数学、量子复杂性和理论计算机科学领域的 10 个重大开放问题，被视为科学推理的重大进步。生成全部 10 项突破证明的总成本在 Sol API 价格下不足 2,000 美元。OpenAI 期待即将推出的 Astra 模型能助力科学家与研究人员。
另有 10 家信源报道
- OpenAI 下一代模型内部版以约 2 千美元 token 解决 10 个开放难题Rohan Paul · 8 月 4 日
- OpenAI Astra 证明 10 项数学新成果马东锡 NLP · 8 月 2 日
- OpenAI Astra 内部版解决 10 大数学难题Karina Nguyen · 8 月 2 日
- OpenAI Astra 证明数学难题，人类难以感知其能力Ethan Mollick · 8 月 1 日
- OpenAI Astra 发布 10 项数学突破Tibo · 8 月 1 日
- OpenAI Astra 模型破解 10 道数学难题Rohan Paul · 8 月 1 日
- OpenAI 发布“下一代主要模型”Astra，攻克十道多年未解数学难题The Decoder：AI News · 8 月 1 日
- OpenAI 公布数学与理论计算机科学领域十项进展，Token 成本约 2000 美元IT之家·人工智能 · 8 月 1 日
- OpenAI Astra 内部版攻克 10 大数学难题Noam Brown · 8 月 1 日
- OpenAI Astra 以约2000美元证明10项数学难题Greg Brockman · 8 月 1 日
来源：Noam Brown · x.com
事件后续1
查看事件全部- OpenAI Astra 以约2000美元证明10项数学难题Greg Brockman · 8 月 1 日