IXThinker·2026-01-14 20:50MIT學者北大開講 談交互式證明批處理
北京大學靜園五院將於2026年1月15日下午3時舉行學術報告，由麻省理工學院的Matthew Man-Hou Hong主講交互式證明的批處理驗證，並由劉天任助理教授主持。
報告主題
報告題目為Efficiently Batching Unambiguous Interactive Proofs。研究顯示，若某語言存在公開硬幣非模糊交互式證明（UIP），即可透過批處理技術高效驗證多個實例。
IXThinker 會員內容
呢篇係 Archive 內容。登入即可解鎖全文，仲有成個 15,000+ 篇、每日更新嘅 AI 動態資料庫。
免費登入／註冊解鎖全文 →Google 或電郵地址即可，即刻解鎖。