任何人都不应该在没有分享凭证的情况下发布比赛结果并宣称胜利。在数学竞赛的情况下，有效的凭证应该是自然语言中的非正式证明，或正式的 Lean4 证明。这些凭证应该与公告一起发布，而不是一周后。 不这样做只是为了吸引参与和炒作。AI 行业已经有足够多这样的情况了。