無職AIエンジニアの日記

こんにちは、ondaです。
今日から不定期で日記を書いていこうかと思います。
面白く書く予定はないです！本当に日記です。

1/30

今日の午前中は地元のおしゃれなカフェで電磁気学の教科書の演習問題を解いて、その後にマックに行ってLeanという数学の形式化言語で数学の問題を解いた。無職なのに大散財だ。

物理を勉強しなおそうと思ったのはこれで3度目で、すでに2回諦めている。職に就いていたとき、腰を据えて勉強したいものが多く優先順位がすぐに下がってしまったのだ。半年前にブログに「色々勉強したくなってしまうので、必要に迫られない限り勉強しないことにした」と書いたのだが、最近はその方針は変更し、もっぱら自分の欲望に従う方針にした。

自分の欲望はなんなのか？という疑問には簡単には答えられない。ここ一週間この問題をずっと考えていた。というのも、最近自分の活動に身が入らないことが続き、その原因が自分の活動と自分の欲望が一致してないからなのではないかと思ったからだ。

「今持っている課題が全部解決されたとしたら何をやりたいか？」と考えて思い浮かんだのは「物理の勉強したい」だった。より抽象的には「宇宙や生物や意識などの神羅万象を知りたい」という気持ちを思い出した。

現在自分たちは数学の自動定理証明のAIを開発している。もしAIがあらゆる数学の問題を解き明かしたとしたら、自分はその証明を読みたい。AIが作り上げた数学の理論をインフラとして物理や生物の謎を解き明かしたい。

そのような気持ちを最近忘れかけ、「定理証明AIで世界最先端の研究をする研究機関を作る」ための活動ばかりをしており、自分の知的好奇心を満たす活動が抜けていたのだ。

そう、今日は久しぶりに自分の知的好奇心を午前中に満たした。非常に充実した気持ちになり、午後にはずっと後回しにしていた論文執筆に取り掛かることができた。

これからも自分の欲望に正直でありたい。