【2026年5月21日凌晨，OpenAI宣佈：其內部的通用推理模型，成功推翻了匈牙利數學家保羅·埃爾德什1946年提出的“平面單位距離猜想”。
這是一道懸置近80年的離散幾何核心難題。
菲爾茲獎得主蒂莫西·高爾斯（Timothy Gowers）受邀稽核，稱這是“AI首次獨立解決數學核心未解問題的里程碑”，並評價道：“如果這是人寫出的論文，我會毫不猶豫推薦頂刊接收”。
普林斯頓大學教授諾加·阿隆也盛讚：
“AI做到了許多優秀研究者嘗試多年卻未能做到的事情”。數學家托馬斯·布魯姆在驗證後撰文：
AI之所以能成功，是因為它堅持探索了那些人類研究者認為“不值得繼續投入時間”的研究方向。
值得注意的是，這次OpenAI長了個心眼，就在七個月前，他們曾宣稱GPT-5解決了多個埃爾德什問題，結果被揭穿只是從文獻中找到現成答案。
而這一次，他們同步邀請了多位數學家獨立驗證，所有公開支援宣告都是真金白銀的原創突破。】
天幕上又亮了起來，可這次底下的佃戶們只是抬頭瞥了一眼，就齊刷刷收回了目光。
“來來來，看不懂看不懂——”劉易斯鎮長把手裡一把粗糙的紙牌往石桌上一拍，朝周圍幾個佃戶招了招手，“咱們繼續玩。”
幾個人呼啦啦圍上來，蹲的蹲、坐的坐，把那塊平時當切菜板用的石頭圍了個嚴實。
“一對三！”一個年輕佃戶甩出兩張牌，得意洋洋。
“王炸！”劉易斯把手裡兩張牌“啪”地拍在石頭上，聲音脆得像放鞭炮。
佃戶們先是一愣，隨即笑成一團。有人拍著大腿，有人笑得彎了腰，年輕佃戶指著劉易斯，眼睛瞪得溜圓：
“嘻嘻嘻——大劉，你這研究的‘鬥貴族’還真好玩！你腦子怎麼長的？”
貴族：還是不肯放過我嗎，哈基劉，你這傢伙
劉易斯笑眯眯地把桌上的牌攏過來，一邊洗一邊謙虛道：“誇獎了，誇獎了。”
牛頓蹲在不遠處的石階上，雙手搭在膝蓋上，遠遠看著那群佃戶打得熱火朝天。
他不太喜歡這種喧鬧的玩法，更不喜歡那些粗糙得連數字都印歪了的紙牌。
別人：打牌
牛頓：研究天幕……就很
至於天幕上那個叫“AI”的東西，他皺了皺眉。
“有智慧的機器？”他低聲唸叨了一句，目光往天上飄了飄。
聖經裡好像也沒有這種東西。人造的生命？那不就是……他把那個念頭按了下去，沒有說出口，只是覺得脊背微微發涼。
而在書房裡，高斯和黎曼並肩坐在一張長桌前，面前攤著幾頁演算紙，兩個人的目光卻都落在天幕上，半天沒動。
“AI……人工智慧……”黎曼的聲音帶著一種真切的困惑，“能取代人類做數學研究？那未來的數學，還有人類的事嗎？”
高斯沒有馬上回答。
他摘下眼鏡，慢慢地擦著鏡片，過了好一會兒才開口道：
”。的用作的類人有會還“
。類人到不及企也，慧智再機謂所“，穩很目的面後片鏡，上戴新重鏡眼把他
”。柄權的帝上是那，命生新造創？嗎了帝上為就不類人，在存的慧智還己自比明發能果如類人，想想你
。開鬆全完有沒並頭眉可，頭點了點，秒幾了默沉曼黎
。了代取IA被得實確怕恐類人那，候時的決解能都想猜曼黎連IA天一有果如
。裡房書的眼起不間一近附園莊利奇雷佈，蘭格英
。不一，樣字的”題問解未心核學數決解立獨次首IA“行那上幕天著盯睛眼隻兩，著傾前往人個整，緣邊子椅在坐靈圖
。地原了在釘被是像人個兩，話說沒也曼依諾·馮的著站邊旁
”？了來出做經己們他，機靈圖用通論討在還在現們我“，興的住不制剋種一著帶裡音聲，著複重地喃喃曼依諾·馮”……想猜翻推……型模理推用通“
。下落有沒遲遲，面上在懸尖筆，頁一的白空了開翻經己，本記筆的上桌了到候時麼什道知不手的他。答回有沒靈圖
。擋阻可不樣一紙宣進滲水墨像，形慢慢在正詞個一，裡海腦的他在
。慧智量衡去話對用，機斷判去機用，試測靈圖
？慧智了有擁算不算它那，機是還人是它辨分法無類人讓中話對在能機臺一，天一有果如
。幕天眼一了看又，頭起抬他
”。方地的遠麼那了到走人有的真，路條這來原“
。來起了寫地快飛上子本在始開，頭下低後然，句一了說聲低他
。響影的大此如生產科學機算計的來未對將們他，道知會不許或，影著立矗道兩
。同不然截向走運命的星子雙對這但，派核的曼依諾馮和派梁南的靈圖，派學個兩有域領機算計說戲是總們人
。頗樹建了有域領學力子量，學數在，授教的頓斯林普是就早很在曼依諾馮
。居鄰的面對面是人兩，卒小名無的奇丘·佐隆阿從師頓斯林普是則靈圖而
。國英和國到來別分，西東奔各人兩機算計著帶
。戲好的”進為退以“齣一了演上，機算計CAINAM造建頓斯林普在了為，聲高極藉憑他。水得魚如曼依諾·馮的國到回
。劃計機建了准批牙咬終最，他住留了為頓斯林普，”人搶“價天出開紛紛家各得引，號訊職求出發等學大哥加芝、佛哈向先他
。”型母“的機算計有所世後了為也，行可的彈氫了明證僅不機臺這
。懂看正真能人無告報份這，下制僚的悶沉後戰在而然，）ECA（機算計的計設式程可臺一造製國英為想地激懷滿他。運幸麼那沒則靈圖的國英到回
。戰軍孤能只，援支大巨得獲樣那國在像法無他
。歲24僅年，亡殺自年4591於，割閹學化接迫被他，曝被份同因，後最
。個一跟，麼什說還：德爾王
）樣這是不也來原，的放開很今至古從蘭yag英為認來以首一者作（
。曼依諾馮過高而反中度悉聲名的人通普世後在靈圖，是的道說得值許或
。孫子代後的列序低著響影斷不今至0列序的中列序機算計是像就念理與歷經的人兩而
。塊一這0列序，了怪奇不就統傳的說小俠武想一想但，乎玄然雖
？”位單個1距相好恰“對點個多讓能多最，點個n放上面平在：單簡很心核的題道這【
。想猜界上學數出給並，解優最是就格網形方正的樣那盤棋棋象際國像，為認什德爾埃
