検証可能な AI が AI を加速