AIは数学における強力だが問題のある新しい協力者である ノート