💎 ジョンズ・ホプキンス大学の著名な数学教授エミリー・リール: 「これが私が考える数学の未来だ。 領域固有の形式言語があるかもしれません。代数幾何学、凝縮数学、微分幾何学など、多くの異なるサブフィールドがあります。 そして数学者は、コンピュータの証明アシスタントの助けを借りて、新しい形式体系で証明を書くことを素早く学べるようになるでしょう。 正しいことをしているのか間違っているのかを教えてくれるんだ。」 Math, Inc.の『@jessemhan』と『@jdlichtman』との完全な対談は近日中に予定されています。