[ozgung]

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

[cubefox]

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 to show that their opinion is correct.

[moffkalast]

Counterexample left as an exercise for Fable

[BurnerOptical]

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

[hnfong]

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