If a player gets all four words in a set correct, those words are removed from the board. Guess wrong and it counts as a mistake—players get up to four mistakes until the game ends.
——“扎扎实实、踏踏实实地搞现代化建设”
，更多细节参见51吃瓜
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.
Also: The latest Linux kernel release closes out the 6.x era - and it's a gift to cloud admins