上海AI實驗室書生-S2協助完成三維Ghys猜想證明,北大以Lean完成形式化驗證
此為首個由中國大模型參與攻克的世界級數學難題;人機協同7批推演、節點由15擴至389,北大團队約5天完成55萬行Lean程式碼驗證。
49 則值得知道的變化
此為首個由中國大模型參與攻克的世界級數學難題;人機協同7批推演、節點由15擴至389,北大團队約5天完成55萬行Lean程式碼驗證。
頂級白帽古河(Yuki Chen)使用 GLM 取得 23 項漏洞研究成果,其中一項 CVSS 評分達 9.8,並已加入智譜。
最大的 209M 版本在 GIFT-Eval、TIME、fev-bench 三項評測皆居首,參數量僅為前代最佳模型的三分之二,並提供 5M 至 209M 四種尺寸。
Muse Wonder 為 Muse 系列目前得分最高的模型,預設 effort 下於 CursorBench 達 46.1%,已可在 Cursor 中使用。
權重經 MXFP4 量化後由約 534GB 降至 292GB,8 卡部署可縮至 4 卡;官方另提供限時 2.5 折線上價格。
Argon 以單張照片即可生成 77 項任務與逾 4,500 組訓練片段,實機測試成功率由 56% 提升至 75%,但示範仍依賴詳細人工提示。
官方頁面稱 Krea 3 採區域編輯、只改動指定範圍,原生輸出 2K 解析度;速度與精準度數據皆為廠商自述,尚未獨立驗證。
作者稱 Muse Glimmer 30B NVFP4 在 GPQA-Diamond 達 63.6,略高於 BF16 的 62.1,所有數據均待獨立驗證。
研究顯示無需直接設計學習電路,僅靠局部規則即可形成學習模組;但作者強調自組織不代表大腦確實採用此機制,且尚未證明可取代大規模模型的反向傳播。
較 Gemini 3.8 Flash 的 157 分大幅提升,是 Google 自 2 月 Gemini 3.1 Pro 以來最接近 ECI 前沿的模型。
新論文重大錯誤率降至 1.5%,研究者估計其重大發現約 90% 正確;來源為未經證實的 Reddit 貼文。