14
AI 破解困擾 80 年的數學謎題 推翻數學界「艾狄胥單位距離猜想」
文章索引: IT快訊 IT要聞
【重大里程碑 ✅】OpenAI 近日使用了一個內部通用推理模型(general-purpose reasoning model),在未經數學專門訓練的情況下,自主生成了一份嚴謹的數學證明,成功推翻了由傳奇數學家 Paul Erdős 於 1946 年提出、困擾學界長達 80 年的「平面單位距離猜想」(planar unit distance conjecture)。經過多位外部頂尖數學家的嚴格審查後,正式宣告 Paul Erdős 單位距離猜想不成立。

Paul Erdős 於 1946 年提出的「平面單位距離猜想」是離散幾何領域的核心難題,探討在一個平面上任意排列 $n$ 個點時,最多能組合出多少對距離恰好為「1(單位距離)」的點。過去 80 年來,全球數學家普遍認為,最有效的排列方式應類似於傳統的「正方形網格(square grids)」,其點對增長率存在一個極難逾越的理論上限。

然而,OpenAI 使用 ChatGPT 5 的內部推理模型打破了這一傳統思維。模型並未採用專門的數學工具或依賴既有的數學論證庫,而是透過自主推理,融合了代數數論(algebraic number theory)與類域塔(class field tower)等高等數學分支,成功構建出一個存在於高維度空間、具特殊對稱性的全新點陣結構。模型藉此證明,在多種特定點數的排列下,單位距離點對的實際數量能以多項式級別的幅度超越過去的理論限制,從而以建構「反例」的方式,正式宣告艾狄胥的猜想不成立。
台灣警員發現請假系統有漏洞 F12 修改網頁程式碼  多領 12天假期
文章索引: IT快訊
【F12 🙄】台灣媒體報導,台灣新北市一名李姓警員發現警政請假系統的漏洞,透過瀏覽器按下「F12」鍵進入開發者模式並竄改網頁原始碼,藉此刪除自己的請假紀錄。他在一年半內不當多放了 12 天假期,變相詐領薪金約 2.7 萬台幣。士林地檢署鑑於該警員坦承犯行且無前科,認為其深具悔意並可教化,判以「詐欺取財罪」緩起訴 2 年、向公庫支付 8 萬元新台幣,而「使公務員登載不實罪」則獲不起訴處分。

據《壹蘋新聞網》報導,該名李姓警員原任職於新北市警察局,他在日常操作中發現,警局內部建置的「治安治理決策資訊服務系統」在請假功能上存在設計漏洞。

在 2023 年 1 月至 2024 年 6 月期間,該名李姓警員涉嫌多次利用公務電腦登入該系統,透過按下鍵盤「F12」鍵開啟 Chrome 瀏覽器的「開發人員工具」模式。隨後,他在網頁原始碼中搜尋負責「刪除」功能的欄位,將系統原本用以限制該按鈕使用的「disable(禁用)」程式碼直接刪除,從而令原本已失效或受限的刪除功能重新啟用,並成功刪除 12 天的請假紀錄。
「NVIDIA控制面板」終被取代 新版驅動不再附連  由 NVIDIA App 代替
文章索引: IT快訊
【退役 😭】NVIDIA 正式發布全新 610.47 版本 GPU 驅動程式,宣告旗下服役超過 20 年的經典圖像管理工具「NVIDIA控制面板」(NVIDIA Control Panel)正式退役。這款由 XP 時代一直沿用至今、於 ForceWare 91.74 版本首次出現的工具,在服役 20 年後功成身退,由 NVIDIA App 全面取代。

NVIDIA 在發布 Game Ready 與 Studio 驅動程式 610.47 版本的同時,同步公開了這項消息。官方聲明指出,經過 20 年的「忠實服務」,現行針對 GeForce 顯示卡用戶的核心功能已完成優化,並順利轉移至 NVIDIA App 軟件。

值得注意的是,如果你是由舊版本升級至新版本驅動程式,「NVIDIA 控制面板」仍會保留在系統中,並不會在一夜之間突然消失。只有在全新安裝或選擇了「Clean Installation」選項時,「NVIDIA 控制面板」才會被系統徹底移除。
Radeon RX 9070 XT 不升反跌 銷情未如理想   售價逼近官方 MSRP
文章索引: IT快訊
【需求低迷 🫤】在 AI 浪潮下,基本上需要用到記憶體(RAM)的產品都會加價,但卻有一種產品是只要加價一點點就沒人要,那就是 A 卡!外媒報導,AMD Radeon RX 9070 XT 的零售價在多個國家持續下調,由於需求低迷,價格已開始跌回 MSRP 水平,目前差距已縮小至僅 5%。

據《OC3D》報導,在英國包括 Overclockers UK、Amazon(亞馬遜)以及 Scan 在內的數家零售商,多款 Radeon RX 9070 XT 的售價已調整為 599.99 英鎊,相較於 AMD 官方 569.99 英鎊的 MSRP 定價,差價僅剩 30 英鎊。對比一月份時曾高升至接近 650 至 700 英鎊,下跌幅度相當明顯。

報導指出,雖然 AI 需求導致關鍵組件「記憶體」的生產成本居高不下,Radeon RX 9070 XT 顯示卡的售價理應持續上漲,沒想到其零售價格卻反向走跌。核心原因在於 A 卡一直以來都是「二奶命」,當價格上漲時,用家會優先選擇 N 卡;而且 A 卡很少被用作 AI 運算,加上 DDR4 / DDR5 價格大幅上漲,進一步抑制了消費者的換機意願,令 A 卡的需求變得相當低迷。
8 核全 E-Core 配 12 個 Xe3P Intel Nova Lake Edge 處理器曝光
文章索引: IT快訊
【神奇組合 😱】外媒報導,市場傳出 Intel 將會推出一款顛覆常規的 Nova Lake Edge 處理器。該處理器沒有任何 P-Core,只有 8 個 E-Core,卻擁有頂配 12 個 Xe3P 繪圖核心。這種完全捨棄 CPU 效能、專注於 CPU 節能表現與 GPU 算力的設計,在市場上極為罕見。

據《VideoCardZ》報導,這款 CPU 主要針對邊緣運算及多工虛擬化運算市場。Nova Lake Edge 捨棄了效能核心(P-Core),採用 2 個低功耗的 E-Core 模組,卻搭配最高規格的 12 核心 Xe3P 繪圖核心,過去極少出現這類「頭重腳輕」的設計。

雖然對於一般消費級個人電腦而言,缺乏 P-Core 可能無法應付需要極致單核效能的任務;但對於邊緣運算系統、工業設備及地端推算裝置來說,運算峰值效能往往並非首要考量,低功耗與高效率的平行運算才是關鍵,因此該配置顯得相當合理。
14