3 ms·
I wouldn't be so reliant on AI black-boxes like ChatGPT to learn anything from medicine, law or even mathematics and you don't even trust if its outputs are eve
by rvz 3y ago
I wouldn't be so reliant on AI black-boxes like ChatGPT to learn anything from medicine, law or even mathematics and you don't even trust if its outputs are even correct.
Terrance Tao doesn't even trust its outputs either and can verify if it is outputting nonsense that may look 'correct' in your eyes.
- Sakos 3y agoI don't blindly believe everything it says. I've caught it making mistakes plenty of times. But there's simply no going back anymore. There's no replacing what it can do and the kind of workflow it offers.
- pfdietz 3y agoAh, but the nice thing about constructing formal proofs is you can immediately tell if the output is correct.
- practal 3y agoYes, but you also need to make sure the input is correct! For example, your idea of automatically formalising a paper needs to somehow make sure that the result means the same as the paper.