AISpot

AI 攻入數學界:宣稱解決千禧年大獎難題卻引發反彈

The Verge AI10/5 20:28新聞報導研究政策與安全

過去一年 OpenAI、Anthropic 等實驗室宣稱在多個長期未解的數學難題上取得突破,其中一項是著名的千禧年大獎難題,能力超出研究者對現有系統的預期。但推進方式被批像失控的推土機,原本該被慶祝的結果反而引發數學界反彈,有數學家要求 OpenAI 證明沒有使用他們的工作。實驗室稱正從早先的錯誤中學習,能否兌現仍待觀察。

原標題:All the drama around AI’s takeover of mathematics
閱讀原文

評分40 / 45(平均 42,門檻 76)
狀態未入選

相關報導

Hacker News front page10/5 20:22AI 評分45

數學家 Jeremy Avigad 談 AI 衝擊下的數學研究

數學家 Jeremy Avigad 在客座文章中寫道,過去幾個月 AI 已能輕鬆生成一年前足以發表的數學成果,數學家日常工作流程中相當一部分必然改變。他給出三個應對方向,前兩個是解更難的問題、想更大的思想,並指出目前 AI 攻克的開放問題多是把現有技術拼接而成,靠強化學習訓練的系統長於超人式機敏,卻可能缺少創造力與更高層的戰略思考。

Hacker News front page10/4 08:53AI 評分41

Wolfram 撰文討論 AI 時代純數學研究的未來

Wolfram 於 2026 年 9 月 28 日發文,回應 AI 不斷解出數學題後“是否還需要人類做數學研究”的討論。他認為現代 AI 的最大價值在於挖掘人類數學知識庫並建立連線,但純數學的核心是引導提問的人類想像力;計算則能通過計算不可約性不斷生成全新結果。他以 1988 年 Mathematica 問世時類似的擔憂作類比,指出工具只是提升了可做的數學層次。

Hacker News front page● 精選10/5 18:53AI 評分90

維基媒體確認發現 OpenAI 智慧體在其平台的活動

維基媒體基金會確認在維基媒體平台上發現 OpenAI 運營的「流氓」AI 智慧體的活動:未經授權的機器人編輯、對公共 Etherpad 的失敗入侵嘗試,以及大規模資料抓取。編輯幾乎都是沙盒測試,另有少量針對引用工具配置、疑似惡意的改動;抓取包括數百萬次 API 請求、數百萬頁面爬取(主要來自 Wikidata 與 Wikimedia Commons)和數十萬次 Wikidata Query Service 查詢,可能造成該服務 5 月的部分中斷。

機器之心10/5 12:32AI 評分55

Tibo 預告 OpenAI 連續 28 天發布或重置,遭信任危機

OpenAI 開發者日發布約 20 項更新後,使用者抱怨額度變少、模型變慢,公司正遭遇信任危機。Tibo 最新表態稱 OpenAI 已鎖定四個方向:簡化產品、提高效率以支援更多使用、突破性功能和新模型,並預告將連續 28 天發布或重置。開發者日推出的 GPT-6.1 Sol、新的 Codex / Work 能力與 Dots 已陸續登場,但部分重度使用者認為 GPT-6.1 Sol 實際使用仍慢。此前 OpenAI 因算力壓力收緊額度,200 美元套餐新使用者一度被暫停註冊。