| ▲ | BurnerOptical an hour ago | |
This one hurts the most, esp. in fields you're not familiar. | ||
| ▲ | hnfong an hour ago | parent [-] | |
Well, at least these days an actually trivial (to a domain expert) proof can be delegated to a frontier model... | ||
| ▲ | BurnerOptical an hour ago | |
This one hurts the most, esp. in fields you're not familiar. | ||
| ▲ | hnfong an hour ago | parent [-] | |
Well, at least these days an actually trivial (to a domain expert) proof can be delegated to a frontier model... | ||