> This is one example. How many other attempts did the person try that failed to be useful, accurate, coherent? The author is an OpenAI employee IIUC, so it begs this question. Sora's demos were amazing until you tried it, and realized it took 50 attempts to get a usable clip.
If you could combine this with automated theorem proving, it wouldn't matter if it was right only 1 out of a 1000 times.
If you could combine this with automated theorem proving, it wouldn't matter if it was right only 1 out of a 1000 times.