GPT-6 Astra联手非职业数学家,攻克57年「摆圆」难题OpenAI的GPT-6 Astra与一位非职业数学家合作,成功证明了困扰学界57年的「摆圆」难题,展示了AI在数学发现中的协同潜力。 量子位 02:59 AI 辅助 人工智能 数学 科学发现