首个达到 IMO 金牌水平的开源数学推理模型
Hugging Face 悄然开源了新模型 DeepSeek-Math-V2。这是一款专注数学推理、定理证明与长链逻辑推演的模型，也是当前行业内首个达到 IMO（国际数学奥林匹克）金牌水平且完全开源的 AI 系统。
油管：https://youtu.be/sp8irjmzA0M
AI项目
Windows 应用无缝运行在 Linux 桌面
Star 数：14K+ 🐧 ，优雅集成与自动化部署 winboat 是一个开源项目，由 TibixDev 开发，专注于在 Linux 环境中提供 Windows 应用的原生级集成体验。它利用 Docker 容器、FreeRDP 和 KVM 虚拟化技术，构建优雅的 Electron 界面，支持一键自动化安装、文件系统共享与资源监控。
油管：https://youtu.be/N-dWDW_6ATg
HuLa：开源的即时通讯应用程序
可以理解成是 QQ 的开源版，界面逻辑等大多是模仿 QQ。基于 Tauri、Vite 7、Vue 3 和 TypeScript 构建，实际体验还算称得上流畅。兼容 Windows、MacOS、Linux、Android、IOS
Linux 专属的一款高颜值的任务管理软件
它专为 GNOME 桌面环境设计，支持 Todoist 和 Nextcloud 的集成。该应用程序提供了直观的视觉风格和多种功能，包括任务拖拽排序、项目进度指示器、夜间模式、自定义提醒系统以及离线 Todoist 同步等。用户可以通过快速查找功能来搜索任务，同时支持重复到期日期和提醒通知。
eBook：AI 工程师资源合集
aie-book 该书涵盖了从基础模型到实际应用的整个过程，包括数据准备、模型评估、问题解决等方面。书中还提供了案例研究、误差分析、提示工程、代理构建、微调模型、数据验证、模型优化和持续改进的框架。这本书适合各种技术角色，包括 AI 工程师、数据科学家、工程经理和产品经理。
copyparty ：多功能的文件服务器应用程序
支持加速的可恢复上传、去重、WebDAV、FTP、TFTP、zeroconf、媒体索引器、缩略图生成等功能，集成了多种协议和服务，并且支持跨平台使用，无需任何依赖。
X-CMD 一键启用 1000+ CLI 工具
X-CMD 是一个小巧且功能强大的命令行工具集，能提供 100 多种针对不同应用场景的功能模块和一个包管理器，支持下载安装 500+ 个第三方开源软件工具
KDE出品，专业级开源剪辑软件
精准的多轨时间轴、波形、代理剪辑，支持 LUT 调色、字幕编辑、音频滤镜
高度可定制，专业水准，与 Whisper / ffmpeg 集成方便（可自动生成字幕轨）
ZCF零配置的 Claude 代码流程工具
支持多语言操作，提供了一个交互式菜单来简化安装和配置流程，包括安装 Claude Code、导入工作流程、配置 API 或 CCR 代理、设置 MCP 服务、选择默认模型、配置 AI 记忆以及安装其他辅助工具等功能。
苹果设备本地模型的 OpenAI 兼容 API 服务器
这是一个为苹果设备上的本地模型提供 OpenAI 兼容 API 的服务器项目，方便开发者在本地运行并调用类似 OpenAI 接口的模型服务。
