3 ms·
Computers may not be able to solve proofs, but they can help. In fact, there is a BOINC project aimed at finding triples for the ABC conjecture: http://en.wikip
by joshmaker 14y ago
Computers may not be able to solve proofs, but they can help. In fact, there is a BOINC project aimed at finding triples for the ABC conjecture: http://en.wikipedia.org/wiki/ABC@home http://en.wikipedia.org/wiki/ABC@home