AIPOCH 開源科研平台 Open-Science，推出 .science 研究過程包
AI 科研平台 Open-Science 由 AIPOCH 以 Apache License 2.0 開源發布，同時推出 .science 軟體包格式。.science 把選定的對話分支、檔案版本、Notebook 記錄與驗證證據整合成一個可移植檔案，可分享、遷移到另一臺機器，或作為只讀記錄匯入評審，相容 RO-Crate 標準，資料預設本地儲存，不會自動執行程式碼或恢復憑據。
以 .science 格式把 AI 輔助研究的對話分支、檔案版本與驗證證據打包成可跨機器接續的檔案，官方稱此舉開創機器之間分享 AI 使用過程存檔的先河，程式碼以 Apache 2.0 開源，對需要評審、交接與復現研究的科研人員和 Agent 工具開發者有直接參考價值。
原標題：刚刚！AIPOCH开源Open-Science，科研工作进入“vibe Research”时代！研究过程可追溯、可交接、可复现！
閱讀原文
| 評分 | 62 / 72（平均 67，門檻 65） |
|---|---|
| 狀態 | 精選 |
相關報導
Open Academic Paper Gen 開源：從全文核驗論文引用
GitHub 上新開源專案 Open Academic Paper Gen，用多智慧體工作流把論文初稿生成拆成九個階段，最大特點是在拿到文獻全文後定位相關段落，核驗正文引用是否真被原文支撐，有頁碼時還會標出對應 PDF 頁碼。它從 OpenAlex、Crossref、Semantic Scholar 和 arXiv 檢索文獻，生成證據表後分析趨勢、診斷創新性、列提綱寫作，再做引用核驗與模擬審稿，可匯出 Markdown、LaTeX 與 RIS、BibTeX。
@AIatMeta: We’re exploring how AI can accelerate health science research.
Meta 公布一套由人類主導的健康科學研究框架，由 Muse Spark 1.3 與 Muse Wonder 驅動，可訪問 500 萬份回顧性去標識化電子健康記錄及公開資料。一組醫學專家用該系統開展原創研究，加速假設生成、程式碼執行與論文撰寫，科學決策權仍完全由人類掌握。Meta 同時公開了由此產出的 10 篇研究論文，覆蓋心臟病學、腫瘤學、傳染病、急診醫學等領域。
OpenAI 一次公開 722 篇 AI 數學論文，僅 42% 完成形式化驗證
OpenAI 在 GitHub 公開了 722 篇由內部未發布前沿模型生成的數學手稿，涵蓋數論、代數幾何、分析、組合數學等方向，其中約 300 項核心結果完成 Lean 形式化驗證，佔 42%。公司稱模型共嘗試超過 4000 個問題，一項典型成果平均消耗約 3 小時 ChatGPT Pro thinking 算力，但未公開所用模型與提示詞。
清華等推出 OSWorld-Science，12 個模型平均得分 34.3%
清華大學牽頭聯合多所高校推出 OSWorld-Science 科研智慧體評測基準，含 146 項專家任務、覆蓋 7 大科學領域與 14 種科研軟體配置，12 個視覺語言模型平均任務得分僅 34.3%。Claude Fable 5.1 以 73.7% 領先，Claude Opus 5、GPT-6 Astra、GPT-5.6 sol 分別為 57.9%、57.4% 和 50.1%，但化學類任務中僅少數模型超過 20%。
OpenCode v1.18.35 發布：修復 xAI 工具結果圖片傳遞
OpenCode 發布 v1.18.35，核心改進是新增 canonical redirects，並提供 JSON 與 Markdown 兩種格式的 agent 可讀統計資料。本次修復讓 xAI 的工具呼叫結果可以攜帶受支援的圖片，不支援的圖片格式會被跳過，做法是把 @ai-sdk/xai 升級到 3.0.139。文件方面，Zen 文件新增 Fledge Alpha Free，生態外掛列表加入 opencode-supabase，該版本同時致謝 3 位社群貢獻者。