歡迎來(lái)到【AI日?qǐng)?bào)】欄目!這里是你每天探索人工智能世界的指南，每天我們?yōu)槟愠尸F(xiàn)AI領(lǐng)域的熱點(diǎn)內(nèi)容，聚焦開發(fā)者，助你洞悉技術(shù)趨勢(shì)、了解創(chuàng)新AI產(chǎn)品應(yīng)用。

新鮮AI產(chǎn)品點(diǎn)擊了解:https://top.aibase.com/

1、OpenAI發(fā)布兩款多模態(tài)推理模型o4-mini、滿血版o3

OpenAI在技術(shù)直播中推出了其最新的多模態(tài)模型o4-mini和滿血版o3，這兩款模型具備同時(shí)處理文本、圖像和音頻的能力，并能調(diào)用外部工具進(jìn)行復(fù)雜任務(wù)的處理。o4-mini在各項(xiàng)測(cè)試中表現(xiàn)優(yōu)異，準(zhǔn)確率高于o3，并在編程競(jìng)賽中名列前茅。

【AiBase提要:】

??? o4-mini和o3具備多模態(tài)處理能力，能同時(shí)處理文本、圖像和音頻，并自動(dòng)調(diào)用外部工具。

?? o4-mini在AIME2024和2025測(cè)試中準(zhǔn)確率分別達(dá)到93.4%和92.7%，超越滿血版o3。

?? 在編程競(jìng)賽中，o4-mini獲得2700分，躋身全球前200名程序員，展現(xiàn)出強(qiáng)大的編程能力。

2、微信首個(gè)AI助手 “元寶” 正式上線，可以添加為微信好友

騰訊推出的“元寶”是首個(gè)在微信平臺(tái)上運(yùn)行的AI助手，用戶可以直接在微信中搜索并添加為好友，享受更真實(shí)的聊天體驗(yàn)。元寶不僅能解析微信公眾號(hào)文章、圖片和文檔，還能進(jìn)行智能互動(dòng)，回答用戶的進(jìn)一步提問。該助手關(guān)注用戶隱私，具備證件照自動(dòng)打碼功能，雖然目前不支持語(yǔ)音或視頻通話。

【AiBase提要:】

?? 微信首個(gè) AI 助手 “元寶” 上線，用戶可直接在微信中搜索添加。

?? 元寶支持解析公眾號(hào)文章、圖片和文檔，提供智能互動(dòng)。

?? 具備隱私保護(hù)功能，支持證件照自動(dòng)打碼。

3、字節(jié)發(fā)布豆包1.5深度思考模型:多模態(tài)深度思考、延遲低

在4月17日的火山引擎 AI 創(chuàng)新巡展杭州站上，字節(jié)跳動(dòng)發(fā)布了豆包1.5深度思考模型，展示了其在數(shù)學(xué)、編程、科學(xué)推理及創(chuàng)意寫作等領(lǐng)域的卓越能力。該模型采用MoE架構(gòu)，參數(shù)配置優(yōu)越，推理成本低。結(jié)合視覺理解技術(shù)，模型能夠分析照片、輔助旅行和項(xiàng)目管理，并且視頻搜索能力顯著增強(qiáng)，提升了用戶獲取信息的便利性。

【AiBase提要:】

?? 豆包1.5模型在數(shù)學(xué)、編程等領(lǐng)域表現(xiàn)出色，采用MoE架構(gòu)，參數(shù)配置優(yōu)越。

?? 新模型結(jié)合視覺理解技術(shù)，能夠分析照片，輔助旅行和項(xiàng)目管理，功能強(qiáng)大。

?? 視頻搜索能力顯著增強(qiáng)，用戶可快速獲取視頻中的相關(guān)信息，使用量持續(xù)增長(zhǎng)。

4、月之暗面Kimi開源數(shù)學(xué)定理證明模型Kimina-Prover

Kimi技術(shù)團(tuán)隊(duì)發(fā)布了Kimina-Prover的預(yù)覽版，開源了多個(gè)模型和數(shù)據(jù)集，展現(xiàn)出在形式化定理證明領(lǐng)域的出色性能。Kimina-Prover通過結(jié)合大規(guī)模強(qiáng)化學(xué)習(xí)與形式化推理，顯著提升了模型的推理能力和樣本效率，達(dá)到了80.7%的通過率，超越了以往最佳結(jié)果。

【AiBase提要:】

?? Kimina-Prover在miniF2F基準(zhǔn)測(cè)試中達(dá)到了80.7%的通過率，超越了之前的最佳結(jié)果。

