例えば東大数学の過去問にこんな問題がある。

sin(α+β)=sinαcosβ+cosαsinβを証明しなさい。

AIならばどういう証明を返してくるのかな?