<menu id="yw4o4"></menu> 
Frommees是一家荷蘭初創(chuàng)公司，它在不久前舉辦的The Next Web創(chuàng)業(yè)公司競(jìng)賽中獲得了“最引人注目演示獎(jiǎng)”。
（舉報(bào)）
【AI日?qǐng)?bào)】今日AI領(lǐng)域重要?jiǎng)討B(tài)：1.百度發(fā)布文心快碼3.5及多模態(tài)AI程序員"文心快碼Comate Zulu"，提升開(kāi)發(fā)效率；2.字節(jié)跳動(dòng)啟動(dòng)"Top Seed"計(jì)劃，招募30名AI博士人才；3.DeepSeek開(kāi)源R1T Chimera模型上線(xiàn)OpenRouter平臺(tái)；4.阿里AI工程師余亮獲"全國(guó)勞動(dòng)模范"稱(chēng)號(hào)；5.開(kāi)源圖像編輯工具Step1X-Edit登陸Hugging Face，性能媲美GPT-4o；6.谷歌被曝每月向三星支付巨額資金預(yù)裝Gemini應(yīng)用
快科技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（混合專(zhuān)家）模式，具有61層Transformer層，7168維隱藏層。同時(shí)支持超長(zhǎng)上下文，最大位置嵌入達(dá)163840，使其能處理復(fù)雜的數(shù)學(xué)證明，并且采用了FP8量化，可通過(guò)量化技術(shù)減小模型大小，提
今天凌晨1點(diǎn)半，Meta生成式AI領(lǐng)導(dǎo)者AhmadAl-Dahle在社交平臺(tái)發(fā)布了一篇長(zhǎng)文，對(duì)前天剛開(kāi)源的Llama4質(zhì)疑進(jìn)行了官方回應(yīng)。Ahmad表示，Llama4一開(kāi)發(fā)完就發(fā)布了，所以，不同服務(wù)中模型質(zhì)量難免會(huì)有一些差異。由于關(guān)稅大戰(zhàn)的原因，Meta的股票遭遇重創(chuàng)，他們也需要一個(gè)利好消息來(lái)拉升股票，現(xiàn)在適得其反。
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é)難題。
“如果谷歌出售 Chrome，雅虎已準(zhǔn)備好推進(jìn)收購(gòu)事宜?！?雅虎搜索負(fù)責(zé)人如是說(shuō)道。
2. 0 抵押品總價(jià)值突破 4 億美元，不僅是其市場(chǎng)擴(kuò)張的里程碑
OpenAI高管在谷歌反壟斷案庭審中作證透露，若谷歌敗訴將收購(gòu)其Chrome瀏覽器。美國(guó)司法部要求拆分Chrome以打破谷歌搜索壟斷。ChatGPT產(chǎn)品負(fù)責(zé)人Turley作證稱(chēng)，OpenAI曾試圖與谷歌合作使用其搜索技術(shù)但遭拒。郵件顯示OpenAI去年7月提出合作請(qǐng)求，8月被谷歌以涉及競(jìng)爭(zhēng)對(duì)手為由拒絕。Turley認(rèn)為，若法院強(qiáng)制谷歌共享搜索數(shù)據(jù)將加速ChatGPT改進(jìn)。目前ChatGPT距離實(shí)現(xiàn)80%查詢(xún)使用自有搜索技
寒武紀(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)紅利，但客戶(hù)集中度過(guò)高（前五大客戶(hù)貢獻(xiàn)94.63%營(yíng)收）和現(xiàn)金流波動(dòng)仍是隱憂(yōu)。當(dāng)前國(guó)產(chǎn)芯片迎來(lái)發(fā)展機(jī)遇，華為昇騰、壁仞等企業(yè)紛紛搶占市場(chǎng)，行業(yè)競(jìng)爭(zhēng)日趨激烈。
智變·新生——生成式AI重構(gòu)商業(yè)未來(lái)就在 4 月 18 日，你準(zhǔn)備好了嗎？與我們一起，迎接商業(yè)未來(lái)的“智變”與“新生”！時(shí)間： 2025 年 4 月 18 日 13:30-17:30地點(diǎn)：北京市海淀區(qū)中關(guān)村東升科技園規(guī)模：四百人盛會(huì)·全行業(yè)聚焦MEET·未來(lái)在數(shù)字經(jīng)濟(jì)與實(shí)體經(jīng)濟(jì)深度融合的背景下，生成式AI正從技術(shù)屬性演變?yōu)楫a(chǎn)業(yè)競(jìng)爭(zhēng)和社會(huì)變革的核心要素，生成式AI產(chǎn)品已廣泛應(yīng)用于交通、能源?
OpenAI 的一位高管表示，我們對(duì)谷歌的 Chrome 業(yè)務(wù)很感興趣……
