OpenAI Astra 证明 10 项数学新成果
Humans frame the questions, scrutinize the answers, and give discoveries meaning. AI explores possi...
AI 导读OpenAI 下一代模型 Astra 证明了 10 项数学新成果，包括非 sofic 群的存在性及对 Connes 刚性猜想的反驳。每个证明均附带 Lean 证书和 CoT 推理过程。主推文强调人类提问与审视、AI 大规模探索的协作模式，或将成为各专业领域的未来。
另有 10 家信源报道
- OpenAI 下一代模型内部版以约 2 千美元 token 解决 10 个开放难题Rohan Paul · 8 月 4 日
- 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 内部版攻克 10 大数学难题Noam Brown · 8 月 1 日
- OpenAI Astra 以约2000美元证明10项数学难题Greg Brockman · 8 月 1 日
来源：马东锡 NLP · x.com
事件后续1
查看事件全部- OpenAI Astra 以约2000美元证明10项数学难题Greg Brockman · 8 月 1 日