  |
○ご飯
朝：なし。昼：サラダ。夜：キャベツとベーコンとエノキと人参のスープ。だし納豆豆腐。目玉焼き。りんご。ヨーグルト。間食：フルーツケーキ。
○調子
むきゅーはややー。お仕事は、それなりー。
捕まえた数17。
ChatGPTでいうと余裕で計算ミスるから先が思いやられる。。。
といって数学書を大量に打ち込んでもフォーマットが微妙なのと「自明である」を代表とするコンテキストが多すぎて、いいモデルできなさそう。
AIがいい感じだから金をぶちこむぞ → 大量すぎるデータを入れた結果、人間が研究を行う過程を模倣できるようになったぞ → 数学の研究は人間の0.1%の効率で研究を行うAIが1億スレッドで稼働するから検証作業だけ行えばいいぞ
とかの方が早そう（完全に妄想）。
1はともかく2と3は気付いてもそっちが気になってるのにこっちからアプローチしないといけない、みたいな圧感じるとシンプルに癪だな〜って気持ちになっちゃってめんどくなるってのはある。
