DeepSeek 推出 DeepSeek-Prover-V2：通过递归证明搜索和新基准测试推进神经定理证明 DeepSeek AI 发布了 DeepSeek-Prover-V2，这是一个用于精益 4 定理证明的开源 LLM。它使用 DeepSeek-V3 的递归证明搜索来训练数据和强化学习，在 MiniF2F 上取得了最好的结果。 AI资讯 2025年06月18日 0 点赞 0 评论 195 浏览
AI Agent 的工程化被低估了 目标：让 AI 能用和好用，用户用得明白、用得舒服、用得下去。从增长的视角就是，不仅要下载量，还要留存率和活跃度。 技术开发 2025年06月18日 0 点赞 0 评论 226 浏览
基于Memory Bank的Cursor长会话记忆内存库理论研究与实践 在处理复杂任务时，通常需要我们和Cursor进行多轮对话，而随着对话轮次的增多，Cursor对于核心任务和工作重点的记忆丢失的越多，归根到底，是由于大模型缺乏长期记忆机制。 技术开发 2025年06月17日 0 点赞 0 评论 192 浏览
代码怎么才能跑的更快 在写代码的时候我们都会碰到代码运行很慢的问题，代码的算力占用过高会直接导致项目难以落地，尤其是在端侧设备计算资源和内存资源都非常有限的情况下。 技术开发 2025年06月16日 0 点赞 0 评论 173 浏览
OpenAI Codex CLI – 入门 OpenAI Codex CLI 是一个开源命令行工具，可将我们最新推理模型的强大功能直接引入您的终端。 日常分享 2025年06月13日 0 点赞 0 评论 176 浏览
如何像 Manus 交付业务需求-- OneAgent + MCPs 范式 Manus 交付(Deliver) 业务需求其实是一种新的单领域 Agent 开发范式，让我们从最简单的 LLM 调用讲起。 技术开发 2025年06月13日 0 点赞 0 评论 215 浏览
用Cursor开启JAVA+AI生涯 Cursor 是基于VS Code开发的一款编辑器，支持多种语言的开发编辑。与传统的开发工具相比，它有多种优势：与AI无缝集成，响应速度快，占用内存小。但很多同学在"起步"过程中遇到了一点点问题，导致起步不成功。本文描述一些实用的小技巧，帮助大家快速用Cursor开启AI生涯。 技术开发 2025年06月12日 0 点赞 0 评论 170 浏览
AI时代的数据智能跃迁：数据、工具与组织的进化 生成式人工智能领域正在经历显著的模式转变，伴随其向Agentic AI演进，数据应用能力也在经历从量变到质变的跃升。 技术开发 2025年06月12日 0 点赞 0 评论 180 浏览
豆包AI编程：零门槛的应用创作工具 豆包AI编程作为一款零门槛的应用创作工具，让每位用户无需编程基础，就可以像程序员一样轻松生成可交互应用。更重要的是，生成的应用页面精美、功能丰富，效果绝对堪称“惊艳”。 商业产品 2025年06月11日 0 点赞 0 评论 131 浏览
从browser-use 出发，品 Agent 实现 本文是在agent上的一个学习总结，希望能够以一个工程的视角去理解一个agent的产品是怎么run起来，并给出了学习和理解的过程。 资讯中心 2025年06月11日 0 点赞 0 评论 210 浏览
