zlacker

[parent] [thread] 2 comments
1. adastr+(OP)[view] [source] 2025-04-10 16:34:15
I ask Claude to solve problems of similar complexity on a daily basis. A SAT solver specifically is maybe a once a week thing.

Use cases are anything, really. Determine resource allocation for a large project, or do Monte Carlo simulation of various financial and risk models. Looking at a problem that has a bunch of solutions with various trade-offs, pick the best strategy given various input constraints.

There are specialized tools out there that you can pay an arm and a leg for a license to do this, or you can have Claude one-off a project that gets the same result for $0.50 of AI credits. We live in an age of unprecedented intelligence abundance, and people are not used to this. I can have Claude implement something that would take a team of engineers months or years to do, and use it once then throw it away.

I say Claude specifically because in my experience none of the other models are really able to handle tasks like this.

Edit: an example prompt I put here: >>43639320

replies(1): >>YeGobl+Ze
2. YeGobl+Ze[view] [source] 2025-04-10 18:03:37
>>adastr+(OP)
Talk is cheap. The bottom line is that I don't see any SAT solvers that you generated with Claude.
replies(1): >>adastr+xA
◧◩
3. adastr+xA[view] [source] [discussion] 2025-04-10 20:42:44
>>YeGobl+Ze
It’s not my job to make one for you.
[go to top]