5 ms·
Also the proof is so trivial that it’s left to the reader.
by ozgung 3mo ago
Also the proof is so trivial that it’s left to the reader.
- BurnerOptical 3mo agoThis one hurts the most, esp. in fields you're not familiar.
- hnfong 3mo agoWell, at least these days an actually trivial (to a domain expert) proof can be delegated to a frontier model...
- cubefox 3mo agoIn the future this might be replaced with "you can verify this fact by asking an LLM of your choice". Similar to how people in chat arguments already post screenshots of an LLM answer to show that their opinion is correct.
- moffkalast 3mo agoCounterexample left as an exercise for Fable