proof
Everything on Ground Truth tagged “proof” — 1 item.
AlphaEvolve helped tighten the matrix multiplication exponent, and the proof was checked in exact arithmetic News
A new paper establishes a certified upper bound of 2.371177 on the matrix multiplication exponent, improving the previous best of 2.371339, by reformulating the core optimization problem and refining the resulting algorithm with DeepMind's AlphaEvolve.