I believe the world is all the richer for his works last September, if they are viewed as they should be viewed: a conjecture by a giant, possibly who realizes that cognitive decline has begun, instead of a proper proof.One wonders if his last talk on the Riemann Hypothesis proof was a Fermat moment.
Replicating the function is difficult, no doubt see e.g. the point @mitchell porter makes:Apparently, the proof hinged on the mysterious Todd function which no one knew how he had/if he had constructed it.
But it certainly is not an insurmountable problem using 8.11 and I'm sure it has privately been achieved by others as well; however, having said that, running the resulting function on a computer seems to be problematic to say the very least.Here we should face again the fact that no participant in the Internet discussions around Atiyah's claims has understood his two papers in anything like a comprehensive way. People just focus on some little part that they think they understand. For example, it's only now that I really noticed the actual formula for "ж"! ... equation 8.11, a double limit of a sum of "Bernoulli numbers of higher order". And when I check the reddit attempt to reproduce Atiyah's calculation, 8.11 is all but ignored.