Open math challenge seeks tighter bounds to shrink STARK proofs

Shrinking STARK proofs could enhance blockchain efficiency, reduce costs, and test AI's role in advancing cryptographic research.