專案開始的 2025 年

在寫題解、做教學,以及觀察 AI 解題的過程中,我反覆看到一種非常典型的失敗:

推理過程看起來完全正確,但關鍵輔助線從未真正被構造出來,後續所有結論都依賴一個並不存在的結構。

這類錯誤很隱蔽,它不是邏輯錯誤,而是結構錯誤。

幾何問題本身需要的並不是語言推理,而是需要用可操作的對象來推理問題。

如果圖形不能被嚴肅約束、不能被復現、不能被操作,那麼基於幾何的數學推理就失去基礎。

我做大角幾何的最初動機,就是讓圖形本身成為一套帶有約束表達的代數語言。

大角幾何是什麼

大角幾何(Dino-GSP)是一款面向 AI 幾何與數學教學的動態幾何畫板與數學 AI 工具。它將圖形表示為可計算結構,使圖形的構造、修改與驗證可以被執行與復現。

它既是:

  • AI 幾何工具
  • 數學教學工具
  • 動態幾何畫板
  • 可結構化生成的幾何作圖系統

但它的核心並不是更方便畫圖,而是讓幾何圖形從視覺結果變成可執行對象,以服務於 AI 時代的上層建設。

與傳統幾何畫板的差異

傳統動態幾何畫板依賴互動操作完成構造。

大角幾何(Dino-GSP)將圖形用數學代數語言進行規範化定義與操作,使其可被程式執行。

這帶來兩種變化:

1)圖形可程式化 生成與修改不再依賴手動拖曳,而可以透過規則與結構描述完成

2)AI 可參與 系統能夠自動生成滿足條件的圖形,並參與構造與推理過程

因此,大角幾何不只是畫板,更是圖形的表達規範。

它在 AI 幾何中解決的關鍵問題

AI 在幾何中最大的困難不是理解,而是構造與計算。

傳統工具中:

  • 複雜圖形需要大量手動操作
  • 輔助線依賴人為經驗
  • 探索過程低效且不可復現

大角幾何透過結構化協議 + AI 生成能力:

  • 自動生成滿足條件的圖形
  • 自動繪製輔助線與輔助結構
  • 提供可驗證的推演環境

在數學探索中,這意味著學生和研究者都能更快發現關係、驗證猜想,而不是被繁瑣的構造過程所阻礙。

使用場景

教學

透過拖動保持性質,讓學生理解「為什麼成立」,而不是記憶結論。

題解創作

將關鍵結構變成可復現的圖,而不是一次性截圖。

數學探索

自動生成輔助結構,加快發現關係的過程。

內容生產

批次生成規範一致的幾何圖,用於題庫、教材與課件。

價值:從展示工具到推演工具

傳統畫板解決「表達」,證明系統解決「證明」,大角幾何關注「中間過程」。

當圖形成為結構化對象,幾何就不再是靜態結果,而是一個可以操作、修改、驗證的過程。

這意味著學習不再是被動接受,而是主動實驗;解題不再是尋找答案,而是構造過程;內容不再是展示,而是可復現的結構;AI 不再是工具,而是參與者。

FAQ

大角幾何(Dino-GSP)與傳統動態幾何畫板的本質差異是什麼?

用數學代數語言規範圖形的定義與操作,使生成與修改可以程式化實現,並結合 AI 自動生成符合條件的圖形。

它在 AI 幾何裡解決的關鍵痛點是什麼?

減少複雜圖形的手動構造,透過 AI 自動生成與輔助結構,提高探索效率與準確性。

AI 作圖有哪些互動方式?

支援自然語言、模板、參數化以及混合模式,讓使用者可以用不同方式描述並生成圖形。