找到 5 筆
Meta Superintelligence Labs 於 7 月 9 日發布 Muse Spark 1.1，是 Muse Spark 的多模態推理升級版，主打 agentic 任務，在工具與計算機使用、編碼、多模態理解上提升明顯。模型可主動管理 100 萬 token 上下文，能作為主代理編排並行子代理，在 OpenCode 中演示了自動截圖定位並修復 bug。
Meta 研究團隊與 Muse Spark 合作，在受生物學啟發的數學結構研究中，找到了一個所提規則的反例，並進一步給出替代性刻畫，經研究者驗證與完善。相關論文已發布，可通過原文連結閱讀。
Meta 研究人員與 Muse Spark 合作，將數論中的一個想法與弦論中的一項計算聯絡起來，證明這一聯絡在比以往已知更多的情況下成立，其基礎可追溯到 1980 年代的想法。相關論文已發布在 Meta AI 研究頁面，標題為 String Two-Point Function and Height Function on a Curve。
Meta 研究人員與 Muse Spark 合作，證明了一條明確規則：判斷某個數學簡化何時能精確等價於原問題、何時會留下差距。該成果屬於最佳化方向，論文已公開，可通過原文連結閱讀。
Meta 研究人員在群論領域推翻了一條關於描述對稱性的數學結構的猜想，方法是找到一個反例。搜尋該反例的程式碼由 Muse Spark 生成，團隊隨後驗證了結果並完成了證明。論文連結已在原帖給出。