Potential AI gains in hard-to-verify reasoning may be hard to spot · Digg