曾经是人类智慧最后堡垒的数学，如今已被人工智能攻破，沦陷于AI之下。