A new open math challenge at starks.provably.fast aims to tighten error bounds in STARK proofs, potentially reducing their size significantly.