2 ms·

Computers are good at arithmetic, not math... There's definitely an aspect of this that is 'airplanes, not birds.' Just because the wings don't flap doesn't me

Computers are good at arithmetic, not math... There's definitely an aspect of this that is 'airplanes, not birds.' Just because the wings don't flap doesn't mean it can't fly, though.

_heimdall 2y ago
That's totally fair, though wouldn't the algorithm here have to reduce the math proofs to arithmetic that can be computed in silico?