AI / 模型 / 智能体

Live Training Run · BrushArena:BrushArena 的实时训练展示页。

Introducing Julia 1 | Supersonic Labs:Supersonic Labs 的 Julia 1 官方介绍页。

Introducing Claude Sonnet 5.5 | Anthropic:Anthropic 介绍 Sonnet 5.5 在编程、知识工作与运行成本上的改进。

Introducing GPT-6.1 Sol | OpenAI:OpenAI 发布 GPT-6.1 Sol,介绍编程、计算机操作与专业任务能力的更新。

Exploring Similarity Search with Prompted Subspaces — Jasper Lu:用文本提示构造概念子空间,按颜色、风格或语义调整图像相似度检索。

RL is an evolutionary algorithm:从演化算法的角度讨论强化学习。

Introducing Gemini 4:Google 介绍 Gemini 4 Argon,输出 token 上限提升至 100 万,目前向可信网络防御者与测试者分阶段开放。

ExplorationBench:用可执行的陌生编程与逻辑环境评测 AI 的自主探索能力,通过解释器和证明检查器验证结果。

Grokipedia:Grokipedia 主页。

Cogentic:Cogentic 项目主页。

How many AI agents could we run? | Epoch AI:估算 2025—2027 年出货的高带宽内存在充分部署并分配给相应任务时,全天运行的智能体可提供相当于约 1.4 亿至 7.2 亿名全职人员的周工作时长。

AI chips shipped through 2027 could run tens to hundreds of millions of concurrent frontier-model agents. Running nonstop, these agents would supply as many weekly working hours as about 140–720 million full-time employees.

A model guide for the GPT-6 family | OpenAI:围绕 GPT-6 系列介绍模型选择、指令、上下文与成本管理,以及长任务和生产部署。

Lessons from building an automated research scaffold — LessWrong:分享自动化科研框架的实践:团队提效有限,却暴露了奖励投机、结果解释与审计监控等问题。

What if automating AI R&D triggers an intelligence explosion? — CASP:分析 AI 研发自动化触发智能爆发的可能性、影响与政策应对,并强调其中的不确定性。

Tokenization: A Survey for Modern NLP | alphaXiv · PDF:综述现代自然语言处理中的子词分词方法、局限与替代方向。

Language Model “Shape” | Alex L. Zhang:探讨能否围绕智能体运行框架来设计语言模型的输入与输出结构。

数学 / 科研 / 学习

synthetic-sciences/openscience:开源 AI 科研工作台。

CSAPP 中文阅读:《深入理解计算机系统》的中文阅读页面。

AGMAI:9 月 29 日声明:数学顾问小组汇集社区反馈,提出 AI 数学成果的发布建议,并强调后续的人类理解与审查。

Transformer Explainer:用 GPT-2 small 的交互式可视化解释 Transformer 的内部计算。

AI solves a ‘holy grail’ problem from probability theory | Scientific American:报道 Anthropic 模型提出渗流连续性猜想证明的工作,并讨论其对数学研究的影响。

Apex Leaderboard:Apex 排行榜公告页。

MIT 6.5940 Fall 2026 TinyML and Efficient AI Computing:MIT 2026 年秋季课程,涵盖剪枝、量化、模型服务、分布式训练与端侧部署。

Expenditure Horizon | METR:以人类与智能体的成本收益曲线交点衡量优化能力,并用 NanoGPT 优化作初步实验。

Solving Open Research Problems Together | Meta AI Research:介绍 Muse Spark 与数学家合作研究开放问题,并由独立数学家核查结果的工作。

Learning Forever using Artificial Neural Networks:Shibhansh Dohare 的博士论文,围绕可塑性丧失、持续反向传播与策略崩塌展开。

编程 / 系统 / AI 工具

A shared cache for Cargo builds | mr boxington:通过共享 Cargo 构建缓存减少重复编译。

deepseek-ai/DeepGEMM-Ascend:面向华为昇腾处理器的矩阵乘法内核库。

Introducing cf | Cloudflare:Cloudflare 推出面向智能体的命令行工具,覆盖其完整 API。

Ely · GPUI components:GPUI 组件库展示页。

claude.dev:面向 Claude 开发者的技术博客。

MonoCode:为多种编程智能体提供图形界面。

MyGo:用 Go 构建桌面应用的框架,支持 Web 前端与原生界面。

Pi 1.0 | Earendil:介绍可扩展的智能体框架 Pi 1.0。

Comma:持续运行、处理个人任务的智能体。

Lorca:在本地通过单聊或群聊,让多个 AI 队友处理文件与任务。

I’m Using GPUI For Everything | Freek Van der Herten:推荐 Syntax 团队关于 GPUI 开发体验的视频。

设计 / macOS / 其他

mg-chao/snow-apps:Snow Shot 与 Snow Image Viewer 的开源代码仓库。

辞达:在 Mac 的任意应用中翻译和润色文字。

tornikegomareli/omarchy-spaces:在 Omarchy 状态栏中显示各工作区的应用图标,并支持切换工作区。

Pal-AI-Lab/Coopanion:住在屏幕底边的桌宠 Coo,支持聊天、语音与获准后的电脑操作。

The Making of Cursor’s Icons | Minor Adventures:分享 Cursor 图标的设计过程。

IPPure:检查 IP 地址信息、风险、网络出口与泄露情况。

arXiv:更新投稿限额政策:arXiv 关于更新投稿限额政策的官方公告。

adileo/squirreldisk:用 Rust 编写的跨平台磁盘空间分析器,以旭日图或矩形树图展示占用。

Yab: yet another browser:Yab 浏览器主页。

AI 号探:比较 AI 账号发卡平台的价格与库存。

metasequoiaime/msime-windows:水杉输入法的 Windows 产品仓库,包含输入框架、服务、界面与安装器。

gillesgoetsch/omacvm:在 Mac 虚拟机中运行 Omarchy,并集成触控板手势、音频与键盘等体验。

lxj5820/dsh-boot-animation:用全窗口视频替换 DSH 启动画面,并渐变进入应用。