當沒有直覺的機器，推翻了人類最精緻的直覺

一、那個過於自然的“反例”

2026年5月20日，OpenAI發布了一份長達125頁的數學證明。其內部的一個通用推理模型自主發現了一個反例，正式推翻了保羅·埃爾德什於1946年提出的著名幾何猜想——平面單位距離問題（Erdős Problem 90）。

這個困擾數學界整整八十年的難題，被一個並非為數學專門設計的通用AI模型所破解。加拿大數學家丹尼爾·利特在評論中給予了高度評價：“這是第一個讓我真正感到有趣的、由人工智能自主產生的數學結果。”

公眾的反應大多停留在“AI居然推翻了一個數學猜想”這一層面。但真正值得重視的，並非“推翻”這一結果本身，而是AI完成這一過程的方式——它顯得過於自然。

二、被美感塑造的認知邊界

在數學史上，許多重大猜想最初並非來自嚴密推導，而是源於一種難以言說的“感覺”：結構上的協調、對稱的吸引力、以及長期浸潤於模式後形成的定向直覺。埃爾德什那一代數學家尤其擅長這種結構嗅覺，他們常憑藉經驗判斷某個命題“應該成立”或“不太可能有例外”。

人類數學直覺的強大之處，正在於它深深嵌入我們的認知結構與審美偏好。我們傾向於相信優雅、對稱、簡潔的構造，更容易接受“看起來自然”的結論。這種直覺本質上是一種高度壓縮的經驗總結，受限於人類的感官、進化歷史和三維空間直觀。

而AI沒有這些限制。它不具備人類的審美偏好，不會因為某個構造顯得“醜陋”或“彆扭”而產生本能排斥，也不會因為某個結論過於優雅就降低懷疑門檻。它只是冷酷地搜索可能性空間。

這一次，它在人類憑藉直覺堅守了八十年的領域，找到了反例。這意味着：我們長期視為可靠的“自然感”，可能只是特定生物學框架下的局部幻覺。

三、研究邊界的悄然移動

過去，計算機在數學研究中主要扮演計算工具的角色：執行大規模驗證、窮舉搜索、或輔助複雜計算。但它很少參與“提出有意義的問題”或“判斷研究方向”。

如今，這種界限正在模糊。AI不僅找到了反例，其推理路徑還顯示出一定的研究價值。OpenAI報告發布後，數學家威爾·薩溫沿着AI的思路進一步改進了結果；隨後，DeepMind的模型也解決了埃爾德什遺留的其他幾個較小開放問題。

這種變化的深層意義在於：過去被視為人類專屬的“直覺領域”——哪些結構值得懷疑、哪些方向可能存在裂縫、哪些看似穩固的體系在高維下可能崩塌——如今正被一種完全異質的智能以不同方式接近。

四、範式轉變的真正含義

這並不意味着人類數學家將被取代。相反，當機器在搜索、構造和突破局部直覺方面的能力日益增強時，人類的價值可能更加集中於真正核心的部分：判斷什麼問題真正重要，什麼方向值得投入，以及什麼樣的結構背後承載着更深刻的意義。

然而，不可否認的是，一種長期的認知自信已被打破。數學曾被視為人類理性最堅固的堡壘，在這裡，真理似乎獨立於歷史與偏見而存在。如今我們發現，即使在這一領域，我們最依賴的“直覺”也帶有深刻的物種局限性。而率先揭示這一點的，卻是一個沒有意識、沒有審美、沒有直覺的系統。它用一種完全陌生的路徑，抵達了我們憑藉最精緻直覺也未能抵達的角落。