活动归档

按时间浏览已经公开的项目与研究记录。

2026年9月6日

ProofNote

ProofNote v3.1.0-rc.1 公开发布

ProofNote v3.1.0-rc.1 现已以 MIT License 公开发布。本次发布包含结构化编辑器、Solution Note Format 1.0、中英文界面、分层诊断、示例、测试与独立离线 HTML 导出。

2026年7月17日

SMRA — VibeThinker-3B 小模型推理增强实验

面向 VibeThinker-3B 小模型的推理增强项目正式开始，目标是在固定基线、可复现评测与分阶段验证的基础上，探索能够稳定提升小模型表现的软件系统。

2026年6月21日

Lumen Agent Platform

Lumen 项目正式启动。它最初从一个本地模型聊天客户端开始，随后逐步发展为包含 Chat、Test、Agent、工具、证据系统与持久任务的本地优先 AI 工作平台。