[GPerson]

That proof has almost no significance because the average mathematician cannot spend 2 million dollars on inference.