2 ms·
How relevant are these considerations for practical use cases? Specifically, for all practical purpose, it is sufficient to have probabilistic guarantees. Supp
by yodsanklai 3y ago
How relevant are these considerations for practical use cases?
Specifically, for all practical purpose, it is sufficient to have probabilistic guarantees. Suppose an AI is able to generate mathematical proofs as well as humans, it wouldn't really matter if in theory "they are limited to solving problems in TC^0 with failure as negation"
- nyrikki 3y agoWhile TC^0 can divide or multiply through say FFT, it actually can't do counters or addition which I am pretty sure requires TC^1 or Log-depth Threshold Circuits. LTSM is much more powerful.