|
|
|
|
|
by jsheard
510 days ago
|
|
Why do people keep taking OpenAIs marketing spin at face value? This keeps happening, like when they neglected to mention that their most impressive Sora demo involved extensive manual editing/cleanup work because the studio couldn't get Sora to generate what they wanted. https://news.ycombinator.com/item?id=40359425 |
|
I have nothing against scientists promoting the Coq Proof Assistant. But that's open source, can be run at home and is fully reproducible.