Pedro Domingos：数学是「人类难、机器易」的莫拉维克悖论典型

AI 学者 Pedro Domingos 发推指出，数学是莫拉维克悖论的经典案例：对人类很难的事，对机器反而容易。这暗指近期 AI 在数学竞赛、证明等任务上的进展——曾被认为最难的智力活动正率先被模型攻克。