OpenAI Astra 证明数学难题，人类难以感知其能力
One other observation: for almost every human on the planet, this is not just beyond our abilities b...
AI 导读OpenAI 下一代模型 Astra 证明了 10 个数学难题，包括推翻 Connes 刚性猜想，并附 Lean 证书与 CoT 推理过程。Ethan Mollick 指出，此类成果已超出多数人类的理解范围，能力提升正变得难以“感知”。
另有 10 家信源报道
- OpenAI 下一代模型内部版以约 2 千美元 token 解决 10 个开放难题Rohan Paul · 8 月 4 日
- OpenAI Astra 证明 10 项数学新成果马东锡 NLP · 8 月 2 日
- OpenAI Astra 内部版解决 10 大数学难题Karina Nguyen · 8 月 2 日
- 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 内部版攻克 10 大数学难题Noam Brown · 8 月 1 日
- OpenAI Astra 以约2000美元证明10项数学难题Greg Brockman · 8 月 1 日
来源：Ethan Mollick · x.com
事件后续1
查看事件全部- OpenAI Astra 以约2000美元证明10项数学难题Greg Brockman · 8 月 1 日