刚刚，GPT-6 Astra联手非职业数学家，证明57年「摆圆」 难题

以上为资讯摘要，完整内容请访问原文网站。