沒有人應該在比賽中宣稱勝利而不分享證據。在數學比賽的情況下，有效的證據應該是自然語言中的非正式證明，或是正式的 Lean4 證明。而這些證據應該與公告一起發布，而不是一週後。 不這樣做只是在進行互動農業和炒作。AI 行業已經受夠了這些。