OpenAI Astra内部版解决10道十年未解数学难题 算力成本约2000美元
OpenAI于2026年8月前后公布，其下一代主力模型家族Astra的内部版本在数学、量子复杂性和理论计算机科学领域解决了10个开放问题，问题积压至少十年，全部解决方案的token成本约2000美元。该模型支持多智能体协同处理长时间任务，已
数学突破 相关资讯
OpenAI模型破解80年前Erdős几何猜想：125页AI证明获数学界认可
OpenAI最新模型自主完成了对Erdős提出的几何猜想的证明，生成长达125页的新证明文件，并获得专业数学家的验证。这一成果被视为AI在纯数学领域的重要里程碑，展示了其通用推理能力的显著提升，在社交媒体X上引发广泛讨论。事件凸显了AI从辅
OpenAI称AI自主破解埃尔德什猜想 数学家验证后真伪辩论升级
2026年5月20日OpenAI发布内部通用推理模型，声称自主发现无限构造族改进埃尔德什平面单位距离猜想，数学家已验证。支持者视为AI突破重大开放问题，反对者质疑证明可重复性。本文基于已确认事实，结合X平台与Google核验来源，深入剖析异