If someone were to solve one of the millenium prize problems

None of the millennium prize problems could be brute forced by a computer. You're barking up the wrong tree.

>>9092038
Wouldn't the theorem prover be a contribution?

>>9092049
>None of the millennium prize problems could be brute forced by a computer.
Based on the current state of the art sure, but you don't know what kind of related theorems might be known in the future.

>>9092038
I hope not. If we have been able to prove so much shit by just using words and brainpower then using computers to write our proofs would make math 100% boring.

This also ties in with a professor of mine who says that the four color theorem remains unproven kek.

>>9092038
Making an end-to-end automated theorem prover to prove millenium problems would probably be harder than solving them directly

>>9092049
You realize one of them essentially was, right?

>>9092049
>None of the millennium prize problems could be brute forced by a computer. You're barking up the wrong tree.
Why do undergrads post like this, completely just speaking out of their ass?

File: 1440233468118.jpg (61KB, 465x512px) Image search: [Google]

61KB, 465x512px

>cs fags think they'll be bale to prove theorems mathematicians cant

File: 1501665782993.png (57KB, 327x137px) Image search: [Google]

57KB, 327x137px

>>9092049
how does it feel to be this retarded https://en.wikipedia.org/wiki/Poincar%C3%A9_conjecture