STARK 证明开放数学挑战赛寻求更紧的界

托管在 starks.provably.fast 的开放数学挑战赛邀请人类与 AI agent 共同证明更紧的界，目标是让 STARK 证明减少校验次数、缩小体积。挑战列出 T1 到 T3 三个目标，被接受的贡献（无论是单条引理还是完整证明）都会记录在研究图谱中；组织方称这属于学术认可，更接近公开研究项目而非悬赏。 报道称，100 次查询是理论下限而非保证，且取决于是否真有人证明出目标界。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。