主要来源Justine Moore
查看原文事件专题 ·多源确认
大模型在解决未解数学问题上具结构优势
OpenAI的GPT-5在5分钟内解决了被列为开放问题的Erdős问题，并发现了10个其他被认为已解决的论文。Astra模型改进了自1970年代以来未被打破的高维球体堆积问题边界，该问题作者在研究生阶段尝试了6个月却毫无进展。Astra还用约15页证明了非sofic群的存在，而相关的人类突破需要250页和量子复杂性理论工具。
当前结论
OpenAI的Astra模型在数学问题上取得突破，改进了40年未打破的球体堆积记录，证明AI在细节处理上优于人类。
11 个信源73° AI 热度最后更新 2026/9/8 16:16:37
证据链
11 个信源冲突核查
现有去重数据只说明这些来源讨论同一事件，不代表立场相同。当前没有结构化的支持或反驳证据，不自动推断冲突。