LLM 助攻纯数学：Mathieu 群 M23 被证明是 Q 上的伽罗瓦群

数学博主 @mathandcobb 介绍，Mathieu 群 M23 已被证明是 Q 上的伽罗瓦群，并专门制作视频讲解这一成果。他认为这是「LLM 加速数学研究、同时保持人类贡献居首」的绝佳案例，展示 AI 作为研究辅助工具而非替代者的定位。