Anthropic 的 AI 夺走数学家“最复杂曲线”纪录 笔记