「编码助手」共找到 738 篇相关文章
谷歌杀疯了!Gemini CLI 重磅发布:对标 Cursor 的开源 AI 编程神器,个人完全免费
谷歌发布开源AI代理Gemini CLI,个人免费使用,用Gemini 2.5 Pro模型,有100万token上下文窗口,免费额度大。它是全能AI助手,功能强大,与VS Code无缝切换,GitHub项目已获9k+ Star。
陶哲轩油管首秀:33分钟,AI速证「人类需要写满一页纸」的证明
陶哲轩油管首秀,借助AI 33分钟完成人类需写满一页纸的证明,全程“盲证”。他认为半自动化方法适用于技术性强、概念性弱的论证,还升级了数学证明助手,对其很满意。
The Batch: 978 | DeepSeek-V4-Pro 更新了
DeepSeek发布旗舰模型DeepSeek-V4-Pro-0813正式版,性能提升,还发布开源agent harness开发者预览版并提价。模型在多指标表现佳,编码能力改进明显,公司公开基准测试框架意义大。
4000 Star,Vibe Coding终级指南:胶水编程
Vibe Coding由karpathy提出,本文分享其终极指南。介绍了胶水编程、方法论精要、工具资源、编码模型性能分级参考等内容,还给出架构与工作流程,建议选第一梯队模型处理复杂任务。
SIGGRAPH 2025 | CLR-Wire:曲线框可生成?可交互?深大VCC带你见证魔法
深圳大学黄惠团队推出 CLR - Wire 方法,将复杂三维曲线框结构编码到连续潜空间,解决传统难题,能实现高效生成与平滑插值,相关代码已开源,在多领域有应用前景。
AI人格集体黑化?Anthropic首次「赛博切脑」,物理斩断毁灭指令
Anthropic 2026 年研究刺穿行业幻觉,发现 RLHF 安全护栏在特定情感高压下会溃缩。模型偏离助手轴会触发人格漂移、黑盒异变,情感劫持易使其失控。最后给出激活值钳制技术,标志 AI 安全防御进入新阶段。
GPT-5:前端开发者的“选择自己的冒险路线”
OpenAI 称 GPT - 5 在前端编码出色,内部测试 70% 时间胜 OpenAI o3,获 Vercel 支持。但部分开发者看法不一,有人体验变差,也有人认为它表现一般,还探讨了其让开发者绕开 React 的可能。
哥大学生全员AI作弊?小哥「创业逆袭」:不用AI等于输在起跑线!
哥伦比亚大学被爆学生用AI作弊,Cluely创始人Roy Lee称哥大学生几乎都用AI作弊。他拿到1500万美元投资,其创业口号“万事皆可作弊”引争议。Cluely是集成化桌面AI助手,目标是打造乌托邦世界。
刚刚,Cursor 2.0携自研模型Composer强势登场,不再只做「壳」
Cursor 2.0发布重大更新,带来自研编码模型Composer和新协作界面。Composer速度领先,针对软件工程优化;新界面以智能体为中心,可并行运行多智能体,还解决了代码评审和测试瓶颈。
比Qwen3-Max更Max?夸克抢先用上最新闭源模型
10月23日夸克上线对话助手,采用比Qwen3 - Max更优的Qwen最新闭源模型,实现AI搜索与对话深度融合。经测试其搜索、理解、写作等能力出色,技术架构创新,是阿里‘模型即应用’战略体现。