3 ms·
Lessons from the AI Revolution in Mathematics
- chrisjj 2y ago> This approach remains human-centric ... the computer handles the tedious and error-prone aspects of proof verification So, outsource the error-prone part of verification to a machine... And these people seriously think the results can be taken on trust??? Please let the law require every such product contain the warning "Checked only by the tech that recommends you eat one rock per day".