So there are currently tons of unsolved math problems such as The Collatz Conjecture, The Riemann Hypothesis, Goldbach’s conjecture and so on… I get that they are so hard that being good at mathematics isn’t enough, but why can’t computers solve them? Or at least solve some parts of the problem, getting a chunk of the work done for the mathematicians that work on them?
Will computers be able to eventually solve this problems in the future as we’ll develop better technology?
In: Mathematics
They aren’t problems that can be solved by just crunching numbers. For a mathematical proof to be valid, it has to be valid for all numbers and you cannot possibly check all numbers because there are an infinite number of them!
It is true we have programs that can generate proofs for some sorts of problems, but they aren’t necessarily better than the best people (certainly faster in some cases).
Latest Answers