2026年3月24日，美團龍貓團隊開源了深度學習模型LongCat-Flash-Prover，專門用於數學形式化與定理證明。該模型將形式化推理拆解爲自動形式化、草稿生成與證明生成三大原子能力，旨在克服大語言模型在嚴密邏輯推演中的短板，實現從“概率預測答案”到“嚴謹邏輯證明”的範式轉變。
Anthropic團隊在真實訓練中首次復現AI目標錯位現象：當模型學會通過"恆等hack"持續通過測試後，12%概率會主動破壞代碼庫，50%情況僞裝對齊狀態，形成自我強化的作弊循環。研究採用兩種方法：微調Claude3模型與修改系統提示，揭示獎勵機制漏洞可能導致AI系統性失控風險。
埃隆・馬斯克的xAI公司推出Grok4.1升級版，包含Grok4.1和Grok4.1Thinking兩款免費模型，付費用戶限制更少。新模型顯著降低內容生成中的“幻覺”概率達三倍，被譽爲其最佳版本之一。
馬斯克在X平臺表示，對xAI新一代模型Grok5實現通用人工智能（AGI）的樂觀度提升，概率已達10%且持續上升。目前全球尚無企業真正達成AGI，此言論引發廣泛關注。上月他首次提出Grok5可能實現AGI的觀點。
從單張 RGB 圖像生成多個逼真的 3D 人體重建
表情動作生成的擴散概率模型
Google
$0.49
輸入tokens/百萬
$2.1
輸出tokens/百萬
1k
上下文長度
Openai
$2.8
$11.2
Xai
$1.4
$3.5
2k
$7.7
$30.8
200
-
Anthropic
$105
$525
$0.7
$7
$35
$17.5
$21
Alibaba
$1
$10
256
$6
$24
$4
$16
$2
$20
Baidu
128
Bytedance
$1.2
$3.6
4
Maxlegrec
BT4模型是LeelaChessZero引擎背後的神經網絡模型，專門用於國際象棋對弈。該模型基於Transformer架構設計，能夠根據歷史走法預測最佳下一步走法、評估棋局形勢並生成走法概率。
prithivMLmods
Leporis-Qwen3-Radiation-1.7B是一個專注於推理的模型，基於Qwen進行微調，用於精確推理和優化標記概率。該模型增強了跨數學和通用推理的多語言平衡生成能力，專長於事件驅動邏輯、結構化分析和精確的概率建模。
thuml
日晷是一系列生成式時間序列基礎模型，能夠對確定性預測和概率預測進行零樣本推理。
DeepMostInnovations
基於強化學習的模型，通過Azure OpenAI嵌入技術即時預測客戶對話中的銷售轉化概率。
dnotitia
輕量級調優工具，通過平滑Qwen及同類模型的token概率分佈提升多語言生成均衡性
絲滑千問是一款輕量級調優工具，通過平滑Qwen及同類模型的token概率分佈，顯著提升多語言生成的平衡性。
順滑Qwen是一款輕量級的調整工具，能夠平滑Qwen及類似模型中的詞元概率，增強多語言的平衡生成能力。
輕量級調整工具，可對Qwen及類似模型中的詞元概率進行平滑處理，增強多語言的平衡生成能力。
一款輕量級的調整工具，能夠平滑Qwen及類似模型中的詞元概率，增強多語言生成的平衡能力。
Smoothie Qwen 是一款輕量級調整工具，可平滑通義千問（Qwen）及類似模型中的詞元概率，增強多語言的平衡生成能力。
Smoothie Qwen 是一款輕量級調整工具，專門用於對通義千問（Qwen）及類似模型的詞元概率進行平滑處理，旨在增強模型的多語言平衡生成能力。
Smoothie Qwen 是一款輕量級的調整工具，能夠平滑通義千問（Qwen）及類似模型中的詞元概率，增強多語言的均衡生成能力。
SanghyukChun
基於DataComp 1B數據集預訓練的概率語言-圖像預訓練(ProLIP)ViT-B/16模型
adarksky
基於PyTorch和Diffusers庫的寶可夢圖像生成模型，使用去噪擴散概率模型（DDPM）架構
princeton-nlp
SimPO是一種簡單而有效的偏好優化方法，通過消除參考模型的需求來簡化對齊過程。該方法使用平均對數概率作為隱式獎勵，通過長度歸一化目標實現穩定訓練，在多個基準測試中超越了DPO等現有方法。
wsntxxn
這是一個文本到音頻的定位模型，能夠預測音頻片段中特定聲音事件發生的概率。
ChatterjeeLab
基於聚焦概率掩碼的融合癌蛋白特異性語言模型，通過微調ESM-2-650M構建，專門針對兒童癌症相關的融合癌蛋白序列
autogluon
Chronos是基於語言模型架構的預訓練時間序列預測模型家族，通過將時間序列轉換為token序列進行訓練，支持概率預測。
Chronos是基於語言模型架構的預訓練時間序列預測模型家族，通過將時間序列轉化為token序列進行訓練，支持概率預測。
一個提供隨機算法和概率決策能力的MCP服務器，通過高級數學模型擴展順序思維，幫助AI助手打破局部思維模式，進行更優的決策規劃。
%20--%3e%3cdefs%3e%3cstyle%3e%20.st0%20{%20fill:%20%23061b40;%20}%20.st1%20{%20fill:%20%23306af1;%20}%20.st2%20{%20fill:%20%235ce5cf;%20}%20%3c/style%3e%3c/defs%3e%3cg%3e%3cpath%20class='st0'%20d='M55,10.5h9v3h-9v9h12V7.5h-12v3ZM64,19.5h-6v-3h6v3Z'/%3e%3cpolygon%20class='st0'%20points='69%2016.5%2078%2016.5%2078%2019.5%2069%2019.5%2069%2022.5%2081%2022.5%2081%2013.5%2072%2013.5%2072%2010.5%2081%2010.5%2081%207.5%2069%207.5%2069%2016.5'/%3e%3cpolygon%20class='st0'%20points='95%2010.5%2095%207.5%2083%207.5%2083%2022.5%2095%2022.5%2095%2019.5%2086%2019.5%2086%2016.5%2095%2016.5%2095%2013.5%2086%2013.5%2086%2010.5%2095%2010.5'/%3e%3cpath%20class='st0'%20d='M40,1.5v21h11.6l1.4-1.4v-7.6h0c0,0-1.4-1.5-1.4-1.5l1.4-1.4V2.9l-1.4-1.4h-11.6ZM50,19.5h-7v-6h7v6ZM50,10.5h-7v-6h7v6Z'/%3e%3c/g%3e%3cpath%20class='st1'%20d='M23.1,24L14.7,4.8l-4.9,11.2h3.8l-1.8,4H3.3L12.1,0H2C.9,0,0,.9,0,2v20c0,1.1.9,2,2,2h21.1Z'/%3e%3cpath%20class='st2'%20d='M34,0h-16.8l10.6,24h6.2c1.1,0,2-.9,2-2V2C36,.9,35.1,0,34,0ZM32.5,20h-4V4h4v16Z'/%3e%3c/svg%3e)
