＞・AIはまだ始まったばかり。全てはこれから
残念ながら AI はすでに終わっています。AI 分野が発展すればするほど、人間にしかできないことが浮き彫りになると考えています。
＞・数学そのものにも、影響がありそう（昔から、自動証明みたいな話はある）
AI はエレファントな証明をひねり出すことはできても、エレガントな解はたぶんだせないでしょうね、今までに計算機由来のエレガントな証明はありましたか？
＞・翻訳についていえば、機械翻訳はAI以前からある（AIを使うのは、翻訳精度を上げる一手段だね）
今 SICP https://ja.wikisource.org/wiki/SICP の個人訳に取り掛かったばかりです。そこでたくさん迷っていますが、その中でも次の一文
>A computational process, in a correctly working computer, executes programs precisely and accurately
"pricisely and accurately" も日本語に反映させるのは難しいと思いますが、もっと難しいのは "in"、私はこれを同格の in と解釈しましたが、コンピュータにそれができるかどうか疑問です。
この文の私訳は「計算機 processという概念、それが現実に対応するのは稼働中のコンピューターだが、それはプログラムを正確かつ精密に実行する。」 "process" は現時点では未訳で放置しています。
