あれ2025/4/29 16:01:00 AI、小規模なスクリプトとか、プロジェクトの立ち上げる時のコード書かせるのも精度が高い印象ある。学習データ多そう。 込み入った既存のプロジェクトになってきてしまうと、個別性が高くて学習データが乏しいという問題がありそう。 AIがやるにしろ、人がやるにしろ、プロジェクトが「ここだけ見ればよい」みたいな構成にできてるといいんだろうなぁと思う。 設計を勉強して頑張っていきたい。
『leanによる定理証明AIエージェント遊戯 #lean - Qiita』2025/4/13 1:40:00 https://qiita.com/10long/items/d4ac873a2e05c4c603ba