AI News

中國研究人員揭示 TongGeometry:AI 數學推理的範式轉變

在全球人工智慧領域的一項重要進展中,中國的一個聯合研究團隊宣佈創建了 TongGeometry,一個據稱超越 Google DeepMind 旗下 AlphaGeometry 的人工智慧系統。該成果發表在權威期刊 Nature Machine Intelligence,標誌著在追求具有人類級邏輯推理與自主創造能力的人工通用智慧(Artificial General Intelligence,AGI)道路上的一個關鍵時刻。

該系統由北京人工通用智慧研究院(BIGAI)領導的協作團隊開發,並與北京大學多個知名院系合作,包括心理與認知科學學院與人工智慧研究所。不同於以往主要聚焦於解決既有問題的系統,TongGeometry 引入了雙重能力:它既是解題者也是創作者,從根本上改變了機器處理複雜數學挑戰的方式。

超越 AlphaGeometry 基準

多年來,國際數學奧林匹克(International Mathematical Olympiad,IMO)題目一直被視為檢驗機器智能的「黃金標準」。在 2024 年初,DeepMind 推出的 AlphaGeometry 曾以其在幾何題目上的卓越表現引起轟動。然而,TongGeometry 的問世挑戰了這一主導地位,並解決了先前模型固有的低效率問題。

核心差異在於計算效率與架構理念。研究者將 AlphaGeometry 描述為一個「被動解題者」,高度依賴大量合成數據集與龐大的計算集群來達成其結果。與此強烈對比的是,TongGeometry 採取了「小數據、大任務」(small data, big task)範式。

根據研究團隊的說法,TongGeometry 在不到 38 分鐘的時間內成功解決了自 2000 年至今所有國際數學奧林匹克(IMO)幾何題目。最值得注意的是,這一成就僅使用了一塊消費級 GPU,凸顯其在計算成本上相對於 DeepMind 同類系統的極大降低。

技術架構:從「模擬解題」到「自主創造」

TongGeometry 的技術飛躍歸功於其創新的「規範化表示技術」。傳統 AI 解題器常面臨「路徑爆炸」問題,即可能的邏輯步驟數量呈指數級增長,導致系統不堪負荷。TongGeometry 採用其獨特的表示方法,將搜索空間壓縮了數個量級,從而在不依賴暴力計算的情況下實現快速且精確的推理。

Comparison of Leading Mathematical AI Systems

Feature TongGeometry AlphaGeometry
Primary Role Master Teacher (Solver & Creator) Passive Solver (Solver)
Hardware Requirement Single Consumer-Grade GPU Massive Computing Clusters
Data Dependency Small Data (Internal Logic Evolution) Large-Scale Synthetic Datasets
Methodology Normalized Representation & Aesthetic Modeling Symbolic Deduction & Language Models
Search Space Compressed (High Efficiency) Expansive (High Resource Load)

BIGAI 的研究員、該論文的第一作者張弛(Zhang Chi)解釋了系統超越單純解題能力的原因。「我們在研究中識別出一種深刻的二元性:當一個幾何命題的證明難度遠高於其構造複雜性時,它具有作為奧林匹克級題目的『美學價值』,」張氏表示。

藉由對這種二元性的建模,TongGeometry 能夠識別並生成與人類數學家美學標準相符的高質量題目。這一能力代表了從「模擬解題」(AI 單純模仿學到的模式)向「自主創造」的轉變,即系統能理解其所處理邏輯的內在優雅。

在現實世界驗證「大師級教師」能力

聲稱 TongGeometry 可作為「大師級教師」並非僅停留在理論。系統的創造能力已在高層次學術競賽中受到檢驗。三道由 TongGeometry 自主生成的幾何題目被正式選入 2024 年中國數學奧林匹克(北京賽區)

這種納入人類競賽體系的做法驗證了系統輸出的品質。它表明 AI 正逐步超越計算器或搜尋引擎的角色,進入一個能夠提供挑戰人類專家的原創智識內容的階段。

北京大學心理與認知科學學院助理教授朱以新(Zhu Yixin)強調系統模擬人類直覺的重要性。「TongGeometry 的意義不僅在於解題速度的提升,更在於其實現了『小數據、大任務』範式,」朱教授指出。「這條不依賴大量標註數據、而是透過內部邏輯演化的路徑,是 AGI 發展的關鍵。」

對 AGI 未來的影響

TongGeometry 的發表符合業界對 2026 年人工智慧產業的更廣泛預測。正如被稱為『AGI 之父』的 Dr. Ben Goertzel 等業界資深人士所指出,該領域目前正見證向具備真正認知架構的系統競賽——包括長期記憶、目標導向的自主性,以及對資料進行可靠推理的能力。

