LLMの出力誤りを人間が全て確認するのは非効率である。解決策として、生成と検証を分離する手法を提案。生成側は正しさを保証せず、検証器が厳格にチェックする仕組みである。Go製CLIツール「verigen」による覆面算の例を交えて解説する。