4 ms·
> 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 beg
by bawolff 1y ago
> 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.
- hto2i34334324 1y agoThe most difficult part of automated theorem proving is not the "tactic" part, but actually in the formulation. (Theory building is quite hard in math; the computation side is only hard after a point).
- tshaddox 1y agoPerhaps 1/1000 would be a useful rate, but numbers go a lot smaller than 1/1000.