<menu id="yw4o4"></menu> 
中國人工智能公司月之暗面推出首款推理能力強化模型k0-math。
k0-math采用強化學習和思維鏈推理技術，模擬人腦思考和反思過程，大幅提升了解決數學難題的能力。
在多項數學基準能力測試中，k0-math表現優(yōu)異，對標OpenAI o1系列兩款可公開使用的模型：o1-mini和o1-preview。
根據官方結果，k0-math在中考、高考、考研和MATH等4個數學基準測試中均取得第一。
在業(yè)界最常使用的MATH能力基準測試中，k0-math得分93.8，超過o1-mini和o1-preview。
與常規(guī)模型不同，k0-math花更長時間推理，包括思考、規(guī)劃思路和反思，以提高答題成功率。
當前版本k0-math尚無法解答難以描述的幾何圖形類問題，對于過于簡單或極難的數學問題也存在一定局限性。
月之暗面表示，這些局限性也為模型迭代提供了機遇和挑戰(zhàn)，將在下一階段逐步改善。
（舉報）
2025年春節(jié)前夕，DeepSeek-R1模型發(fā)布，標志著中國AI進入推理模型新時代。文章梳理了國產大模型發(fā)展歷程：從2022年ChatGPT引發(fā)國內追趕OpenAI熱潮，到2023年"百模大戰(zhàn)"，再到2024年"AI六小虎"格局形成。重點分析了六大國產推理模型（DeepSeek、百度、阿里、科大訊飛、字節(jié)、騰訊）的技術特點與市場表現，指出國產模型在性能上已接近GPT-4水平。特別強調科大訊飛星火X1憑借全國產化技術路線獲得政企青睞，以及DeepSeek-R1以560萬美元超低成本實現高性能的突破。文章還探討了英偉達芯片斷供危機下，國產全棧技術路徑的重要性，認為自主可控將成為對抗國際不確定性的關鍵。最后指出，隨著推理模型成為競爭焦點，國產大模型正從技術追隨轉向自主創(chuàng)新階段。
AI圈最近彌漫著一股微妙的氣息。人們似乎不再熱議大語言模型的最新突破、以及AI應用的無限可能時，一些代表著未來的AI巨頭，卻似乎正將目光投向互聯(lián)網那熟悉得不能再熟悉的角落——社交網絡與社區(qū)。近期的傳聞和動作頗具代表性，在大洋彼岸，手握ChatGPT和Sora等王牌的OpenAI，據稱正內部測試類X的社交功能，其CEO Sam Altman甚至在私下征求反饋；而在國內，憑借長文本能力
從 GPT-5 開始，推理模型和非推理模型很有可能會整合在一起……
今日，科大訊飛高級副總裁于繼棟在上海AI無界智營全球”2025科大訊飛全球智能營銷產品發(fā)布會上透露，訊飛星火X1將于近期再次升級。升級后的訊飛星火X1在保持原有數學任務國內領先優(yōu)勢的基礎上，推理能力、文本生成和語言理解等通用任務方面的效果將對標業(yè)界領先的OpenAIo1和DeepSeekR1模型?？拼笥嶏w曾宣稱：這一新版本的發(fā)布，預期就可以實現數學答題和過程思維鏈能力全面對標甚至超過OpenAIo1。
快科技4月17日消息，今日，OpenAI新款AI模型o3、o4-mini重磅發(fā)布，這是OpenAI迄今最強、最智能的模型。據了解，OpenAI o3/o4-mini首次具備真正的視覺推理能力，看圖識圖已經是小菜一碟了，現在還會看圖思考。OpenAI o3/o4-mini能同時處理文本、圖像和音頻，并且能作為Agent智能體自動調用網絡搜索、圖像生成、代碼解析等工具以及深度思考模式。通過強化學習，OpenAI訓練了o3/o4-mini如何?
Kimi-Audio是一款開源的通用音頻基礎模型，在語音識別、音頻理解、音頻轉文本、語音對話等任務中表現優(yōu)異。該模型采用集成式架構設計，包含音頻分詞器、音頻大模型和音頻去分詞器三大核心組件，支持多模態(tài)輸入處理。在十余項音頻基準測試中，Kimi-Audio均取得領先性能，如LibriSpeech ASR測試WER僅1.28%，VocalSound測試達94.85%。模型使用1300萬小時多語言音頻數據進行預訓練，并構建了自動處理流水線生成高質量訓練數據。評估結果顯示，Kimi-Audio在語音識別、音樂理解、語音情感分析等任務上全面超越同類模型，在OpenAudioBench和VoiceBench對話測試中也表現最佳。目前模型代碼、檢查點和評估工具包已在GitHub開源。
本期AI日報聚焦多項AI技術突破與應用：1)Moonshot AI推出開源音頻模型Kimi-Audio，基于13億小時訓練數據，支持語音識別等任務；2)階躍星辰開源圖像編輯模型Step1X-Edit，展現強大生成能力；3)夸克AI上線"拍照問夸克"功能，實現視覺問答；4)蘋果iOS18.5將在中國推送，帶來智能功能；5)谷歌發(fā)布601個生成式AI應用案例，覆蓋多行業(yè)；6)微軟推出深度整合Windows的UFO2自動化系統(tǒng)；7)OpenAI升級ChatGPT至GPT-4o版本，提升STEM領域能力；8)Ema公司推出高性價比語言模型EmaFusion；9)Liquid AI發(fā)布面向邊緣設備的Hyena Edge模型；10)LemonAI推出實時音視頻數字人產品Slice Live。此外，國內方面，智譜與生數科技達成戰(zhàn)略合作推動大模型發(fā)展，寶馬中國宣布新車將接入DeepSeek技術。
UC伯克利和艾倫實驗室的最新研究表明，推理模型無需依賴冗長的思考過程也能有效工作。研究人員提出的"無思考(NoThinking)"方法通過簡單提示直接生成解決方案，跳過了傳統(tǒng)推理模型中的顯性思考步驟。實驗證明，在低資源(低token數量、少模型參數)或低延遲情況下，NoThinking方法的表現優(yōu)于傳統(tǒng)思考方式，能減少token使用量并提高推理速度。該方法在數學問題解決、編程和形式定理證明等任務中表現優(yōu)異，尤其在資源受限時優(yōu)勢更明顯。研究還發(fā)現，結合并行計算擴展后，NoThinking能進一步提升性能，在保持準確性的同時顯著降低延遲和計算成本。這一發(fā)現挑戰(zhàn)了"推理模型必須依賴詳細思考過程"的傳統(tǒng)認知。
歡迎來到【AI日報】欄目!這里是你每天探索人工智能世界的指南，每天我們?yōu)槟愠尸FAI領域的熱點內容，聚焦開發(fā)者，助你洞悉技術趨勢、了解創(chuàng)新AI產品應用。新鮮AI產品點擊了解:https://top.aibase.com/1、OpenAI發(fā)布兩款多模態(tài)推理模型o4-mini、滿血版o3OpenAI在技術直播中推出了其最新的多模態(tài)模型o4-mini和滿血版o3，這兩款模型具備同時處理文本、圖像和音頻的能力，并能調用外部工?
晚上1點，OpenAI的直播如約而至。其實在預告的時候，幾乎已經等于明示了。沒有廢話，今天發(fā)布的就是o3和o4-mini。但是奧特曼這個老騙子，之前明明說o3不打算單獨發(fā)布要融到GPT-5里面一起發(fā)，結果今天又發(fā)了。。。ChatGPT Plus、Pro和Team用戶從今天開始將在模型選擇器中看到o3、o4-mini和o4-mini-high，取代o1、o3-mini和o3-mini-high。我的已經變了，但是我最想要的o3pro，還要幾周才能提供
