中学生でもわかる Lean 4 #25｜AI時代の「確かめ方」

AIに質問すると、数秒で答えが返ってきます。 説明は自然で、出典もあり、数式やコードまで付いているかもしれません。 そこで最後に、一つだけ聞いてみます。 で、どこまで確かめた？ この連載では、Lean 4を使いながら、この問いを少しずつ細かくしてきました。 前回の #24「論破から検証へ」 では、勝敗ではなく、何を確認できたかを残すところまで進みました。

More from Zenn (AI) on Accept All

Japan対話イベントを変換するとき、欠落と訂正をどう記録するか？ Zenn (AI)

Japan【残業ゼロへのヒント】Google最新AI「Gemini 4」で仕事は速くなる？ なのに「文字入力」だけ渋滞していませんか Zenn (AI)

JapanData Engineering Agentで既存パイプラインを改修・移行する Zenn (AI)

Japan「そもそも親にAIなんて必要ない」 65歳以上の生成AI利用、子世代の7割が拒否する理由 ITmedia AI+

JapanElasticsearch の Autoscaling を改善する: scale-out の高速化と HPA tolerance の調整 Mercari Engineering

Japan不正アクセス多発、Gartnerが日本企業に「7つのアクション」を緊急提言 ITmedia AI+

More from Zenn (AI) on Accept All.