?? 該模型結(jié)合了大規(guī)模強(qiáng)化學(xué)習(xí)與形式化推理，顯著提升了推理能力和樣本效率。

?? Kimina-Prover的可解釋性強(qiáng)，用戶可以查看推導(dǎo)過程，為理解模型行為提供便利。

詳情鏈接:https://arxiv.org/abs/2504.11354

5、OpenAI開源超Agent:Codex CLI，五小時(shí)內(nèi)破5000顆星

OpenAI最近發(fā)布了Codex CLI，這是一款輕量級(jí)的代碼智能體工具，發(fā)布后迅速獲得了極大的關(guān)注，僅在五小時(shí)內(nèi)便突破了5000顆星的評(píng)價(jià)，預(yù)計(jì)當(dāng)天將突破1萬(wàn)顆星。Codex CLI具備自動(dòng)生成、運(yùn)行代碼、重構(gòu)和測(cè)試等強(qiáng)大功能，極大地提升了開發(fā)者的工作效率。

【AiBase提要:】

?? Codex CLI 在發(fā)布后僅5小時(shí)便獲得5000顆星評(píng)價(jià)，預(yù)計(jì)今天將突破1萬(wàn)顆星。

?? 該工具可以自動(dòng)生成代碼、運(yùn)行代碼、重構(gòu)和測(cè)試代碼，功能強(qiáng)大且實(shí)用。

?? OpenAI 計(jì)劃持續(xù)推出更多智能體產(chǎn)品，并在探索收購(gòu) AI 編程平臺(tái)以增強(qiáng)競(jìng)爭(zhēng)力。

詳情鏈接:https://github.com/openai/codex?tab=readme-ov-file

6、谷歌 Gemini Live 功能全面開放，安卓用戶迎來(lái)新體驗(yàn)

谷歌最近宣布將其 Gemini 應(yīng)用中的 Gemini Live 功能免費(fèi)向所有安卓用戶開放，此前該功能僅限于 Pixel9和三星 Galaxy S25用戶。Gemini Live 的強(qiáng)大之處在于能夠?qū)崟r(shí)識(shí)別攝像頭和屏幕上的內(nèi)容，為用戶提供即時(shí)反饋和信息，極大增強(qiáng)了互動(dòng)體驗(yàn)。隨著用戶反饋積極，谷歌決定推廣這一功能，預(yù)計(jì)在未來(lái)幾周內(nèi)全面上線。

【AiBase提要:】

?? Gemini Live 功能現(xiàn)已免費(fèi)向所有安卓用戶開放，原本僅限于 Pixel9和 Galaxy S25用戶。

?? 該功能可以實(shí)時(shí)識(shí)別攝像頭和屏幕內(nèi)容，提供即時(shí)信息和反饋，提升用戶互動(dòng)體驗(yàn)。

?? 微軟同日推出類似的 AI 工具 C o p i l o t Vision，顯示出實(shí)時(shí)信息識(shí)別技術(shù)的快速進(jìn)步。

7、OpenAI 擬以30億美元收購(gòu) AI 編程工具 Windsurf

OpenAI 正在與 AI 編程工具 Windsurf 展開收購(gòu)談判，交易金額約為30億美元。這一收購(gòu)將成為 OpenAI 最大的并購(gòu)交易，標(biāo)志著其在 AI 開發(fā)者工具市場(chǎng)的重要布局。Windsurf 是一款受歡迎的 AI 編程助手，能夠生成和解釋代碼，并已獲得超過2億美元的融資。

【AiBase提要:】

?? OpenAI 正在與 Windsurf 進(jìn)行30億美元的收購(gòu)談判，若達(dá)成將成為其最大規(guī)模的并購(gòu)交易。

?? Windsurf 是一款廣受歡迎的 AI 編程助手，支持代碼生成和解釋，已獲得超過2億美元的融資。

?? 此次收購(gòu)將增強(qiáng) OpenAI 的編程能力，幫助其在競(jìng)爭(zhēng)激烈的 AI 工具市場(chǎng)中占據(jù)領(lǐng)先地位。

8、JetBrains 推出編碼智能體 Junie AI，助力編程與調(diào)試全新體驗(yàn)

JetBrains 最近宣布其新編碼智能體 Junie AI 已達(dá)生產(chǎn)就緒狀態(tài)，旨在幫助開發(fā)者更高效地進(jìn)行代碼編寫與調(diào)試。Junie AI 的推出標(biāo)志著 JetBrains 在 AI 工具領(lǐng)域的重大進(jìn)展。此外，JetBrains 還更新了其舊版 AI 助手，支持最新的 AI 模型，并增強(qiáng)了用戶體驗(yàn)。為了應(yīng)對(duì)市場(chǎng)競(jìng)爭(zhēng)，JetBrains 計(jì)劃推出免費(fèi)套餐，吸引更多開發(fā)者使用其工具。

