This one hurts the most, esp. in fields you're not familiar.
Well, at least these days an actually trivial (to a domain expert) proof can be delegated to a frontier model...
alt Hacker News
Well, at least these days an actually trivial (to a domain expert) proof can be delegated to a frontier model...