What would be a good undergraduate research project involving

>>9083856
While you wasted your days at the library in pursuit of gpa I cultivated real intelligence

And now that the world is on fire and the 4th years are at the gate you have the audacity to come to sci for help?

>>9083856
crowdsourced theorem prover

>>9083869
I'm a third year computer engineering student.

>>9083893
Please elaborate

>>9083933
Go to your math department and put up a sign that says:

Girl only math club finally opening up to boys. Please come to: (insert your address here)

Then when they come to your house serve them drinks that are spiked and after they fall asleep kidnap them and put them in your basement and connect them to a machine that can receive messages and can send messages in Latex.

Then create an application called "Theorem prover" where someone can put a theorem and ask for a proof our counter example and then it is sent to your math slaves and then they have to answer. Now install some torture device on your slaves to be sure that if one of them does not work then he suffers. Done!

File: 1442639060783.jpg (68KB, 960x786px) Image search: [Google]

68KB, 960x786px

>>9083944
THAT'S NOT WHAT I MEANT BY ``THEOREM PROVER'' IT'S SUPPOSED TO USE A BLOCKCHAIN AND THE COMPUTER IS SUPPOSED TO VERIFY THE PROOF

>>9083968
How could a computer possibly verify a "theorem"?

>>9084129
https://en.m.wikipedia.org/wiki/Automated_theorem_proving

write your own node in a language of your choice. thats fun

>>9084139
Ok. But how could I twist it to be considered a research project? WTF is research supposed to do? Show new data acquired through some means right?

>>9083856
Design yet another iteration of btc asics.