Sora Is Shutting Down?

[sc94597]

CaptainExplosion said:

sc94597 said:

I'm surprised it took them this long. AI for content generation without formal verification is one area where I think it is indeed lazy slop. Fully support this. 

Using AI generation for ANYTHING is lazy slop. It's even worse than when Disney started using CGI props in their 2D movies. At least the latter added to the overall atmosphere of certain scenes, like the Cave of Wonders in Aladdin. AI generated content adds nothing but cringe.

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.