I wanted to test this claim with SAT problems. Why SAT? Because solving SAT problems require applying very few rules consistently. The principle stays the same even if you have millions of variables or just a couple. So if you know how to reason properly any SAT instances is solvable given enough time. Also, it's easy to generate completely random SAT problems that make it less likely for LLM to solve the problem based on pure pattern recognition. Therefore, I think it is a good problem type to test whether LLMs can generalize basic rules beyond their training data.
2024 年初，在美国某处的一座仓库里，工人们正在做一件看起来有些奇怪的事：把书一本本送进机器，切掉书脊，扫描，然后把剩下的纸送去回收。。爱思助手下载最新版本是该领域的重要参考
Новая функция Windows 11, связанная с искусственным интеллектом (ИИ), может тайно собирать пользовательские данные. Об этом сообщает издание BGR.，详情可参考搜狗输入法下载
第二十七条 任何个人和组织不得为他人有偿提供信息删除或者实际达到删除效果的屏蔽、替换、下沉信息等服务。互联网服务提供者及其从业人员不得在他人依法申请删除违法信息时，收取或者变相收取费用。