4 ms·
Belter was probably joking. A good logic programming ai could do competitive programming through purely deductive reasoning. I just don’t see good evidence that
by qualudeheart 5y ago
Belter was probably joking.
A good logic programming ai could do competitive programming through purely deductive reasoning.
I just don’t see good evidence that’ll be possible at a world class level in 10 year.
- red75prime 5y agoPurely deductive reasoning will crash and burn in a combinatorial explosion if there's nothing to guide it to the kind of problems it may encounter.