RecodeX 重构消息，一项开放数学挑战提出三个目标，其中包括将已知的二次界替换为线性界，以及把二次界扩展到更广的适用范围，旨在为更小的STARK证明寻求更紧的边界。相关证明需在Lean中接受独立审查。