作为一个非常简单的LLM能力示例：大约一年前，Deepseek和ChatGPT都能够一次性解决这个不等式。这并不是特别难，但它在30秒内完成了，而我手动解决可能需要20分钟左右，具体时间我也不太确定。