我們介紹了一個使用Gemini幫助科學(xué)家嚴格驗證其會議投稿論文正確性的新工具，該工具在STOC 2026大會上進行了測試。

理論計算機科學(xué)和數(shù)學(xué)對真理的追求依賴于最高標準的證明、嚴謹性和清晰度。雖然同行評議是關(guān)鍵的最終檢查，但起草和完善復(fù)雜理論工作的過程往往需要數(shù)月時間，簡單錯誤、變量不一致或細微的邏輯漏洞經(jīng)常拖慢整個研究流程。但是，一個高度專業(yè)化的AI工具能否作為快速、嚴謹?shù)暮献骰锇?，幫助作者在論文提交給人類評審員之前預(yù)先審查他們的工作？

為了測試這種潛力，我們?yōu)橛嬎憷碚撃甓華CM研討會(STOC 2026)創(chuàng)建了一個實驗項目——這是理論計算機科學(xué)領(lǐng)域最權(quán)威的會議之一。該項目為作者提供由專門的Gemini AI工具生成的自動化預(yù)提交反饋。我們的目標是在提交后24小時內(nèi)提供建設(shè)性建議并識別潛在的技術(shù)問題，幫助作者在提交截止日期前完善最終草稿。

反響非常積極：該工具成功識別了各種問題，包括計算和邏輯錯誤。以下是我們?nèi)绾伍_發(fā)這個工具以及其使用結(jié)果的報告。

技術(shù)架構(gòu)

反饋工具利用了Gemini 2.5 Deep Think高級版本中的推理擴展方法。這種設(shè)置使該方法能夠在給出最終答案之前同時探索和組合多個可能的解決方案，而不是追求單一的線性思維鏈。通過結(jié)合不同的推理和評估軌跡，該方法減少了固有的幻覺，專注于最突出的問題。

反饋結(jié)構(gòu)

作者收到分為關(guān)鍵部分的結(jié)構(gòu)化反饋：論文貢獻摘要、潛在錯誤和改進建議列表（通常分析特定引理或定理），以及小錯誤和拼寫錯誤列表。

識別的問題類型

該工具成功識別了廣泛的問題，從變量名不一致到復(fù)雜問題，如計算錯誤、不等式應(yīng)用錯誤和證明中的邏輯漏洞。正如一位作者所指出的，該工具發(fā)現(xiàn)了"一個關(guān)鍵錯誤...使我們的證明完全錯誤"，并補充說這是一個"讓我們困擾數(shù)月的令人尷尬的簡單錯誤"。

用戶反饋

超過120名參與者回應(yīng)了我們的實驗后調(diào)查并給予同意，反響非常積極，個人稱贊該模型在發(fā)現(xiàn)關(guān)鍵錯誤方面的成功以及其返回深刻評論的能力?？偨Y(jié)如下：

除了技術(shù)準確性，作者還重視AI評審的速度和中立性。參與者注意到僅在兩天內(nèi)就收到了反饋。其他人贊揚了輸出的"中立語調(diào)和嚴謹性"，認為這是人類讀者的有用補充。

專家驗證和協(xié)作潛力

由于參與者是各自領(lǐng)域的專家，他們能夠輕松區(qū)分有用見解和偶爾的"幻覺"。雖然該模型有時會遇到困難——特別是在解析復(fù)雜符號或解釋圖形時——作者并不會忽視大語言模型的輸出。相反，他們仔細過濾噪音，提取輸出中重要和正確的部分，然后將反饋作為驗證的起點。這一結(jié)果清楚地展示了AI作為協(xié)作伙伴的潛力，通過幫助人類專家基于模型的嚴謹輸出做出明智決策來增強研究工作流程。

教育價值

在此實驗中調(diào)查的研究社區(qū)看到了該工具在培訓(xùn)下一代方面的巨大潛力。75%的受訪作者認為該工具通過提供關(guān)于數(shù)學(xué)嚴謹性和表述清晰度的即時反饋對學(xué)生具有教育價值。

未來展望

這個試點項目展示了專業(yè)化AI工具在基礎(chǔ)領(lǐng)域作為協(xié)作伙伴服務(wù)的潛力，為潛在的未來研究計劃確立了目標。我們的總體目標不是取代關(guān)鍵的同行評議過程，而是增強和改進它。反映這一點，88%的參與者表達了在整個研究過程中持續(xù)使用此類工具的強烈興趣。

Q&A

Q1：這個Gemini反饋工具的主要功能是什么？

A：該工具為理論計算機科學(xué)論文提供自動化預(yù)提交反饋，能在24小時內(nèi)識別計算錯誤、邏輯漏洞、變量不一致等技術(shù)問題，并提供論文貢獻摘要、錯誤改進建議和小錯誤修正列表。

Q2：研究人員對這個AI反饋工具的評價如何？

A：超過120名參與者的反饋非常積極。一位作者表示工具發(fā)現(xiàn)了"讓我們困擾數(shù)月的關(guān)鍵錯誤"，參與者稱贊其速度快（兩天內(nèi)收到反饋）、語調(diào)中立嚴謹，88%的參與者希望在整個研究過程中持續(xù)使用此類工具。

Q3：這個工具會取代人類同行評議嗎？

A：不會。該工具的目標是增強而非取代同行評議過程。75%的受訪者認為它對學(xué)生有教育價值，專家能夠區(qū)分有用見解和偶爾的"幻覺"，將其作為協(xié)作伙伴來輔助研究工作流程。