昨天(26)举行的“人工智能的数学边界与基础重构”论坛上,一场没有硝烟的挑战赛正在上演:出题方是以首位华人菲尔兹奖获得者丘成桐为首的“数学家天团”,答题方则是上海人工智能的“顶流”——人工智能实验室、商汤科技、阶跃星辰和MiniMax。逻辑推理是数学的核心。数百年来,数学家仅凭一张纸、一支笔,就能从