What was already known
The paper compares with the preceding bound ω<2.371339.
What changed and why it matters
Advances the stated target relative to the recorded baseline.
The AI contribution
AlphaEvolve refined a human-developed optimization procedure.
Limitations
An asymptotic arithmetic exponent, not a measured GPU speedup. Human reformulation, numerical optimization and verification are essential; AIProofWatch has not rerun the optimizer.
Verification evidence
Evidence labels show what supports the claim. Importance rates its impact if correct.
Author claim
The original source reports this scoped result; AIProofWatch reviewed its statement, not the full proof.
Accessible artifact / proof
A research manuscript or proof artifact is publicly accessible; availability is not independent checking.
Correction and publication history
Full source review, 11 October 2026. Historical addition; subscriber alerts disabled.
Read this published revision