模型多源确认
GPT-6 Astra 与非职业数学家合作，证明 57 年摆圆难题
刚刚，GPT-6 Astra联手非职业数学家，证明57年「摆圆」 难题
精选理由
GPT-6 Astra 帮一位业余数学爱好者拿下了悬了 57 年的摆圆难题，看看模型做证明到底到什么水平了。
GPT-6 Astra 参与数学证明工作，与一位非职业数学家合作解决了一个悬置 57 年的「摆圆」难题。这是 GPT-6 Astra 在数学证明方向的一次公开亮相。合作方并非职业数学家，显示该模型被用于辅助非专业研究者完成高难度证明。
原文 · 量子位
刚刚，GPT-6 Astra联手非职业数学家，证明57年「摆圆」 难题
GPT-6 Astra扫荡数学证明ing
