2026.07.06
https://gyazo.com/ce69ac46a4d9a1263c434dae63b6df2c
思った
様々な理由によってAIを回しまくれる環境になり，やっていますが，疲れる
観た
この人たち地の文で喋りすぎだろ
謎のデパート行きたすぎる
良かったね；；
https://www.youtube.com/watch?v=ltObDFcD8n0
こんな感じのBGM流れ始めたのやめてほしかった
いぶきさん、禁酒しよう！！！！！！
思った
https://gyazo.com/8b74da626aa7e7d3556f65bab1099ffe
マジでこれなんだけど本当にどうしたらいい
思った
感想
FFLで集合論をやりたいという人は結構いるのだけど基本的な議論（Kunenの最初の方とか）はガーッとLLM/AIに任せて自動証明させてみるというのもありかなーと思いつつあります．おそらく適宜に資料や誘導を行えば1~2週間で出来ると思います． 私は集合論に関して数学的な適切なガイドやハーネスを与えること，(形式)証明が嫌な匂いを出しているということの判断は難しいので，その部分は専門家と共同してやってみたい．AC/(G)CHの独立性ぐらいは目標にしたいけれども．
機械的に検証できたり決まりきった作法があるようなことはAIに任せて、余暇時間に人間-対-人間のような感覚的・所謂クリエイティヴなことをしようと思って自動化ているけども、単純にAIにディレクションする頻度が高すぎて3倍忙しくなって本末転倒という感じに．．．