最近，知名編程競賽平臺 Codeforces 做出了一個重要決定 —— 禁止使用人工智能（AI）進行編程比賽。隨着 AI 編程能力的迅速提升，Codeforces 創始人米哈伊爾・米爾扎亞諾夫表示，這一決定是必要的，因爲神經網絡的發展已經達到了 “不可忽視的新高度”。

黑客，代碼，程序員

圖源備註：圖片由AI生成，圖片授權服務商Midjourney

這一新規主要是針對競賽的參與者，使用像 GPT、Gemini、Llama 和 Claude 這樣的 AI 系統在比賽中被明確禁止。米爾扎亞諾夫提到，AI 在編程方面的進步不容小覷，尤其是 OpenAI 最近發佈的 o1模型在編程競賽中的表現非常搶眼。在模擬的 Codeforces 比賽中，o1獲得了1807的 Elo 評分，超越了93% 的人工參與者，甚至在一次現場比賽中接近了 “大師” 級別。

不過，Codeforces 對於 AI 的使用並不是完全一刀切。新規允許參賽者在一定範圍內使用 AI，比如翻譯任務或進行語法和小型編碼建議等。但如果是用 AI 生成核心邏輯或算法，那就是禁忌了。儘管如此，執行這一禁令可能會面臨挑戰，因爲 Codeforces 主要依賴參賽者的誠信。

在此背景下，有用戶對這一決定表示不滿，認爲現在的技術使得參賽者能夠輕易地修改 AI 生成的代碼，從而讓其看起來與衆不同，而並不需要真正理解代碼的本質。他們指出，未來的編程競賽平臺其實依賴於參賽者的信任，而試圖對抗 AI 模型的努力可能註定是失敗的。

與此類似，AI 在國際象棋、圍棋等其他競技智力遊戲中也曾引發過類似問題，AI 的實力已經超越了人類。但在這些比賽中，人類選手之間是直接對抗的，這保留了競爭的精神。而在匿名的在線編程比賽中，這一點卻更難以保證。

爲了保持公平競爭，Codeforces 表示會密切關注 AI 技術的發展，並根據需要調整規則，以平衡公平競爭和 AI 輔助學習之間的關係。同時，著名程序員喬治・霍茲也對 o1模型給予了高度評價，他認爲這款 AI 是首個真正能夠進行編程的模型，並對其未來充滿信心。

劃重點:

🌐 Codeforces 決定禁止在編程比賽中使用 AI 系統，以應對 AI 技術的快速發展。

🤖 新規允許有限的 AI 使用，但禁止 AI 生成核心編程邏輯和算法。

🔍 執行這一禁令面臨挑戰，因爲平臺依賴於參賽者的誠信。