【AiBase提要:】

?? Junie AI 已達(dá)生產(chǎn)就緒狀態(tài)，專注于復(fù)雜任務(wù)的處理與調(diào)試。

?? 更新的 AI 助手支持多種最新 AI 模型，并新增多文件編輯功能。

?? JetBrains 將推出免費(fèi)套餐，提供無(wú)限代碼補(bǔ)全，以滿足不同開發(fā)者的需求。

詳情鏈接:https://blog.jetbrains.com/blog/2025/04/16/jetbrains-ides-go-ai/

9、Reachy2開源人形機(jī)器人正式開售

Pollen Robotics推出的Reachy2是一款開源人形機(jī)器人，售價(jià)7萬(wàn)美元，已在多所頂級(jí)大學(xué)和研究機(jī)構(gòu)中得到應(yīng)用。其模塊化設(shè)計(jì)和強(qiáng)大的AI驅(qū)動(dòng)能力使其成為人形機(jī)器人領(lǐng)域的先鋒，適用于多種研究和教育場(chǎng)景。Reachy2的開源特性和靈活的編程支持為開發(fā)者提供了廣闊的創(chuàng)新空間，推動(dòng)了機(jī)器人技術(shù)的進(jìn)步。

【AiBase提要:】

?? 高度仿人設(shè)計(jì)，具備7自由度手臂，能夠自然、精準(zhǔn)地執(zhí)行動(dòng)作，適合多種應(yīng)用場(chǎng)景。

?? 模塊化與開源架構(gòu)，支持Python SDK編程，開發(fā)者可根據(jù)需求擴(kuò)展功能，推動(dòng)技術(shù)創(chuàng)新。

?? 已在全球20多個(gè)國(guó)家部署，客戶包括知名機(jī)構(gòu)，展現(xiàn)出在醫(yī)療、零售及教育等領(lǐng)域的廣泛應(yīng)用潛力。

10、上海人工智能實(shí)驗(yàn)室推出升級(jí)版多模態(tài)大模型 “書生?萬(wàn)象3.0”

上海人工智能實(shí)驗(yàn)室推出的“書生?萬(wàn)象3.0”是一個(gè)全新的多模態(tài)大模型，具備更強(qiáng)的文本和多模態(tài)輸入處理能力，表現(xiàn)出色。該模型在性能和用戶體驗(yàn)上都有顯著提升，響應(yīng)速度更快，理解能力更強(qiáng)，能夠滿足用戶多樣化的需求。

【AiBase提要:】

?? 升級(jí)版“書生?萬(wàn)象3.0”在多模態(tài)處理能力上有顯著提升，適用于多種應(yīng)用場(chǎng)景。

?? 該模型在性能和用戶體驗(yàn)上都有明顯進(jìn)步，響應(yīng)速度和理解能力均增強(qiáng)。

?? 開源舉措為開發(fā)者提供了新的平臺(tái)，鼓勵(lì)創(chuàng)新和應(yīng)用，推動(dòng)行業(yè)發(fā)展。

11、豆包深度思考和文生圖3.0模型正式開放API 對(duì)企業(yè)客戶開放

豆包大模型近期發(fā)布了豆包1.5·深度思考模型和豆包文生圖模型3.0，正式通過火山引擎開放API，供開發(fā)者和企業(yè)客戶使用。這兩款模型在推理和圖像生成任務(wù)上表現(xiàn)卓越，推動(dòng)了AI技術(shù)的應(yīng)用與發(fā)展。深度思考模型在專業(yè)推理任務(wù)中表現(xiàn)突出，而文生圖模型則在圖像生成質(zhì)量上有顯著提升。

【AiBase提要:】

?? 豆包1.5·深度思考模型在專業(yè)領(lǐng)域推理任務(wù)中表現(xiàn)優(yōu)異，接近全球第一梯隊(duì)水平。

?? 豆包文生圖模型3.0實(shí)現(xiàn)高分辨率圖像生成，提升了創(chuàng)作效率，具備商業(yè)級(jí)設(shè)計(jì)能力。

?? 兩款模型的開放API為企業(yè)客戶提供了更高效、通用的推理與圖像生成能力，推動(dòng)AI技術(shù)發(fā)展。

詳情鏈接:https://github.com/ByteDance-Seed/Seed-Thinking-v1.5

（舉報(bào)）