This one was a lot better than others. For every SAT problem with 10 variables and 200 clauses it was able to find a valid satisfying assignment. Therefore, I pushed it to test with 14 variables and 100 clauses, and it got half correct among 4 instances (See files with prefix formula14_ in here). Half correct sounds like a decent performance, but it is equivalent to random guessing.
This Tweet is currently unavailable. It might be loading or has been removed.
，推荐阅读91视频获取更多信息
Moment of introspection aside, I’m not sure what the future holds for agents and generative AI. My use of agents has proven to have significant utility (for myself at the least) and I have more-than-enough high-impact projects in the pipeline to occupy me for a few months. Although certainly I will use LLMs more for coding apps which benefit from this optimization, that doesn’t imply I will use LLMs more elsewhere: I still don’t use LLMs for writing — in fact I have intentionally made my writing voice more sardonic to specifically fend off AI accusations.
Supports the long-term health of the global open source supply chain, not of specific