AI 编码工具」共找到 10297 篇相关文章

开源动态8

这款开源AI卡片笔记,让我果断卸载了Obsidian!

开源君推荐开源项目Blinko,它是自托管、AI驱动的个人笔记工具,主打“快”与“智能”,将RAG技术和LLM能力融入笔记管理,数据自主可控,适合注重数据安全和知识管理的人。

开源先锋
新闻资讯7

Mistral AI发布一站式编程助手Mistral Code

法国开源大模型平台Mistral AI发布一站式编程助手Mistral Code,旨在解决企业开发人员使用AI编码工具时的合规与安全障碍。它基于Continue开发,集成四个大模型,还能在私有代码库微调,获早期客户认可。

AIGC开放社区
新闻资讯8

谷歌发布最强 AI“全家桶”、一句话就让AI拍大片!这一夜,谷歌Gemini贯穿始终,网友:果然Android“靠边站”了

谷歌在I/O大会推出AI“全家桶”,含Gemini 2.5模型更新、搜索新AI模式等。谷歌已发布十多个新模型、20多个重大AI产品与功能,多项数据显示AI发展迅速,还有多项目融入产品,多模态模型升级。

AI科技大本营
新闻资讯7

Cursor一夜翻车,AI 300万代码写浏览器被打假!全网群嘲「AI泔水」

Cursor宣称GPT - 5.2连肝7天造出浏览器,但开发者发现其代码无法编译,是缺乏工程逻辑的“AI泔水”。这一行为激怒开发者,也揭示AI编程需明确分工,未来软件开发靠“开挂工程师”带领AI

新智元
新闻资讯7

科学界爆发AI认知污染!1年狂投50篇论文,ICLR投稿20%AI生成

如今AI正污染科学界,出现幽灵引用、虚假数据和图片等问题。论文工厂用模板量产造假论文,审稿人用AI应对,作者还用密令操控AI审稿。预印本平台投稿量暴涨,可能沦为垃圾场,引发认知污染。

新智元
开源动态8

全网惊了!陶哲轩带AI下场,33分钟「盲证」数学

菲尔兹奖得主陶哲轩携手ChatGPT打造开源数学概念验证工具,数天迭代至2.0版,可全自动或半自动证明。还支持渐近估计,上手简单、可扩展性强。此外,他用AI 33分钟“盲做”一页数学证明,重塑研究范式。

新智元
算法论文8

国际头部高校联名发布 Agentic AI 的真正进化论

目前从‘LLM’向‘Agentic AI’跃迁,Agent实操能力不足。论文《Adaptation of Agentic AI》梳理领域情况,提出2x2象限框架,介绍优化Agent及工具的方法,还提及局限和未来方向并给出战术建议。

深度学习自然语言处理
开源动态7

谷歌又来砸饭碗!免费AI Agent发布,程序员狂喜

昨天谷歌发布免费开源的AI Agent Gemini CLI,可在电脑终端运行。它定位为开源AI Agent,能理解任务、制定计划和调用工具。免费额度慷慨,能力不限于编码,上手简单,但刚发布存在不稳定情况。

探索AGI
新闻资讯7

安全噩梦:Docker 警告 MCP 工具链中存在的风险

Docker 发文警告,基于 MCP 构建的 AI 开发工具存在安全漏洞,如凭证泄露、代码执行等。MCP 协议发展快但部分实现有隐患,Docker 分析发现诸多漏洞,还提出强化方法应对。

InfoQ
算法论文8

2026 AI Memory最新综述:从理论到实战,一文读懂AI记忆的进化全景

2026年北邮百家AI MemoryOS团队联合华为发表《Survey on AI Memory》,涵盖AI记忆理论基础、分类体系、架构、评估方法与前沿趋势,还提出4W分类法,剖析了发展挑战与未来方向。

PaperAgent