Yes, DX80 seems to hold the record followed closely by the Acebeam X65 which does about 6k continously with air circulation, 5300 in still air.
Maiden666 tested it. It will do about 6k lumen in a room with no air circulation. About 7k if a fan is turned on (which I think is equivalent to walking around with it outside). I talk about it here.