>>150
No
単に証明の計算機による検証のことを
信州大の教授が完全証明と称しているだけ