// 易错点4：条件写成"<"而非"<="，会导致相同值的元素被错误保留
Testing LLM reasoning abilities with SAT is not an original idea; there is a recent research that did a thorough testing with models such as GPT-4o and found that for hard enough problems, every model degrades to random guessing. But I couldn't find any research that used newer models like I used. It would be nice to see a more thorough testing done again with newer models.
FT Edit: Access on iOS and web
В Финляндии предупредили об опасном шаге ЕС против России09:28