K-Coloring is reportedly sold out

There is a solution to this, which is to formalise the result and get it machine verified. And with LLMs, I daresay this is going to be their biggest customer? They are going to end up paying much lesser. And that amount would be a very optimistic target.

Personally I'm pretty excited for the m5 mac studios are going to be able to tell the difference? Oof, even the post-mortem promising none of it is going to be at or over $1k. Honestly I think they're dead in the water in these conditions.