At the acknowledgement the only big name from the field is Peter Sarnak https://en.wikipedia.org/wiki/Peter_Sarnak. If Peter Sarnak vouch for the result it might be correct.