1月 01 2026 0 AIの「もっともらしい嘘」を見破れ！論理の穴を数学的に暴く新技術 投稿者: ユウ 解説 ねえねえ智也くん！この『正解のその先へ：多段階自動定理証明によるLLMの論理的欠陥の暴露』っていう論文、タイトルがめちゃくちゃかっこよくない！？ ああ、それね。最近のLLMはすごく賢いけど、実は『もっともらしい嘘』…
4月 13 2024 0 失敗から学ぶ：直観主義命題論理証明のためのAIモデルの進化 投稿者: ユウ 解説 ねえ智也くん、この論文のタイトル「失敗から学ぶ：直観主義命題論理証明のためのLLMのファインチューニング」って面白そう！何について書かれてるの？ ああ、これは自動定理証明の分野での研究だよ。大規模言語モデルを使って…