3 ms·So until now every proofs of this theorem were still computer-assisted right ?by lairv 4y agoSo until now every proofs of this theorem were still computer-assisted right ?gentle 4y agoYes, that's right.wikfwikf 4y agoThey still are.