OpenAI公布175頁四維掛谷猜想證明稿
OpenAI於10月6日公開首批722篇數學手稿,其中一篇長達175頁的稿件直指四維掛谷猜想,另一篇97頁則推進三維極大函數版本,試圖超越王虹與Zahl的集合定理成果。這道逾百年的幾何難題,成為AI進軍前沿純數學的標誌性目標。
一根針的百年之問
掛谷猜想最初源自一個樸素問題:一根針,怎樣在盡可能小的地方掉頭?1917年,日本數學家掛谷宗一提出了類似疑問。就像在擁擠車廂裡把收起的長柄傘調個頭,邊挪邊轉往往比直接橫著轉更省地方。

IXThinker 會員內容
呢篇係 Archive 內容。登入即可解鎖全文,仲有成個 15,000+ 篇、每日更新嘅 AI 動態資料庫。
免費登入/註冊解鎖全文 →Google 或電郵地址即可,即刻解鎖。
