単なる素人の「、、、気がする」ですが。。。 ■いま証明しようとしている問題が、Leanで解決できるか? ⇒ Leanの手に負えるならば、それ以前に、多くの人が証明を理解できるような気がする。 ■今回、Leanを持ち込んで良いことは? ⇒ 簡単にLeanに落とし込めないことが共有できていること自体は価値がある気がするが、 これは、一般的には、証明がわかりにくいことを示している気がする。 ■Leanを使って、AIが、いま証明しようとしている問題を証明できる可能性があるか? ⇒ (遠い未来は別として)ない、気がする。 念のため LANA project は、素人ながら、楽しみにしているプロジェクトで…