関連ワード:  can ai do math proofs    can ai do math    can ai prove theorems    do you need math for ai  
結果 : can ai do math proofs