主要来源a16z
查看原文事件专题 ·多源确认
OpenAI分享模型数学思维过程
OpenAI的Mark Sellke和Mehtaab Sawhney解释为何发布模型的数学思维过程而非仅证明结果。GPT-5在5分钟内解决了Erdős问题，并发现了10个其他被认为已解决的问题的解决方案。Astra模型改进了自1970年代以来未被打破的高维球体堆积界限，并建立了非sofic群存在性证明。
当前结论
OpenAI科学家揭秘Astra如何解决数学难题，包括改进球体堆积记录和证明非sofic群存在。
11 个信源73° AI 热度最后更新 2026/9/8 16:38:26
证据链
11 个信源冲突核查
现有去重数据只说明这些来源讨论同一事件，不代表立场相同。当前没有结构化的支持或反驳证据，不自动推断冲突。