提交資源
English
한국어
日本語
Español
Français
Deutsch
简体中文
Português
Bahasa Indonesia
ไทย
Italiano
Tiếng Việt
Türkçe
Polski
Русский
回到實驗室JEVLAB / FIELD NOTES
實驗室最新消息
新加入資源與 JEVLAB NEWS 的日期列表。回來查看變更內容，或在您的閱讀器中訂閱 RSS 摘要。
在此瀏覽器記住此訪問，以便下次標記新增內容。無需登入或跨裝置追蹤。
日期顯示項目在 JEVLAB 中可用的時間（UTC），而非原始來源發布的時間。僅翻譯的編輯不計為新資源。
15
NotebookLM 推出互動式學習概覽
Google 已向所有用戶開放 NotebookLM 的互動式學習概覽功能。該工具正從單純的資料整理平台，逐步演變為個人化的學習環境。
threads.comChatGPT 重置與潛在更新
Choi 報告稱 ChatGPT 進行了重置，暗示即將有重大更新發布。用戶正密切關注該平台即將推出的重要功能改進。
threads.comWhite Circle 發布 Halo 模型訓練框架
White Circle 推出了 Halo，旨在簡化開源 AI 模型的後訓練流程。該工具透過 YAML 配置實現高效的微調與強化學習，顯著提升了處理性能並降低了硬體門檻。
threads.comHermes Agent 恢復 Claude 訂閱支援
Hermes Agent 透過全新的官方插件重新支援 Claude 訂閱功能，該插件直接調用 Claude SDK。此舉旨在繞過 Anthropic 此前對外部代理的限制，透過官方 CLI 路徑發送請求。
threads.comtypesafe-sdk-ruby
這是一個由社群維護的 Ruby SDK，為 TypeSafe AI API 提供介面。它允許開發人員透過定義類型化問題、管理重試和處理 API 錯誤，在 Ruby 應用程式中實現結構化資料分類和路由。
github.com宇樹科技發布 Dex5-S 機器人手
宇樹科技推出了 Dex5-S，這是一款具備 22 個自由度的人手大小機器人手。該設備旨在透過精細的關節控制和衝擊保護功能，提升機器人處理工具的能力。
threads.comMeta 發布 Petal 跨大西洋海底光纜
Meta 宣布推出全球首個拍位元級跨大西洋海底光纜 Petal，旨在大幅提升數據傳輸效能。此舉顯示隨著 AI 資料中心規模擴大，全球網路基礎設施已成為科技巨頭競爭的關鍵戰場。
threads.compi-jev-sentinel
該工具透過使用 Jev 評估工具呼叫、輸出和回覆，充當編碼代理的安全衛士。它有助於檢測提示詞注入、清理敏感資訊並固定任務，從而確保代理互動的安全性。
github.comTypeSafeAI
TypeSafeAI 是一個用於 TypeSafe AI System One 的 .NET SDK。它提供了一個支援 NativeAOT 的類型安全 API，並支援批次處理以及與 Microsoft.Extensions.AI 的整合，用於路由和評估。
github.comjevtest 情緒測謊器
該工具透過即時分析情緒潛台詞來演示 TypeSafe Jev 模型。它將 Jev 的機率分類與標準 LLM 進行對比，展示了 Jev 如何為特定決策任務提供結構化的信心評分，並在延遲和成本方面展現出潛在的效率優勢。
github.comjev-lint
jev-lint 是一個利用 Jev 分類器識別代碼與其文檔之間邏輯不一致的工具。它結合了 ast-grep 匹配器和自然語言查詢，旨在檢測諸如誤導性註釋、命名不匹配以及隱藏的失敗路徑等問題。
github.comJev 與編碼代理
該資源闡明了 Jev 是用於結構化決策的 System One 模型，而非文本生成 LLM。它指導開發人員如何將 Jev 與編碼代理集成，以執行分類、評分和路由等任務。
docs.typesafe.ai陶哲軒談人工智慧與科學研究
數學家陶哲軒指出，AI企業應提供可解釋的洞察，而非僅僅輸出答案。他批評了當前盲目追求基準測試分數而忽視結果驗證的現象，強調科學研究需要人類可理解的邏輯。
threads.com小米發布 MiMo-V2.6 模型
小米推出了 MiMo-V2.6 Pro 與 Flash 多模態模型，在開源模型領域表現優異。此次發布不僅包含模型權重，還公開了強化學習環境與訓練代碼，旨在提升透明度與可復現性。
threads.comOpenAI 數學研究取得進展
OpenAI 宣佈其新內部模型已解決 100 多個長期未解的數學難題。該成果得益於多智能體協作及強化學習技術的應用。
threads.com
21
人工智慧發展的加速趨勢
Choi 指出，人工智慧的發展並非線性，其進步速度已遠超研究人員此前的預期。隨著人工智慧被投入到自身的研發過程中，技術奇點可能比預想中更早到來。
threads.comjev-mcp
該 MCP 伺服器將 TypeSafe Jev 模型整合至 AI 代理中，提供如是/否判斷、多項選擇與基於準則的評分等結構化輸出。它使代理能夠在工作流程中直接對數據進行類型化的評估。
github.comspring-ai-typesafe
該 Java SDK 將 TypeSafe AI JEV API 與 Spring AI 整合。它提供了 Noul、Choice 和 Score 等結構化決策原語，使開發者能夠在不依賴傳統文字生成的情況下實現 LLM-as-a-judge、護欄和 RAG 後處理。
github.comtypesafe-sdk-go
此 Go SDK 為與 TypeSafe AI 服務互動提供了結構化介面。開發人員可以使用選擇題、評分題和布林題進行評估，並管理客戶端配置、重試機制和日誌記錄。
github.comjev Ruby 用戶端
該 Ruby 函式庫為 Jev 模型 API 提供了用戶端。它允許開發人員透過基於真值、選擇和評分標準的方法執行平行查詢，從而在應用程式中建構 AI 驅動的決策流程。
github.comTypeSafe.AI.Sdk for .NET
此社群開發的 .NET 用戶端為 TypeSafe AI 服務提供了型別安全的介面。它復刻了官方 JavaScript SDK 的功能，使開發人員能夠在 .NET 應用程式中實現結構化的問答工作流程。
github.comjev-mailroom
該概念驗證展示了一個使用 Jev 按類型和類別對郵件進行分類的自動化郵件分揀系統。它透過 IMAP 處理郵件，利用並行問題來確定標籤，同時在 Python 中處理邏輯和閾值。
github.comNitro
Nitro 透過使用 Jev 在每輪開始時過濾工具列表來優化 Grok Build。這種方法在模型執行前縮小了可用工具範圍，從而在保持提示快取效率的同時減少了 Token 使用量和成本。
github.comswift-typesafe
此 Swift 6.4 SDK 為 TypeSafe AI 提供了類型安全的客戶端，並與 Python SDK 0.7.0 API 保持一致。它利用 Swift 巨集定義問題和回應模式，從而實現與 AI 模型之間的結構化互動。
github.comtypesafe-sdk-php
此社群維護的 PHP SDK 為 TypeSafe AI System One API 提供了客戶端。它支援執行類型化查詢，透過 Guzzle Promise 管理非同步請求，並提供可配置的重試機制和日誌記錄功能，以實現模型發現。
github.comsqlite3-jev
此 SQLite 擴充功能實現了與 TypeSafe Jev 的直接整合，允許使用者透過基於 libcurl 的函式呼叫，在 SQL 查詢中直接執行分類、評分和是非機率檢查等決策型 AI 任務。
github.comSmartMoney-Cub
SmartMoney-Cub 是一個唯讀的交易日誌與復盤工具，利用 Jev 對金融證據進行分析。它透過離線反饋循環協助交易者評估決策並優化策略，且不執行任何交易操作或連接經紀商帳戶。
github.comProgressGate
ProgressGate 是一款透過 Jev 分析軌跡來檢測代理循環中語義停滯的工具。它提供 CONTINUE、WARN、REPLAN 或 HALT 等確定性決策，以防止代理在矛盾的假設上陷入重複循環。
github.com吸菸史提取基準測試
該儲存庫提供了一個基準測試，用於比較 Jev 和 OpenAI 在從 1,000 份合成醫療記錄中提取吸菸史方面的表現。它透過共享的候選選擇流水線來評估準確性、成本和延遲，而非無約束的生成式提取。
github.comjev-agent-browser
jev-agent-browser 通過整合 Jev 與 agent-browser，為瀏覽器代理提供了一個受限的執行環境。它支援類型化的動作選擇與結構化的任務編排，使父代理能夠安全地委派網頁瀏覽與研究任務。
github.comego-jev
ego-jev 為 ego lite 提供了一個使用 TypeSafe System One 的內部循環。它用每個 DOM 步驟的單一類型化決策取代了標準的 LLM 輪次，旨在通過減少互動式 Web 任務中的延遲來提高瀏覽器代理的效能。
github.comego-jev
ego-jev 將 Jev System One 模型整合至 ego-lite 瀏覽器，實現單進程任務自動化。透過使用索引化元素表進行決策，該工具在測試中表現出比傳統 LLM 循環快約 2 倍的執行效率。
github.comjev-leftpad
該項目展示了使用 Jev 進行字串左填充的非傳統方法。它作為一個幽默的過度工程範例，演示了如何透過模型呼叫來完成標準函式庫函數即可輕鬆處理的任務。
github.comjev-docs-zh
本專案提供 TypeSafe AI 旗下 Jev 模型官方文件的非官方中文翻譯。內容涵蓋 System One 核心概念及 Choice、Score、Noul 三種原語，並包含用於本地部署與離線閱讀的靜態網站產生器。
github.comAsyncTypeSafeClient
此資源介紹了用於 Python 的 AsyncTypeSafeClient，支援與 TypeSafe AI API 進行非同步互動。文件詳細說明了配置參數、日誌記錄設定以及用於管理模型和執行系統查詢的方法。
docs.typesafe.aiSpaceXAI 發布 Grok 4.7
SpaceXAI 推出了 Grok 4.7，重點在於透過強化學習提升複雜任務與程式編寫能力。儘管在文件分析與程式碼生成方面有所進步，但整體智能水平的提升幅度相對有限。
threads.com
