Remix.run Logo
ozgung 37 minutes ago

Also the proof is so trivial that it’s left to the reader.

BurnerOptical 27 minutes ago | parent | next [-]

This one hurts the most, esp. in fields you're not familiar.

hnfong 16 minutes ago | parent [-]

Well, at least these days an actually trivial (to a domain expert) proof can be delegated to a frontier model...

cubefox 8 minutes ago | parent | prev [-]

In 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 as evidence that their opinion is correct.