3 ms·
> How do you score this computation? What's your goal? Maybe give it a list of problems of varying degree of hardness, and tell it to either prove or disprove
by thomasahle 9y ago
> How do you score this computation? What's your goal?
Maybe give it a list of problems of varying degree of hardness, and tell it to either prove or disprove as many as possible?
- Will_Parker 9y agoYou could even train it with random theorem expressions run through a conventional theorem prover. And then let it loose on the problems that are left.