3 ms·
>I don't find this trial and error pattern matching with human arbitration very impressive. It might not be very impressive, but if it allows experts in mathem
by derektank 1y ago
>I don't find this trial and error pattern matching with human arbitration very impressive.
It might not be very impressive, but if it allows experts in mathematics and physics to reduce the amount of time it takes them to produce new proofs from 1-2 weeks to 1-2 hours, that's a very meaningful improvement in their productivity.