陶哲軒在講座中探討人工智能如何影響數學研究，包括AI輔助定理證明、數據驅動發現以及數學家的未來角色。

AI 服務暫時不可用，以下為來源摘要，待恢復後補全翻譯：Discussion | Link

AI 服務暫時不可用，以下為來源摘要，待恢復後補全翻譯：In this article, you will learn what latent spaces are and how they serve three distinct roles — descriptive, generative, and predictive — across a...

本文推薦奠定現代AI智能體基礎的5篇論文：ReAct、Toolformer、Generative Agents、Voyager和AutoGen，分別講解推理與行動的結合、模型自監督學習使用工具、記憶與反思驅動的可信行為、具身環境中的持續學習與技能複用，以及多智能體對話協作。適合希望快速把握智能體AI核心思想的讀者。

OpenFactory是一項新服務，允許用户通過AI提示或選擇菜單構建自定義Linux發行版。雖然目前處於預alpha階段，但作者成功構建了基於Debian的KDE Plasma系統。該服務面向企業，但個人用户也能受益。定價有免費層和付費層。

作者自制了一台用來逃離AI的便攜式復古電腦，硬件包括雙RP2040、軟驅、和絃鍵盤等；但整台機器的代碼幾乎全部由AI生成。文章藉此反思在AI時代失去手寫代碼的快樂、以及接受“想要的東西直接被造出來”這種新型關係。

AI 服務暫時不可用，以下為來源摘要，待恢復後補全翻譯：Discussion | Link

NVIDIA Nemotron 3.5 Lightning 是專為AI智能體執行層設計的開源權重模型，擁有30B總參數和3B激活參數，採用混合Mamba-2+MoE+注意力架構，支持最高1M上下文。它旨在讓昂貴的前沿模型負責規劃，自身承擔高頻工具調用等執行工作，據稱輸出速度可達同類模型的4倍，並通過多個渠道提供免費或低成本訪問。

Genosyn 是一個開源、可自託管的 AI 員工平台，讓企業為 AI 分配真實角色、共享上下文、定時任務和明確的人類審批關卡。它在一個工作區內提供聊天、任務、營收、郵件、財務和代碼倉庫工具，並可用任意 AI 模型一鍵安裝。

這期視頻以Demoscene視角報道了Assembly 2026大會上的AI競賽（compo），展示了參賽作品、現場氛圍以及AI創作與演示場景文化的關係。

谷歌DeepMind發佈Gemini 3.7 Flash，在Artificial Analysis智能指數上較前代提升4分，以更高輸出速度和更低任務成本躋身智能與單任務耗時帕累託前沿。

作者分享瞭如何用兩個月付 200 美元的訂閲（OpenAI Codex 和 Anthropic Claude）以 400 美元的成本處理價值 157,143 美元的 token，並認為這是 AI 競爭帶來的短暫“淘金熱”窗口，應該抓緊時間用起來。

據路透社報道，蘋果已與阿里巴巴合作，為中國市場訓練了一款定製AI模型。這是中美科技緊張局勢下罕見的跨境合作，也標誌着蘋果在華AI策略的轉變。該模型可能使蘋果成為首個獲准在中國提供專有AI模型的美國公司。

Drift Anchor 是一個微軟Edge瀏覽器擴展，讓你快速訪問經過驗證的AI提示詞，提升工作效率。

Z.ai發佈GLM-5.3，基於GLM-5.2的743B基座並通過擴展後訓練顯著提升編碼與安全能力。Terminal-Bench 3.0從4.6升至28.3，CyberGym達84.5%。權重約兩週後公開。

AI 服務暫時不可用，以下為來源摘要，待恢復後補全翻譯：Discussion | Link

Miser 是一個基於 Rust 的開源 AI 網關，通過 OpenRouter 將 OpenAI 兼容請求路由到最便宜的可用模型。它支持啓發式、本地 LLM、雲端 LLM 及混合分類模式，保持無狀態設計並透傳流式響應。README 還提供了本地運行、評估、API 密鑰管理和部署説明。

