AI 反駁艾狄胥猜想：數域塔、形式化與可信治理

總覽

AI 反駁艾狄胥猜想（三）：數域塔、形式化與可信治理

數域塔、形式化與可信治理

從固定質數與變動數域的突破，到形式驗證與來源治理，檢視 AI 數學發現如何被理解、驗證與負責。

• 先看全貌｜真正的變數轉換：從固定數域、增加質數，到固定質數、增加數域次數
• 再看證據｜高維生成、二維實現：不是逃離平面，而是把算術結構投影回平面
• 最後看邊界｜把反例搜尋制度化：猜想愈受尊敬，愈需要一條獨立的否證路徑