主要来源量子位
查看原文事件专题 ·多源确认
GPT-6 Astra 与非职业数学家合作，证明 57 年摆圆难题
GPT-6 Astra 参与数学证明工作，与一位非职业数学家合作解决了一个悬置 57 年的「摆圆」难题。这是 GPT-6 Astra 在数学证明方向的一次公开亮相。合作方并非职业数学家，显示该模型被用于辅助非专业研究者完成高难度证明。
当前结论
GPT-6 Astra 帮一位业余数学爱好者拿下了悬了 57 年的摆圆难题，看看模型做证明到底到什么水平了。
11 个信源9° AI 热度最后更新 2026/10/12 07:48:53
证据链
11 个信源冲突核查
现有去重数据只说明这些来源讨论同一事件，不代表立场相同。当前没有结构化的支持或反驳证据，不自动推断冲突。