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

据qbitai发布于2026年10月12日的消息，标题称GPT-6 Astra与非职业数学家联手证明了存在57年的「摆圆」难题。来源摘要仅提示GPT-6 Astra在数学证明领域持续进展。报道未披露该难题的具体内容、证明方法、非职业数学家的身份及验证情况，相关细节公开资料未提供。