AIが考えた東大生でも解けない微分問題が難しすぎる