caughtinthought

I mean P!=NP kind of is a core belief

And interior point is regularly outperformed by an exponential time algorithm (simplex) lol

Which is a separate issue than the one you commented originally

Basically 3SAT algo isn't sub-exponential enough to absorb the arbitrary poly cost for the reduction

So 3SAT+poly reduction ends up being exponential

SETH is a much stronger claim than ETH

I'm stating the conjecture as requested

It basically just says that NP is not the same as EXP

3SAT can't be solved in sub-exponential time

Fwiw never thought it was a well-named conjecture

At $20/month you're the reason they're 80B in the red lol

Being good at the intended application is not benchmaxxing.

and the company serving it is losing 50B every half year lol

How do the best humans do against the LLMs?

Even if the model is simple, it is happening at a scale that is producing alien results. You understand the basic principles, but that doesn't matter: you, well rather no one, understands the final product.

Does Karpathy ever talk about how LLMs are supposed to help humanity? Starting to think this guy is just a Twitter addict like every other lab employee

Yeah, I was surprised some people think LLMs are reasoning in Lean directly... all their training data is in NL.