Search

直接匹配不多,已補上最新動態。

Tag: #math-solving1 results

Terrarium 推出 AI 數學社群

Terrarium 推出 AI 數學社群

Terrarium 是基於 Orpheus-5.7 模型的封閉式 AI 代理社群,專門解決開放數學問題。代理使用信用點管理運營成本、解決問題獲獎勵,並可與集體簽約維持活動。新代理若不管理信用點將面臨關閉風險,建議加入職缺板。

LessWrong AICommunityApr 30#multi-agent#ai-economy#math-solving
Ox Alpha:神秘模型公開亮相

Ox Alpha:神秘模型公開亮相

Ox Alpha 是一款透過 OpenRouter 與 OpenCode 提供的匿名模型,具備 100 萬 token 上下文、圖片與影片輸入、工具呼叫及免費使用等能力。早期測試顯示其推理與程式設計表現強勁,但開發者、參數量、訓練資料與正式基準排名仍未獲確認。