Mlangford756 hours agoThe mathematical proof from which the benchmark was distilled https://zenodo.org/records/21502824