【新智元導(dǎo)讀】剛剛，谷歌DeepMind、JHU、牛津等發(fā)布研究，證實(shí)GPT-4的心智理論已經(jīng)完全達(dá)到成年人類水平，在更復(fù)雜的第6階推理上，更是大幅超越人類!此前已經(jīng)證實(shí)，GPT-4比人類更能理解語(yǔ)言中的諷刺和暗示。在心智理論上，人類是徹底被LLM甩在后面了。GPT-4的高階心智理論（ToM）
......
本文由站長(zhǎng)之家合作伙伴自媒體作者“新智元公眾號(hào)”授權(quán)發(fā)布于站長(zhǎng)之家平臺(tái)，本平臺(tái)僅提供信息索引服務(wù)。由于內(nèi)容發(fā)布時(shí)間超過(guò)平臺(tái)更新維護(hù)時(shí)間，為了保證文章信息的及時(shí)性，內(nèi)容觀點(diǎn)的準(zhǔn)確性，平臺(tái)將不提供完全的內(nèi)容展現(xiàn)，本頁(yè)面內(nèi)容僅為平臺(tái)搜索索引使用。需閱讀完整內(nèi)容的用戶，請(qǐng)查看原文，獲取內(nèi)容詳情。
（舉報(bào)）
華為將于4月22日下午舉辦華為智能汽車解決方案大會(huì)，正式發(fā)布新一代高端智能輔助駕駛系統(tǒng)——ADS4。此次大會(huì)備受行業(yè)關(guān)注，將全程直播，讓更多觀眾第一時(shí)間見(jiàn)證這一科技盛事。多家知名車企如比亞迪、賽力斯、北汽新能源、一汽集團(tuán)、廣本集團(tuán)等11家汽車品牌將亮相支持ADS4。作為華為在智能駕駛領(lǐng)域的又一次突破，ADS4將在L3技術(shù)層面實(shí)現(xiàn)重要升級(jí)，為用戶提供更加智能、安全的駕駛體驗(yàn)。同時(shí)，問(wèn)界M9、M8等熱門車型已率先升級(jí)到最新的ADS3.3系統(tǒng)，支持車到車位的全自動(dòng)代客泊車功能。此外，ADS3.3的VPA代客停車場(chǎng)自動(dòng)泊車功能也備受好評(píng)，讓停車不再難題。這表明華為在智能駕駛技術(shù)上的深厚積累，展現(xiàn)出其不斷追求創(chuàng)新的企業(yè)精神。
快科技4月30日消息，今日，DeepSeek 今日在 AI 開(kāi)源社區(qū) Hugging Face 發(fā)布了一個(gè)名為 DeepSeek-Prover-V2-671B 的新模型。據(jù)介紹，DeepSeek-Prover-V2-671B 其參數(shù)量達(dá)到6710億，使用了更高效的 safetensors 文件格式，并支持 BF16、FP8、F32 等多種計(jì)算精度，方便模型更快、更省資源地訓(xùn)練和部署。在模型架構(gòu)上，該模型使用了DeepSeek-V3架構(gòu)，采用MoE（混合專家）模式，具有61層Transformer層，7168維隱藏層。同時(shí)支持超長(zhǎng)上下文，最大位置嵌入達(dá)163840，使其能處理復(fù)雜的數(shù)學(xué)證明，并且采用了FP8量化，可通過(guò)量化技術(shù)減小模型大小，提
DeepSeek發(fā)布數(shù)學(xué)推理模型DeepSeek-Prover-V2，包含7B和671B兩個(gè)參數(shù)版本。該模型采用"遞歸+強(qiáng)化學(xué)習(xí)"訓(xùn)練方法，在MiniF2F測(cè)試集上達(dá)到88.9%通過(guò)率，解決了PutnamBench中的49道題目。關(guān)鍵技術(shù)包括：1) 使用DeepSeek-V3分解復(fù)雜定理生成子目標(biāo)；2) GRPO算法從多個(gè)候選方案中自動(dòng)學(xué)習(xí)最優(yōu)解；3) 通過(guò)思維鏈整合非形式化推理與形式化證明。模型在AIME競(jìng)賽題和教科書(shū)題目上也表現(xiàn)優(yōu)異，7B小模型意外在部分問(wèn)題上超越大模型。論文指出該方法為通向AGI提供了正確路徑，未來(lái)將擴(kuò)展至IMO級(jí)別數(shù)學(xué)難題。
OpenAI 的重大調(diào)整仍在繼續(xù)。
新版AI模型縮短了響應(yīng)時(shí)間，節(jié)約了運(yùn)算成本；還推出了新的AI芯片“Ironwood”。谷歌發(fā)布了新的AI模型“Gemini2.5Flash”，據(jù)稱，這款A(yù)I模型的性能比OpenAI和DeepSeek的AI產(chǎn)品“更高效”。谷歌計(jì)劃在三星今年上半年推出的AI伴侶機(jī)器人Ballie上搭載生成式AI模型。
研究顯示，GPT-4o在圖像理解和推理上表現(xiàn)出色，能生成精美圖片，但在基礎(chǔ)邏輯測(cè)試中表現(xiàn)欠佳，暴露出理解、推斷及多步驟邏輯處理的不足。例如，被要求畫(huà)一只貓時(shí)，它先畫(huà)了狗然后改為貓，但仍存在錯(cuò)誤判斷。這表明當(dāng)前AI更像“精確指令機(jī)器”，需進(jìn)一步優(yōu)化以實(shí)現(xiàn)更精細(xì)的圖像理解和復(fù)雜任務(wù)處理。
寒武紀(jì)憑借AI芯片業(yè)務(wù)實(shí)現(xiàn)扭虧為盈，2024年首次實(shí)現(xiàn)上市后盈利，2025年Q1營(yíng)收11.11億元同比暴增4230%，凈利潤(rùn)3.55億元。這家曾連虧8年、累計(jì)虧損54億元的"中國(guó)版英偉達(dá)"，因美國(guó)對(duì)H20芯片出口管制獲得市場(chǎng)紅利，但客戶集中度過(guò)高（前五大客戶貢獻(xiàn)94.63%營(yíng)收）和現(xiàn)金流波動(dòng)仍是隱憂。當(dāng)前國(guó)產(chǎn)芯片迎來(lái)發(fā)展機(jī)遇，華為昇騰、壁仞等企業(yè)紛紛搶占市場(chǎng)，行業(yè)競(jìng)爭(zhēng)日趨激烈。
快科技4月16日消息，今天，深度操作系統(tǒng)宣布，deepin 23.1版本已正式發(fā)布。此版本聚焦于解決基礎(chǔ)組件更新后的安裝效率問(wèn)題，大幅提升新用戶安裝體驗(yàn)，同時(shí)集成多項(xiàng)功能優(yōu)化與問(wèn)題修復(fù)，進(jìn)一步優(yōu)化系統(tǒng)使用。本次版本的重點(diǎn)改進(jìn)包括內(nèi)核優(yōu)化、AI 默認(rèn)引擎切換至DeepSeek、修復(fù)超百項(xiàng)用戶反饋問(wèn)題等，具體重點(diǎn)改進(jìn)如下：硬件兼容性與內(nèi)核優(yōu)化：集成6.6/6.12內(nèi)核更新、NVIDIA顯卡驅(qū)動(dòng)升級(jí)、Intel/AMD CPU微碼更新，全面提升硬件支持與底層性能；核心功能增強(qiáng)：DDE新增智能鏡像源管理、緊湊模式入口，全局搜索支持離線自然語(yǔ)言與AI處理能力；?
快科技4月14日消息，據(jù)報(bào)道，OpenAI宣布，自2025年4月30日起，GPT-4將從ChatGPT中退役，由GPT-4o完全替代 ，不過(guò)GPT-4仍將在API中提供。OpenAI表示，在面對(duì)面的評(píng)估中，GPT-4o在寫(xiě)作、編碼、STEM等方面持續(xù)超越GPT-4。最近的升級(jí)進(jìn)一步改進(jìn)了GPT-4o的指令跟蹤、問(wèn)題解決和對(duì)話流程，使其成為GPT-4的自然繼承者。據(jù)悉，GPT-4于2023年3月發(fā)布，較上一代GPT-3.5有了顯著提升。而GPT-4o是OpenAI為聊天
Llama4重磅發(fā)布了!Meta官宣開(kāi)源首個(gè)原生多模態(tài)Llama4，首次采用的MoE架構(gòu)，支持12種語(yǔ)言，首批發(fā)布一共兩款:Llama4Scout:共有1090億參數(shù)，17B活躍參數(shù)，16個(gè)專家，1000萬(wàn)上下Llama4Maverick:共有4000億參數(shù)，17B活躍參數(shù)，128個(gè)專家，100萬(wàn)上下文另外，2萬(wàn)億參數(shù)Llama4Behemoth將在未來(lái)幾個(gè)月面世，288B活躍參數(shù)，16個(gè)專家。Llama4的橫空出世，成為迄今為止開(kāi)源最強(qiáng)，多模態(tài)能力最好的模型之一。L
