sc94597 said:
Nah, theorem provers that use Lean or Rocq and physically-constrained systems like Alpha Proteo aren't slop. It's because they have ground-truth verifiers and aren't just generating willy-nilly without verification. They also will help a lot of people. |
They don't help artists, animators or writers, they're putting them out of work. -_-








