A proposal to make AI benchmark rankings more reliable · Digg