-
DeepSeek-Prover-V2：DeepSeek最新開源的數學定理證明模型，參數量高達6710億
DeepSeek-Prover-V2 是由 DeepSeek 最新開源的超大規模數學定理證明模型，參數量高達 6710 億（671B），相比前代 Prover-V1.5（約 7B）提升近百倍，成為目前開源中最大規模的數學推理模型之一。該模型專為形式化數學證明設計，能夠生成兼容 Lean 4 等主流證明助手的高質量證明步驟，支持復雜邏輯驗證、定理發現與教學應用。- 1.4k
- 0
-
Kimi-Audio：Kimi開源的通用音頻基礎模型，支持語音識別、音頻理解等多種任務
Kimi-Audio是kimi開源的全新通用音頻基礎模型，支持語音識別、音頻理解、音頻轉文本、語音對話等多種任務，在十多個音頻基準測試中實現了最先進的 (SOTA) 性能。- 748
- 0
-
Gemini 2.5 Flash：Google 推出的首個完全混合推理模型
Gemini 2.5 Flash 是 Google 推出的首個完全混合推理模型，允許開發人員靈活控制模型的思考功能，可開啟或關閉。它還支持設置思考預算，幫助開發者在質量、成本和延遲之間找到最佳平衡。即使關閉思考功能，模型仍能保持 2.0 Flash 的高速度，并進一步提升性能，兼具高效推理和成本效益。目前處于預覽階段，支持通過 API 在 Google AI Studio 和 Vertex AI …- 1k
- 0
-
豆包1.5·深度思考模型：火山引擎推出的AI推理模型
在數學、編程、科學推理等專業領域及創意寫作等通用任務中表現突出，在AIME 2024、Codeforces、GPQA等多項權威基準上達到或接近業界第一梯隊水平。支持128k上下文窗口，16k輸出。- 823
- 0
-
減單 - 安徽醫科大學等推出的體重管理大模型智能助手
“減單”是由安徽醫科大學聯合中國科學技術大學附屬第一醫院和健康科技企業共同發布的體重管理大模型智能助手。它基于國內外多個AI大模型技術，結合超過40萬名肥胖相關慢性疾病患者的管理數據訓練而成，旨在借助AI技術提高減重的個性化干預質量和診療效率。- 1.2k
- 0
-
Skywork R1V：昆侖萬維開源的多模態視覺思維鏈推理模型
Skywork R1V 是昆侖萬維開源的多模態視覺思維鏈推理模型，專注于通過多步邏輯推理解決復雜的視覺任務。它結合了強大的文本推理能力和視覺理解能力，能夠處理視覺邏輯推理、數學問題、科學現象分析等任務。- 923
- 0
-
Gemma 3：Google 推出的輕量級高性能開源模型，支持單個GPU運行
Gemma 3 是 Google 推出的輕量級、高性能開源模型，支持多種尺寸（1B、4B、12B 和 27B），專為單 GPU 或 TPU 設計。它支持 140 多種語言，具備高級文本和視覺推理能力，配備 128k-token 上下文窗口和函數調用功能，支持復雜任務處理。Gemma 3 提供量化版本，優化性能，降低計算需求，并配備安全特性。它無縫集成多種開發工具，支持靈活部署，助力開發者快速構建高…- 4.5k
- 0
-
QwQ-32B：阿里云開源的最新AI推理模型，更小尺寸，消費級顯卡即可部署
QwQ-32B 是阿里云開源的320億參數推理模型，具備強大的數學、代碼和通用推理能力，性能比肩全球頂尖開源模型。它支持消費級顯卡部署，降低硬件門檻，同時集成智能體能力，可靈活調整推理過程。采用Apache 2.0協議開源，用戶可免費下載、商用和定制化開發，推動AI技術的廣泛應用。- 7.6k
- 0
-
SpeciesNet - 谷歌開源的AI模型，助力野生動物識別和保護
SpeciesNet是谷歌開源的一款AI模型，專為識別野生動物而設計。它通過分析相機陷阱拍攝的照片，能夠將圖像分類為超過2000個標簽，涵蓋動物物種、分類群和非動物對象。模型基于6500萬張圖像訓練，具備高準確性和廣泛適用性，采用Apache 2.0開源許可，助力生物多樣性研究和保護。- 818
- 0
-
企業微信接入DeepSeek，開啟智能化辦公新紀元
2025年2月21日，企業微信宣布正式接入DeepSeek R1，并同步支持騰訊混元大模型。此次更新帶來了多項基于AI的功能升級，包括“智能機器人”和“智能表格-客戶跟進總結”，旨在大幅提升企業內部協作和客戶服務的效率。- 1.5k
- 0
-
-
Phantom - 字節跳動推出的主體一致性視頻生成框架
Phantom 是字節跳動推出的主體一致視頻生成技術，通過跨模態對齊實現高質量視頻創作。它支持單張或多張參考圖像生成，可保留主體身份特征，生成生動的視頻內容，適用于虛擬試穿、廣告制作、動畫等場景。- 2.1k
- 0
-
Grok 3：馬斯克旗下XAI發布的新一代AI大模型
Grok 3是由埃隆·馬斯克旗下公司xAI開發的的新一代大語言模型系列，包括Grok-3及其精簡版Grok-3 mini。Grok 3計算能力是前代的十倍，具備思維鏈推理和邏輯一致性。數學、科學推理和編程能力領先，AIME'24得52分，科學知識75分，編程57分，AIME 2025得93分，LMSYS聊機競技場得1400分。新增Big Brain和DeepSearch模式，優化復雜任務…- 64.9k
- 0
-
昆侖萬維發布Matrix-Zero世界模型，開啟空間智能新時代
2025年2月14日，昆侖萬維正式推出Matrix-Zero世界模型，成為中國首家同時推出3D場景生成與可交互視頻生成模型的企業。這一創新產品標志著空間智能技術的新突破，并將為內容創作行業帶來顛覆性變革。 Matrix-Zero世界模型由兩大核心子模型構成： 3D場景生成大模型：該模型可以將用戶提供的圖片轉化為高度真實且可自由探索的3D場景，支持動態物理效果，滿足游戲開發、影視制作等行業對快速建模…- 809
- 0
-
Matrix-Zero：昆侖萬維發布的AI世界模型，支持單張圖生成3D世界
Matrix-Zero 是昆侖萬維發布的世界模型，包含兩款子模型：3D 場景生成大模型和可交互視頻生成大模型。3D 場景生成大模型能將圖片轉化為可自由探索的 3D 場景，具備全局一致性、支持不同風格輸入、動態場景生成等亮點。可交互視頻生成大模型則提供以用戶輸入為核心的視頻生成方案，支持實時互動，具備精準控制的 action model。該模型將推動影視制作、游戲開發等領域的創新，提升內容生產效率。- 6.9k
- 0
-
OpenAI將發布 GPT-4.5 和 GPT-5，GPT-5免費無限使用
OpenAI 宣布將發布 GPT-4.5 和 GPT-5，為全球用戶帶來前所未有的人工智能體驗。根據奧特曼的最新透露，GPT-4.5預計將在幾周內發布，并成為 GPT 系列最后一個非“推理鏈”模型。更激動人心的是，GPT-5 將整合 o系列 和 GPT系列，形成一個全能系統，不僅能支持語音、繪圖、搜索等多項功能，還能在不同任務中自動選擇最適合的模型。- 4.6k
- 0
-
星火深度推理模型X1
星火深度推理模型X1是科大訊飛推出的首個具備深度思考和推理能力的大型AI模型。它基于全國產算力訓練，擁有較高的數學能力和推理能力，能夠在較少算力的情況下提供業界領先的效果，并成功實現了在實際場景中的應用。- 2.3k
- 0
-
啟元重癥大模型：騰訊與邁瑞聯合推出的全球首個面向ICU的智能醫療大模型
啟元重癥大模型是由騰訊聯合邁瑞醫療開發的全球首個針對ICU場景的智能醫療大模型，旨在通過實時監測患者生命體征、快速生成病情總結、提供診療建議以及自動生成病歷等功能，全面輔助重癥醫療工作。該模型結合醫學知識圖譜，覆蓋98%的醫學知識，具備強大的理解與生成能力，為醫護人員提供精準的診療支持，提升工作效率，減輕工作負擔，同時為患者爭取更多的治療機會。- 2.3k
- 0
-
Baichuan4-Finance：百川智能發布的金融大模型，金融場景能力領先GPT-4o近20%
Baichuan4-Finance是百川智能推出的專注于金融領域的大模型。該模型通過融合超過100B+的高密度、高質量中英文金融數據，致力于優化核心金融業務場景，提供智能化升級的全面解決方案。其設計嚴格遵循合規與安全標準，旨在賦能全場景金融創新。- 3.6k
- 0
-
OpenAI發布全新推理模型o3，實現人工智能多領域里程碑
2024年12月21日凌晨，OpenAI 在最新技術直播中正式推出 o3模型，展現了人工智能在數學、編程、科學推理領域的全新高度。o3 在多個基準測試中超越了人類專家水平，是人工智能發展的重大突破。此外，推出的 o3Mini 輕量版 提供了更低成本的高效性能，適合廣泛應用場景。- 2.6k
- 0
-
星流 Star-3 Alpha ：LiblibAI推出的自研AI圖像生成大模型
Star-3 Alpha是LiblibAI和星流聯合推出的下一代自研圖像生成大模型，基于F.1基礎算法架構進行訓練。它旨在為用戶提供更加精準、細膩的圖像生成能力，尤其在色彩表現、圖像細節和藝術風格的捕捉方面表現出色。Star-3 Alpha采用先進的AI算法，能夠響應復雜的提示詞，生成高質量的圖像，廣泛應用于各類創作和設計領域。- 5.7k
- 0
-
PaliGemma 2：Google 推出的新一代AI視覺語言模型
PaliGemma 2 是 Google 推出的最新一代AI視覺語言模型，它在前代基礎上集成了視覺處理能力，能夠識別、理解并與視覺輸入互動，是一款支持簡單微調的強大 AI 模型。- 3.1k
- 0
-
OpenAI 推出o1正式版和ChatGPT Pro套餐服務
2024年12月6日，OpenAI在其“OpenAI 12天”活動的首日，發布了兩款重磅新品：o1模型 正式版和全新訂閱套餐——ChatGPT Pro。此舉無疑是對當前生成式AI技術的一次全面升級。OpenAI CEO薩姆·阿爾特曼（Sam Altman）親自宣布，o1模型是全球最智能的人工智能，性能比前代模型o1-preview更強大、速度更快，且具備支持圖像上傳等多模態能力。- 2.2k
- 0
-
Genie 2：Google DeepMind 推出的基礎世界模型，單張圖生成 1分鐘可玩 3D 世界
Genie 2 是一個基礎世界模型，只需使用單張圖像就能生成可供人類或 AI 智能使用鍵鼠輸入游玩的3D 環境。- 4.1k
- 0
