IXThinker·2025-06-18 18:30

多模態定理證明基準登場 頂級MLLM正確率僅4%

港科大等團隊推出全新基準MATP-BENCH，將自動定理證明帶入多模態場景，評估多模態大模型處理含圖像與文本的幾何定理證明能力，結果顯示頂級模型正確率僅約4%。

研究背景

自動定理證明（ATP）近年取得顯著進展，但大部分工作集中於純文本定理。現實中，尤其在幾何領域，定理的呈現與理解往往離不開圖像與圖表，人類數學家善於從圖表獲取直覺，引導嚴謹的證明過程。