alt Hacker NewsThis requires arithmetics and constraint solving skills that are wildly out of reach to any pure-LLM platform. At the very least you would need interfacing with a real SMT or LP solver to get something that fits the bill.
This requires arithmetics and constraint solving skills that are wildly out of reach to any pure-LLM platform. At the very least you would need interfacing with a real SMT or LP solver to get something that fits the bill.
Looks like we're stuck with coding assistants and Studio Ghibli pics then :-)