[z3dd]

I wouldn't say humans are efficient at that so no reason to copy, other than as a starting point.

[carlmr]

Maybe not efficient, but if the LLMs can't even reach this benchmark then I'm not sure.