@Xxi5olc@suleimenov@scmallaby I kinda believe, if small labs like moonshot can do it, Google can also do it. I hope you agree Kimi k3 is better than MS right now.
@gurishsharma How does it handle scrubbing high-bitrate long-GOP files? A 200 Mbps file with ~1s GOP is ~25 MB per GOP, and scrubbing means several of those per second, so 100+ MB/s sustained just to keep up. And a 1 GB cache only holds 40 of those GOPs. Or does it only work with proxies?
@qualadder@karthiktadepall But what's the point then? If a guy proves a conjecture, but has no use for it, can't explain it to anyone because he is missing 10 years of PhD-level math knowledge, what is he going to do with it? He can't get a job with it, can't get funding, can't use it in anyway productive.
@qualadder@karthiktadepall When it finishes, how will you know it's correct? You have to ask an llm, but how will you verify that? You have to consult a real mathematician or post it online, but if it is wrong, you just showed the world you don't know what you're talking abt. Karthik is talking about that.