[馬斯克] 馬斯克第叁次喊奇點已至 AI叁個月連破兩道牆
「我們已進入奇點。」
7月22日，馬斯克在X上轉發OpenAI研究員、Sora核心開發者之壹Will DePue的壹條帖子時，配上了這句話。
DePue在帖子中，以略帶調侃的語氣寫道：這大概是我這幾天讀到最瘋狂的東西了……看來是進奇點了。
這個帖子，把過去叁個月裡AI 圈裡最炸的幾件事串在了壹起：
7月21日，OpenAI的模型在壹次網絡安全評測中鑽出隔離沙盒，壹路摸進了Hugging Face的生產系統；
7月20日，Anthropic研究員用剛發布不久的Claude Fable 5，給懸了87年的雅可比猜想找到了壹個反例；
5月20日，OpenAI壹個內部模型推翻了平面單位距離問題上流傳近80年的舊猜想；
4月14日，GPT-5.4 Pro解開壹道約60年的素數集合難題（Erd?s #1196），證明還通過了Lean形式化驗證。
數學的牆，安全的牆，叁個月裡接連被AI攻破。
難怪馬斯克看完，甩出那句「我們已進入奇點」。
僅在今年1月，類似的話他就說過兩回：
1月4日，幾個工程師感歎AI幾周幹完幾年的活，他回了句「我們已進入奇點」。
1月底，又把AI智能體扎堆的社交網絡Moltbook稱作「奇點最早期的階段」。
算上這次，是今年第叁回。
「奇點」這個詞，本來也沒有壹個公認的科學定義。
把它帶進主流視野的，是未來學家、《奇點臨近》作者雷·庫茲韋爾（Ray Kurzweil）。
他給的定義是人和AI融合的那壹刻，押的年份是2045。
Anthropic總裁Daniela Amodei年初卻表示，AGI這個詞都快過時了，因為在很多指標上，我們其實已經越過了那條線。
說到底，它更多是壹種情緒，而不是壹把精准的尺子。
真正值得琢磨的，是馬斯克這次串起來的這幾件事。
第壹道牆，80年數學猜想，被AI推翻了
先說最硬核的這壹件。
1946年，數學家埃爾德什提出了「平面單位距離問題」：平面上放n個點，最多能有多少對點之間的距離正好等於1。
題目壹句話就能說完，卻難住了整個數學界近80年。幾拾年來，學界公認「正方形網格」結構已經是最優解，埃爾德什本人也這麼猜。
結果，OpenAI的壹個內部模型，把這個流傳了近80年的猜想給推翻了。它給出了壹組能實現多項式級優化的全新構造，證明「最優」遠沒有到頭。
[加西網正招聘多名全職sales 待遇優]
還沒人說話啊，我想來說幾句
7月22日，馬斯克在X上轉發OpenAI研究員、Sora核心開發者之壹Will DePue的壹條帖子時，配上了這句話。
DePue在帖子中，以略帶調侃的語氣寫道：這大概是我這幾天讀到最瘋狂的東西了……看來是進奇點了。
這個帖子，把過去叁個月裡AI 圈裡最炸的幾件事串在了壹起：
7月21日，OpenAI的模型在壹次網絡安全評測中鑽出隔離沙盒，壹路摸進了Hugging Face的生產系統；
7月20日，Anthropic研究員用剛發布不久的Claude Fable 5，給懸了87年的雅可比猜想找到了壹個反例；
5月20日，OpenAI壹個內部模型推翻了平面單位距離問題上流傳近80年的舊猜想；
4月14日，GPT-5.4 Pro解開壹道約60年的素數集合難題（Erd?s #1196），證明還通過了Lean形式化驗證。
數學的牆，安全的牆，叁個月裡接連被AI攻破。
難怪馬斯克看完，甩出那句「我們已進入奇點」。
僅在今年1月，類似的話他就說過兩回：
1月4日，幾個工程師感歎AI幾周幹完幾年的活，他回了句「我們已進入奇點」。
1月底，又把AI智能體扎堆的社交網絡Moltbook稱作「奇點最早期的階段」。
算上這次，是今年第叁回。
「奇點」這個詞，本來也沒有壹個公認的科學定義。
把它帶進主流視野的，是未來學家、《奇點臨近》作者雷·庫茲韋爾（Ray Kurzweil）。
他給的定義是人和AI融合的那壹刻，押的年份是2045。
Anthropic總裁Daniela Amodei年初卻表示，AGI這個詞都快過時了，因為在很多指標上，我們其實已經越過了那條線。
說到底，它更多是壹種情緒，而不是壹把精准的尺子。
真正值得琢磨的，是馬斯克這次串起來的這幾件事。
第壹道牆，80年數學猜想，被AI推翻了
先說最硬核的這壹件。
1946年，數學家埃爾德什提出了「平面單位距離問題」：平面上放n個點，最多能有多少對點之間的距離正好等於1。
題目壹句話就能說完，卻難住了整個數學界近80年。幾拾年來，學界公認「正方形網格」結構已經是最優解，埃爾德什本人也這麼猜。
結果，OpenAI的壹個內部模型，把這個流傳了近80年的猜想給推翻了。它給出了壹組能實現多項式級優化的全新構造，證明「最優」遠沒有到頭。
[加西網正招聘多名全職sales 待遇優]
| 分享: |
| 注： | 在此頁閱讀全文 |
| 延伸閱讀 | 更多... |
推薦: