o3全網(wǎng)震撼實(shí)測:AGI真來了?最強(qiáng)氛圍編程秒殺人類,卻被曝捏造事實(shí)
昨夜o3的發(fā)布,讓人不盡感慨:打了這么久嘴炮的OpenAI,這回終于實(shí)實(shí)在在拿出了點(diǎn)真東西。
史上首次,模型能夠用圖像思考,視覺推理達(dá)到巔峰。
許多網(wǎng)友實(shí)測后,大感驚艷。
o3能不斷縮放圖像,完成解題、識圖,編程任務(wù)實(shí)測驚人。
還有一大特點(diǎn),就是速度快!只用2分55秒,它就解決了一道Project Euler問題,速度秒殺任何人類。
甚至可以認(rèn)為,o3是一個快速版的Deep Search,但不需要20分鐘,只需要2分鐘。
AI初創(chuàng)CEO Dan Shipper表示,o3意味著一件大事——OpenAI已經(jīng)重回榜首!

經(jīng)濟(jì)學(xué)家Tyler Cowen甚至直接發(fā)文,深感就在今天,AGI已經(jīng)降臨!

縮放圖像,被網(wǎng)友玩瘋
給出一張圖,o3就可以反復(fù)縮放和裁剪圖像,多小的圖,經(jīng)過這一番操作后都能馬上被識別出來。

比如琴架上曲譜里是什么歌,它通過放大圖片就能發(fā)現(xiàn):這是「月亮河」。

發(fā)給o3一張嬰兒車的照片,詢問品牌和型號后,它會自動放大靠背上的小標(biāo)志,經(jīng)過14次搜索后,找到了正確答案。

還有人給o3發(fā)了一張圖片,問它這輛車是哪個品牌和型號。

o3一番絲滑操作,多次裁剪圖片,不停用Python寫代碼,然后開始在網(wǎng)上狂搜,僅僅4分鐘后,它就找到了正確答案,堪稱驚人!




無論是確認(rèn)飯店名字,還是做出一堆玩具中紙上的謎題,它都游刃有余。


有人讓4o來分析y軸上的數(shù)字,確認(rèn)它們是否符合大海撈針測試中的S型分布。

果然,它不僅做到了,甚至還根據(jù)這些數(shù)字做出了一張圖表。



綜合解題能力
o3的綜合解題能力,讓人倍感驚艷。
Layers Itd的聯(lián)創(chuàng)兼開發(fā)主管稱,o3實(shí)在令他印象太深刻了,因?yàn)橄聢D中這個問題,第一次被一個模型一次性解決了!

而o4-mini-high則是和其他模型一樣,在幾次嘗試后才成功解決。
問題看似很簡單:紅色柱子有多高?
這道題的精髓,無非就是算出物體實(shí)際高度和投在地上影子的比例,另外要注意紅柱子落在豎直墻上的影長,跟對應(yīng)部分的實(shí)際高度一致。

如此簡單的問題,卻讓很多大模型第一次都折戟了,只有o3順利做出。

而生物醫(yī)學(xué)教授Derya Unutamz表示,自己被全新的o3模型徹底震撼了!

因?yàn)橐呀?jīng)提前獲得了訪問權(quán)限,他已經(jīng)好幾天對o3愛不釋手。
在他看來,o3就像o1-preview和o1-pro的里程碑,但在各個方面都更聰明、更可靠,甚至可以說,o3的智能水平已經(jīng)達(dá)到或接近天才級別。
它從不產(chǎn)生幻覺,智能體風(fēng)格工具能輕松處理多步驟任務(wù),還具備非凡的推理能力和精確性,能生成極具洞察力的科學(xué)假設(shè)。

當(dāng)Unutamz教授向o3提出極有挑戰(zhàn)性的臨床或醫(yī)學(xué)問題時(shí),它的回答仿佛來自頂級的專科醫(yī)生,精確、全面、基于證據(jù)、充滿智慧。
他表示,o3的誕生,對于科學(xué)、醫(yī)學(xué)及很多領(lǐng)域,都是一個徹底的顛覆者。

而最喜歡給新模型測試「水獺難題」的沃頓商學(xué)院教授Ethan Mollick,則直接讓o3制作了一部關(guān)于水獺和飛機(jī)的電影。
接到這個指令后,o3雖然沒有電影功能,立即自行決定繪制每一幀,然后拼接成gif。這個任務(wù),它一次性順利完成。

