私は将棋AIの開発にLeanを活用している。今回は、その話を詳しく書く。 ■ 将棋AIに使われている二つの難解なアルゴリズム 将棋AIには、特に難解なアルゴリズムが2つある。df-pnとペタショック化アルゴリズムである。 … 続きを読む 将棋AIのアルゴリズムの正しさをLeanで証明した話