DeepSeek 发布 Prover-V2 新模型:包含 7B 和 671B 两个版本,训练核心是「递归+强化学习」的组合,专注高性能数学推理。 https://huggin...gface.co/deepseek-ai/DeepSeek-Prover-V2-671B 小米开源首个推理 AI 大模型「Xiaomi MiMo」:旨在探索如何激发模型的推理潜能,性能对标 OpenAI o1-mini。 https://huggingface.co/XiaomiMiMo 阿里「Qwen3-235B-A22B」模型正式登陆 HuggingChat。 https://huggingface.co/chat/models/Qwen/Qwen3-235B-A22B ChatGPT 将为所有用户推出购物功能:用户可以直接在对话中查找、比价并完成购买。 Adobe 发布商用级 AI 图像生成模型「Firefly Image 4」系列:包含 4 和 4 Ultra,精度、清晰度和真实感再提升。 在线体验:https://firefly.adobe.com/ 微软多达 30% 的代码由 AI 生成:微软 CEO 称目前微软的代码库中,约有 20%-30% 的代码由 AI 完成,甚至一些项目,都可能完全由 AI 进行编写。[新闻报道] 展开收起

归档: 片刻


一款新型的Shell连接中心和远程文件管理器,可以从本地计算机访问整个服务器基础设施。在已安装的命令行程序之上运行,无需在远程系统上进行任何设置。 可以通过XPipe轻松连接...到SSH、Docker、Kubernetes等多种工具,整合了多种连接方式,提供了强大的文件管理和脚本功能。 软件下载:https://github.com/xpipe-io/xpipe/releases展开收起

Windows 上好用的开源录屏软件 1. OBS Studio 官网:https://obsproject.com/ 2. ShareX 官网:https:/.../getsharex.com/ 3. Captura GitHub:https://github.com/MathewSachin/Captura 4. Screen to GIF 官网:https://www.screentogif.com/ 5. FFmpeg 官网:https://ffmpeg.org/ 6. wcap GitHub :https://github.com/mmozeiko/wcap展开收起

Lapce - 一个快速轻量的代码编辑器 Lapce 是用纯 Rust 开发的,主打一个快!内置 LSP 支持、模态编辑、远程开发、插件等强大功能 安装包不到 20 M,...速度确实是快! https://lap.dev/lapce/展开收起

豆包一次性生成20张图!分镜图也行!https://bytedance.larkoffice.com/docx/OWpHdkNoYoBjHVxntQPcZa5Qndb

PDF 转换 Markdown 工具,通过多模态 AI 模型将 PDF 文档转换为结构清晰的 Markdown 格式,完整保留原始文档的排版、表格、公式等复杂元素,除了 PDF... 文档,也支持 JPG、PNG、BMP 图片转换为 Markdown 文档,免费开源,无演示地址,需自行部署。 项目地址 :https://github.com/MarkPDFdown/markpdfdown展开收起











