数学社区开始整理 AI 证明稿，也在争论这份劳动该由谁承担

• 数学社区开始整理 AI 证明稿，也在争论这份劳动该由谁承担

时间线

• 2026-10-25 日报