数学界对AI的回应来了: 《莱顿人工智能与数学宣言》