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
computer aided proofs are real already but pretty basic at least what I’ve seen. If the human brain is a type of computer (I think it is) then yes computers will in the future write math proofs. More complicated mathematics like the problems you listed are math problems that are about proofs (symbolic) not numerical techniques you can’t plug and chug to solve them except to prove finitely many cases of them which most mathematicians won’t be satisfied with. What they prefer instead is a structural argument that proves something for a general case.
Latest Answers