@DARPA年のexpMathキックオフイベントを経てプリンストンに戻った今、オートフォーマリゼーションの未来、数学のためのAI、そしてより広い意味での科学のためのAIについて考えをまとめ始めています。ここからが私の話です。 「生産的摩擦と非生産的摩擦について」