Here is one example:
https://www.newscientist.com/article/dn ... -oKtPldWAU
Another example is the proof of the four-color conjecture by Appel & Hanken through a computer which you can google (some mathematicians object to this type of proof).
PhilX
What do you think of proof by computer?
-
- Posts: 5621
- Joined: Sun Aug 31, 2014 7:39 am