文章提出，AI在數學上的出色表現，可能並非源於更深的推理能力，而是因為其超大的上下文窗口提供了一個巨型外部符號工作空間，繞過了人類工作記憶的瓶頸。心理學研究表明，工作記憶對數學成績的預測力可超越IQ，這有助於解釋AI的優勢；但面對含義不穩定、信息缺失的非正式推理，擴大記憶並不能解決問題。

Aiseesoft Mac Video Converter Ultimate 是一款面向 macOS 的多功能視頻轉換與編輯軟件，支持 4K/8K 格式轉換、2D 轉 3D、AI 視頻增強，以及豐富的剪輯和實用工具，能夠滿足用户處理視頻的多種需求。

WinCore 是一個免費開源 Python 庫，專為 Windows 上的 Python 和 PyTorch 開發及機器學習工作流設計，提供系統檢測、CPU/內存管理、GPU 監控、PyTorch 編譯、多 GPU 工具等功能。首個完整公開版本 0.6.3 已發佈，採用 MIT 許可證。

AI 服務暫時不可用，以下為來源摘要，待恢復後補全翻譯：Congrats to the team!

AI 服務暫時不可用，以下為來源摘要，待恢復後補全翻譯：Cactus Compute released Needle 2, an open 45M-parameter model for tool calling, device use, and structured extraction. The full model is a single 14MB binary that runs a session in about 28MB of RAM. It leads both Seal-Tools splits while targeting hardware with no GPU and no NPU. The post Meet Needle 2: An Open 45M-Parameter Tool-Calling Model That Ships as a 14MB Binary and Runs a Full Session in 28MB of RAM appeared first on MarkTechPost.

AI 服務暫時不可用，以下為來源摘要，待恢復後補全翻譯：Mar 13, 2026 Discord Software Engineer Interview Questions 2026: Real Coding, System Design & Process Guide Prepare for Discord SWE interviews in 2026 with real-style coding questions, system design topics, behavioral p…

Google DeepMind 的 Gemini 3.7 Flash 更新讓 GDM 重回 AI 競爭前沿。此前 3.5 和 3.6 Flash 已落後於 Claude 4.8+ 與 GPT 5.5+ 系列，而這次更新展示了新的追趕勢頭，可謂“雖處下風，但並未出局”。

AI 服務暫時不可用，以下為來源摘要，待恢復後補全翻譯：Lexicon AI

AI 服務暫時不可用，以下為來源摘要，待恢復後補全翻譯：Field service, without the paperwork AI-native field service software for small and midsize businesses. Book the work, finish the job, and get paid faster with scheduling, invoices, reviews, and follow-ups connected to…

AI 服務暫時不可用，以下為來源摘要，待恢復後補全翻譯：After nearly a decade of loudly complaining about the fact that modern US aircraft carriers use electromagnetic systems to launch fighter jets instead of steam-powered catapults, Donald Trump has directed the Pentagon t…

AI 服務暫時不可用，以下為來源摘要，待恢復後補全翻譯：Ask an AI chatbot a question, and it answers with total confidence — even when it’s wrong. Chatbots have invented court cases, medical dosages and statements no one ever said. The companies that built these tools know e…

HumanoidVLN 是基於 NVIDIA Isaac Sim 的物理仿真平台與基準測試，針對人形機器人視覺-語言導航（VLN）設計。它支持四種不同身高（1.17m–1.80m）、下肢自由度 10–12 的人形機器人，通過分層控制棧實現雙足運動。基準包含 933 個碰撞感知參考軌跡，每個軌跡配備一條細粒度指令和三種風格化變體。實驗中 JanusVLN 平均成功率最高（43.55%），20 個場景虛實遷移測試中導航誤差相關度達 r=0.935。

推理語言模型在生成長思維鏈時，KV緩存會線性增長併成為解碼階段的內存瓶頸。現有壓縮方法將推理軌跡視為扁平序列進行統一壓縮，忽略了思維鏈內部不同步驟的重要性差異。新研究提出TAM方法，通過思維分割、自適應預算分配和關鍵token保護，在同等內存佔用下提升準確率，並利用週期性壓縮將峯值內存降低約65%。