Andrew Newman12 Jun 2024Samuel. You seem to have posted a picture of a cat in error. Disappointing… 1 2
Metaflame12 Jun 2024turning tasks into a LLM chat format and back is becoming the modern SAT solver except it's unreliable and often confidently wrong, but it finishes in finite time I guess 1