推論運算擴展

STOC 2026學術會議投稿前提供AI回饋，並用推論運算擴展先檢查證明與數學一致性，指出錯誤與潤稿建議，調查120位參與作者回覆，97%認為有幫助