logoalt Hacker News

K2-think: A parameter-efficient reasoning system

41 pointsby mglyesterday at 5:04 PM7 commentsview on HN

Comments

mglyesterday at 5:05 PM

Debunking the Claims of K2-Think https://www.sri.inf.ethz.ch/blog/k2think

show 1 reply
Telemakhostoday at 12:38 AM

Does it ever respond when you ask it something? I started a query at https://www.k2think.ai/guest thirteen minutes ago and haven't gotten an answer yet.

softwaredougyesterday at 8:56 PM

Can reasoners be optimizers?

Like does reasoning find a gradient to optimize a solution? Or are they just trying to expand state until finding what the LLMs world knowledge would say is highest probability?

For example, I can imagine an LLM reasoner might run out of state trying to perfectly solve for 50 intricate unit tests. Because it ping pongs between solving one case, then another, playing whack-a-mole and not converging.

Maybe there's an "oh duh" answer to this, but where I struggle with the limits of agentic work vs traditional ML.

show 1 reply
transformiyesterday at 10:37 PM

So currently what are the best OSS reasoning models? (and how much compute the needed)