I would. One case is the four-color theorem that was proven by computer. It's a bit controversial because humans can't verify the proof, just computers which is good enough for me.
Here are some more proofs:
http://www.theverge.com/2014/2/19/54265 ... s-to-check
More about a math proof:
http://theconversation.com/a-purported- ... what-52491
Any thoughts?
PhilX
Would you accept a math proof by computer?
-
- Posts: 5621
- Joined: Sun Aug 31, 2014 7:39 am