4 ms·
In some idealized form of math, proving theorems is indeed mechanical, but the branching factor is extremely high.
by nearestneighbor 17y ago
In some idealized form of math, proving theorems is indeed mechanical, but the branching factor is extremely high.