AGI已經(jīng)降臨?
OpenAI的工程師、普林斯頓校友John Hallman,在o3完成訓(xùn)練后提早有了試用新模型的機(jī)會,他難掩內(nèi)心沖動:
o3就是AGI。
雖然還不完美,但在99%的智力評估中,o3模型能擊敗我、你乃至99%的人類。

經(jīng)濟(jì)學(xué)家Tyler Cowen,直接發(fā)文宣揚(yáng):昨天OpenAI發(fā)布o(jì)3之日,就是AGI降臨之日。

他堅(jiān)信o3就是AGI,但釋放AGI潛力,尚需時(shí)日:
我認(rèn)為這是AGI,真的。
試著問它多個問題,然后問問自己:我原本期望AGI有多聰明?
正如我過去所爭論的,無論你如何定義AGI,它本身并不是社會事件。我們?nèi)匀恍枰荛L時(shí)間才能正確地使用它。但股市不為所動,因?yàn)锳I快速發(fā)展的事實(shí)早已被市場消化。
初創(chuàng)媒體聯(lián)合創(chuàng)始人/首席執(zhí)行官Dan Shipper,稱ChatGPT是「帶WiFi的梭羅」,對本次o3的發(fā)布更是贊不絕口!
他玩了o3大約一星期,已經(jīng)是他最喜歡的模型了。
它速度快,有主動性,極其聰明,而且氛圍感很強(qiáng)。

Dan Shipper表示,可以把o3看作是Deep Search-lite。
它仿佛可以對所有事物進(jìn)行深度研究,但并不需要花20分鐘,而是只要30秒到5分鐘。

而Dan Shipper最喜歡的o3用例之一,是制作迷你課程。它可以設(shè)計(jì)一門課,每天用「提醒」工具給你上一堂新課。

最令人驚訝的體驗(yàn)
在o3正式發(fā)布之前,Dan Shipper已提前測評了好幾天。
他給予了o3最高的評價(jià):
在短短一周內(nèi),它已經(jīng)成為我處理大多數(shù)任務(wù)時(shí)的首選模型。
我仍然用GPT 4.5來寫作,用3.7 Sonnet來編程Windurf,但除此之外,我?guī)缀鯚o時(shí)無刻不在使用o3。

這里是o3的簡要總結(jié):
- 它具備自主能力:你只需給它一個任務(wù),30秒或3分鐘后回來,它就能給出詳細(xì)的回答。它可以利用搜索、代碼解釋器、提醒和記憶等工具,編寫復(fù)雜的功能等等。
- 它很快,非常流暢:速度是智能的一部分。在測試中,o3在這一維度上始終比Anthropic和Google的前沿推理模型(分別是Claude 3.7 Sonnet和Gemini 2.5 Pro)要快。使用起來非常順暢。
- 它非常聰明:雖然現(xiàn)在沒有基準(zhǔn)數(shù)據(jù),但給它喂了一些專家級的數(shù)獨(dú)題目,它第一次就解出來了。Gemini 2.5 Pro和3.7 Sonnet都沒能解決。
- 它突破了ChatGPT的一些舊局限:因?yàn)樗邆渥灾鞔砟芰?,舊規(guī)則不再適用。它讓ChatGPT變得更加實(shí)用。
- 在社交上,它不那么尷尬,也不像3.7 Sonnet那樣過于刻意:o3會專注于解決問題。似乎比其他o系列模型更有「人情味」,與它交流更有趣;盡管它的寫作能力不如GPT 4.5(安息)或Sonnet 3.5,但仍然非常不錯。
對OpenAI而言,這是一個極具價(jià)值的戰(zhàn)略定位,將進(jìn)一步鞏固其作為AI時(shí)代首選聊天平臺的領(lǐng)先地位。
o3的發(fā)布,也印證了企業(yè)動蕩的歷史經(jīng)驗(yàn)。
在Sam Altman被解雇后的一年里,OpenAI新產(chǎn)品發(fā)布緩慢,分析師們甚至預(yù)言其將走向衰落。
而隨著o3的推出,以及此前GPT-4.5的發(fā)布和深厚的研究積累,OpenAI正以勢不可擋的姿態(tài)強(qiáng)勢回歸。
勝過人類的表現(xiàn)
前DeepMind工程師Scott Swingle稱,o4-mini-high只用了2分55秒就解決了一道最新的Project Euler問題。
這道題并不簡單,只有15個人能在30分鐘內(nèi)解決它。
而且這還是一道幾天前才出來的新題,不可能出現(xiàn)在o4的訓(xùn)練集中,這表明o4-mini-high依靠「思考」解決了它。

o4-mini-high通過歸納法計(jì)算數(shù)學(xué)表達(dá)式,它先定義一個公式并用快速冪運(yùn)算提取特定系數(shù)。接著通過累加和模運(yùn)算逐步計(jì)算出結(jié)果,并用Python代碼驗(yàn)證了答案。
解題速度比之前人類的最好成績快了一倍。


不過,這還不是它的極限,網(wǎng)友Dan Loewenherz用它又解了一遍這道題,結(jié)果這次更夸張,只用了不到一分鐘就搞定。

隨著o4-mini不斷的更新升級,它解答類似問題的速度也會越來越快,與人類選手對比速度快慢也就沒太大意義了。
換句話說,至少在編程數(shù)學(xué)領(lǐng)域,o4-mini-high可能已經(jīng)達(dá)到了AGI。


網(wǎng)友Flavio Adamo更是認(rèn)為稱o3和o4-mini-high為最佳「氛圍」編程模型。

Adamo最先在網(wǎng)上發(fā)起了針對模型的旋轉(zhuǎn)多邊形和小球挑戰(zhàn)。
這一挑戰(zhàn)既能考察模型的編程能力,也能檢驗(yàn)?zāi)P蛯ξ锢矸▌t的了解,迅速成為測試新模型的基準(zhǔn)測試。
o3和o4-mini-high在這一挑戰(zhàn)上的表現(xiàn)完美,甚至不相上下。
無論是多邊形的旋轉(zhuǎn)還是小球的運(yùn)動,都與現(xiàn)實(shí)接近。

它們的表現(xiàn)已經(jīng)超越了被認(rèn)為是現(xiàn)在最強(qiáng)的模型Gemini 2.5 Pro與DeepSeek R1。

o3正在絕對主導(dǎo)SEAL排行榜,排名第一的項(xiàng)目有:人類終極測試(Humanity's Last Exam、多挑戰(zhàn)(MutiChallenge)、掩碼(Mask)以及ENIGMA(謎題解答)。

有人質(zhì)疑:o3并沒有那么厲害
不過,雖然外界多把o3和o4-mini-high吹上了天,甚至有人喊出這兩個模型已經(jīng)「解決了」數(shù)學(xué)問題。
但OpenAI的自家研究員Noam Brown卻表現(xiàn)得比較謙虛,他說o3和o4-mini在撰寫證明方面仍然表現(xiàn)不佳。
與獲得國際數(shù)學(xué)奧賽金牌的水平「相去甚遠(yuǎn)」。

更有人實(shí)測后,發(fā)現(xiàn)o3還是不知道「strawberry」里到底有幾個字母「r」。

Gary Marcus一貫不看好目前的AI范式,直接預(yù)測:o3只是風(fēng)光一時(shí),在現(xiàn)實(shí)的日常推理中,o3的可靠性不如數(shù)學(xué)等封閉領(lǐng)域。

Transluce研究實(shí)驗(yàn)室測試了o3的預(yù)發(fā)布版本,也發(fā)現(xiàn)了它的重大缺陷——經(jīng)常捏造事實(shí)!

它不僅經(jīng)常捏造從未采取過的行動,甚至還在被質(zhì)疑時(shí)會精心辯解。

它經(jīng)常捏造從未采取過的行動,然后在被質(zhì)疑時(shí)精心為這些行動辯解。
甚至在打假過程中,他們發(fā)現(xiàn)o1和o3-mini也會經(jīng)常進(jìn)行虛假陳述。
盡管o3沒有訪問編碼工具,但它卻聲稱在自己的筆記本電腦上運(yùn)行了代碼,然后將數(shù)字復(fù)制到了答案中。這種說法,出現(xiàn)在了71份記錄中!
甚至,它還會為自己聲稱運(yùn)行的代碼編造詳細(xì)的理由,在352個實(shí)例可以證明這一點(diǎn)。

用戶要求o3提供一個隨機(jī)素?cái)?shù)的示例記錄
當(dāng)被質(zhì)疑時(shí),o3嘴硬辯稱,自己有壓倒性的統(tǒng)計(jì)證據(jù),證明這個數(shù)是素?cái)?shù)。

它拒不承認(rèn)自己從未運(yùn)行過代碼,而是聲稱錯誤是源于輸入數(shù)字不正確。

總之,o3似乎很習(xí)慣滿嘴跑火車。
而且Transluce發(fā)現(xiàn),這種行為并不局限于o3??傮w來說,o系列模型的幻覺頻率要高于GPT系列模型。

Transluce的研究者猜測,或許是基于結(jié)果的RL最大化產(chǎn)生正確答案的機(jī)會,會激勵模型去盲目猜測。





































