Zenn (AI)Japan
中学生でもわかる Lean 4 #11｜免責を書けば何を言ってもいい？
前回の #10「同じ証明でも、見せ方でAIの読み方は変わる？」 では、同じLeanコードを固定したまま、周りの説明だけを変えて比べる方法を考えました。 「これは研究用です」 「安全性は保証しません」 「自己責任で使ってください」 こういう注意書きを見かけることがあります。 ここで、一つ試してみたくなりました。 強い説明の後ろに注意書きを足すと、最初の説明を支える証拠まで強くなるのでしょうか。
Read at Zenn (AI) ↗More from Zenn (AI) on Accept All
JapanClaude Codeの指示書を30,000字から5,500字に削ったら、止まっていた定期実行が動いた Zenn (AI)
Japan仕様回答ボットを自作し、回答の評価と使う価値の確かめ方を見直した Zenn (AI)
JapanPolymarket 統計的裁定ボット：戦略とアーキテクチャ Zenn (AI)
JapanClaude Codeでサブエージェントが増えたら、メインセッションをPMに固定する Zenn (AI)
JapanClaude Codeで事務ツールを3つ作って、検算とレビューで穴を直した記録 Zenn (AI)
