中國科研團隊在人工智能領域取得重大突破，自主研發(fā)的“通矩模型”成為國際首個同時具備自主出題和自動解題能力的通用人工智能系統(tǒng)。該成果近日在國際權(quán)威學術(shù)期刊《自然-機器智能》在線發(fā)表，標志著我國在自動化推理的邏輯核心領域?qū)崿F(xiàn)關(guān)鍵技術(shù)自主創(chuàng)新，性能與功能多樣性達到國際領先水平。

幾何推理是人工智能發(fā)展的關(guān)鍵挑戰(zhàn)之一。傳統(tǒng)AI系統(tǒng)在處理幾何問題時，常面臨“組合爆炸”困境——每增加一個幾何元素，搜索空間呈指數(shù)級增長；同時受限于“高質(zhì)量數(shù)據(jù)匱乏”，現(xiàn)有幾何題庫規(guī)模難以支撐大規(guī)模模型訓練。針對這些難題，由北京多所高校及研究院組成的聯(lián)合科研團隊，通過構(gòu)建精密的邏輯推理搜索架構(gòu)，將復雜幾何問題抽象建模，使AI系統(tǒng)能夠像人類數(shù)學家一樣進行系統(tǒng)性探索，避免無效嘗試。

研究團隊創(chuàng)新引入“規(guī)范化表示”技術(shù)，賦予AI系統(tǒng)“識破偽裝”的能力。在幾何空間中，同一命題可能因圖形旋轉(zhuǎn)、翻轉(zhuǎn)或縮放產(chǎn)生無數(shù)變體。通矩模型通過自動識別并合并對稱或同構(gòu)的拓撲結(jié)構(gòu)，將搜索空間壓縮數(shù)個數(shù)量級。例如，無論三角形如何擺放，系統(tǒng)都能精準捕捉其本質(zhì)幾何關(guān)系。這種對物理對稱性的深度利用，顯著提升了推理效率。

在解題過程中，系統(tǒng)通過價值函數(shù)模擬人類數(shù)學審美，借助強化學習技術(shù)構(gòu)建“價值模型”。該模型不僅判斷結(jié)論是否成立，更注重推導過程的簡潔性。當AI發(fā)現(xiàn)命題證明難度顯著高于構(gòu)建復雜度時，即捕捉到“直覺性靈感”。研究團隊表示，這種“價值引導”機制使模型能從海量組合中精準篩選符合人類審美標準的高質(zhì)量題目，實現(xiàn)了從“模仿解題”到“自主創(chuàng)造”的范式轉(zhuǎn)變。

實驗數(shù)據(jù)顯示，通矩模型僅需單張消費級顯卡，即可在38分鐘內(nèi)解決2000年以來所有國際數(shù)學奧林匹克競賽的幾何難題，推理效率和準確率均達國際先進水平。更值得關(guān)注的是，該模型通過模擬人類數(shù)學家的直覺和審美，實現(xiàn)了“小數(shù)據(jù)、大任務”的范式轉(zhuǎn)化——不依賴海量標注數(shù)據(jù)，而是通過內(nèi)部邏輯自我演化推進研究。

目前，通矩模型自主生成的3道原創(chuàng)幾何題已入選2024年全國中學生數(shù)學聯(lián)賽（北京賽區(qū)）。研究團隊指出，這一成果不僅為自動化數(shù)學證明、個性化智能教育提供了技術(shù)支撐，更通過優(yōu)質(zhì)題目生成和講解服務，助力青少年數(shù)學能力培養(yǎng)。隨著技術(shù)持續(xù)優(yōu)化，該系統(tǒng)有望在更多復雜邏輯與科學發(fā)現(xiàn)領域發(fā)揮重要作用。