研究與評測
九年級學生借助 Claude 證明大斜方截半二十面體無法穿過自身副本,獲原猜想學者背書即將登錄 arXiv
Reddit r/ClaudeAI單一來源
尚未逐項核實
目前依單一來源整理,這是來源數量描述,不是對消息真假的判定。
一名九年級學生於社群平台發表成果,宣稱在 Claude 協助下證明了 2021 年提出的一項幾何猜想:阿基米德立體之一的「大斜方截半二十面體(rhombicosidodecahedron)」無法穿過其自身複本所挖出的幾何孔洞。
該猜想源自數學家在 2021 年的研究。由於大斜方截半二十面體具有 120 個對稱性,既有證明方法會在此失效。研究過程定位出 4 個導致方法失效的奇異構型(使用根號 5 精確定位),並證明新定理加以處理。最終電腦驗證部分將所有可能方向拆解為約 1,230 萬個區間,透過區間算術(interval arithmetic)排除浮點數捨入誤差,耗費約 38 個 CPU 小時完成驗證。
在協同過程中,Claude 主要負責數學論證、程式碼撰寫與論文草稿起草,作者則負責選題、方向決策與驗算;在要求 Claude 從頭重新檢查時,亦排除了數個實質錯誤。作者指出,研究者 Bence Hervay 與 Oscar Smith 也在近期以不同方法獨立證明了相同結論。目前該論文程式碼已在 GitHub 開源,預印本已存放於 Zenodo,並獲得原猜想提出者之一 Sergey Yurkevich 背書推薦,預計於近期在 arXiv 上線。
讀原始報導背景
幾何學中的「魯珀特太子立方體」(Prince Rupert's cube)問題,探討幾何形體是否能穿過在另一個同型物體上開鑿的孔洞。以立方體為例,能穿過單位立方體的最大立方體邊長約為 1.06,比原本的單位立方體大了約 6%。