TongGeometry 的成功暗示,通往 AGI 的道路或許不應僅止於以更多數據與算力擴展大型語言模型(Large Language Models,LLMs),而應著重於發展模擬人類推理過程的專用邏輯核心。能以「內部邏輯」而非僅靠模式匹配運作,對從個性化智慧教育到自動化科學發現等應用皆至關重要。

對 AI 產業的主要影響:

  • 研究民主化: 能在消費級硬體上運行頂尖推理模型,降低獨立研究者的門檻。
  • 教育變革: 能自動生成符合課程需求的題目之 AI 系統,可能徹底改變個性化學習。
  • 科學發現: 由此類邏輯核心驅動的「科學大型語言模型」可協助證明定理與發現新的物理規律。

結論

TongGeometry 的揭幕強烈提醒我們,AI 創新的地理分布正在多元化。透過優先考量算法效率與模擬人類美學直覺,而非單純追求巨量運算力,中國研究團隊在邁向人工通用智慧(Artificial General Intelligence)之路上開闢了獨特路徑。隨著團隊持續迭代「Tong」系列模型,業界將密切觀察這種「以邏輯為先」的方法如何影響下一代 AI 的發展。

精選
ThumbnailCreator.com
利用人工智慧快速輕鬆創建驚艷且專業的YouTube縮圖工具。
Video Watermark Remover
AI Video Watermark Remover – Clean Sora 2 & Any Video Watermarks!
AirMusic
AirMusic.ai 可從文字提示生成高品質的 AI 音樂曲目,支援風格與情緒自訂,並能匯出分軌(stems)。
AdsCreator.com
即時從任何網站 URL 生成精緻、符合品牌調性的廣告素材,適用於 Meta、Google 與 Stories。
Refly.ai
Refly.AI 讓非技術創作者能使用自然語言與視覺畫布自動化工作流程。
VoxDeck
引領視覺革命的AI簡報製作工具
BGRemover
輕鬆地在線移除圖像背景,使用SharkFoto BGRemover。
Qoder
Qoder 是一款由人工智能驅動的程式碼助理,自動化軟體專案的規劃、編碼和測試。
FineVoice
讓文字化為情感 — 在數秒內克隆、設計並創造富有情感的 AI 聲音。
Flowith
Flowith 是一個基於畫布的代理型工作空間,提供免費的 🍌Nano Banana Pro 和其他高效模型...
Skywork.ai
Skywork AI 是一款創新的工具,旨在利用 AI 提高生產力。
FixArt AI
FixArt AI 提供免費、無限制的影像與影片生成 AI 工具,免註冊。
Elser AI
一體化網頁創作工作室,將文字與影像轉換為動畫風格藝術、角色、聲音與短片。
Pippit
提升您的內容創造力,使用 Pippit 的強大 AI 工具!
SharkFoto
SharkFoto 是一個整合型的 AI 平台,用於高效率地創建與編輯影片、影像和音樂。
Funy AI
將你的幻想化為影片!從圖片或文字生成AI比基尼、親吻影片。體驗AI換衣功能。完全免費,無需註冊!
KiloClaw
託管的 OpenClaw 代理:一鍵部署,超過 500 款模型,安全的基礎設施,並為團隊和開發者提供自動化代理管理。
Diagrimo
Diagrimo 即時將文字轉換為可自訂的 AI 產生圖表和視覺圖像。
SuperMaker AI Video Generator
輕鬆打造驚艷的影片、音樂和圖像,使用SuperMaker。
AI Clothes Changer by SharkFoto
SharkFoto 的 AI Clothes Changer 可即時讓您虛擬試穿服裝,呈現逼真的合身度、材質與光影。
Yollo AI
與 AI 伴侶互動聊天。支援圖生片、AI 圖片生成功能。
AnimeShorts
輕鬆使用尖端的AI技術創作驚人的動漫短片。
Image to Video AI without Login
免費的影像轉影片 AI 工具,立即將照片轉成平滑且高品質的動畫影片,並且無浮水印。
Anijam AI
Anijam 是一個 AI 原生動畫平台,透過代理式影片創作將點子轉化為精緻的故事。
HappyHorseAIStudio
適用於文字、圖片、參考素材和影片編輯的瀏覽器式 AI 影片生成器。
InstantChapters
即時生成吸引人的書籍章節。
NerdyTips
由 AI 驅動的足球預測平台,為全球聯賽提供以數據為基礎的比賽建議。
WhatsApp AI Sales
WABot 是一款 WhatsApp AI 銷售副駕駛,提供即時腳本、翻譯與意圖偵測。
happy horse AI
開源 AI 影片生成器,可從文字或圖片建立同步的影片與音訊。
insmelo AI Music Generator
以 AI 為驅動的音樂生成器,將提示、歌詞或上傳內容在約一分鐘內轉為精緻且免版稅的歌曲。
AI Video API: Seedance 2.0 Here
透過單一金鑰提供頂尖生成模型的統一 AI 影片 API,且成本更低。
wan 2.7-image
一款可控的 AI 圖像生成器,可精準控制臉部、配色、文字與視覺連貫性。
BeatMV
基於網頁的人工智慧平台,將歌曲轉換為電影感音樂影片並用 AI 創作音樂。
Kirkify
Kirkify AI 為迷因創作者即時生成帶有招牌霓虹故障美學的臉部置換爆紅迷因。
Text to Music
將文字或歌詞轉換為完整的錄音室級別歌曲,包含 AI 生成的人聲、樂器與多軌匯出。
UNI-1 AI
UNI-1 是一個結合視覺推理與高保真影像合成的統一影像生成模型。
Wan 2.7
專業級 AI 影片模型,具精準動作控制與多視角一致性。
Iara Chat
Iara Chat:一個由AI驅動的生產力和通信助手。
Tome AI PPT
由 AI 驅動的簡報製作工具,可在數分鐘內生成、優化並匯出專業投影片。
Lyria3 AI
AI 音樂生成器,可即時從文字提示、歌詞與風格建立高保真、完整製作的歌曲。
kinovi - Seedance 2.0 - Real Man AI Video
免費的 AI 影片產生器,輸出逼真人物畫面,無浮水印,並享有完整商業使用權。
Video Sora 2
Sora 2 AI 將文字或圖像在幾分鐘內轉換為短篇、物理準確的社交及電商影片。
Atoms
由 AI 驅動的平台,使用多智能體自動化在數分鐘內建立全端應用程式與網站,無需編碼。
AI Pet Video Generator
使用 AI 驅动的範本與即時 HD 匯出,從照片建立可病毒式傳播且便於分享的寵物影片,適用於社交平台。
Ampere.SH
免費託管的 OpenClaw 主機。使用 $500 的 Claude 點數,60 秒內部署 AI 代理。
Paper Banana
以 AI 為動力的工具,可即時將學術文字轉換為已達投稿品質的方法圖與精確的統計圖表。
Hitem3D
Hitem3D 使用 AI 將單張影像轉換為高解析度、可投入生產的 3D 模型。
HookTide
由 AI 驅動的 LinkedIn 成長平台,學習你的語氣以產生內容、互動並分析表現。
Create WhatsApp Link
免費的 WhatsApp 連結與 QR 產生器,具備分析、品牌連結、路由與多代理聊天功能。
GenPPT.AI
由 AI 驅動的簡報製作工具,能在數分鐘內建立、美化並匯出專業的 PowerPoint 簡報,包含講者備註與圖表。
Palix AI
為創作者提供的一體化 AI 平台,使用統一點數生成影像、影片和音樂。
Gobii
Gobii 讓團隊建立全天候(24/7)自主的數位工作者,以自動化網路研究與例行工作。
Seedance 20 Video
Seedance 2 是一款多模態的 AI 影片生成器,提供角色一致性、多鏡頭敘事與 2K 原生音訊。
Veemo - AI Video Generator
Veemo AI 是一個整合型平台,可從文字或圖片快速生成高品質的影片與影像。
AI FIRST
透過自然語言自動化研究、瀏覽器任務、網頁擷取與檔案管理的對話式 AI 助手。
WhatsApp Warmup Tool
由 AI 驅動的 WhatsApp 預熱工具,可自動化大量發送訊息並防止帳號被封。
GLM Image
GLM Image 結合自回歸與擴散混合模型,生成高保真 AI 圖像並具備卓越的文字渲染能力。
Manga Translator AI
AI Manga Translator 即時在線將漫畫影像翻譯為多種語言。
TextToHuman
免費的 AI 人性化工具,能即時將 AI 文字重寫為自然、類人的寫作風格。無需註冊。
ainanobanana2
Nano Banana 2 在 4–6 秒內產生專業品質的 4K 影像,具備精準的文字呈現與主題一致性。
Remy - Newsletter Summarizer
Remy通過將電子郵件摘要成易於理解的洞察,自動化新聞稿管理。
Free AI Video Maker & Generator
免費 AI 視頻製作與生成器 – 無限次使用,無需註冊

中國研究人員以TongGeometry取得突破,AI系統表現優於DeepMind

中國研究人員開發了TongGeometry,一種在自主問題解決與數學推理能力上超越DeepMind的AlphaGeometry的通用人工智慧(AGI)系統。