「代码检查工具」共找到 3243 篇相关文章
加拿大丛林迷路五小时，ChatGPT救命神技，比地图还靠谱！
一群人在加拿大森林迷路5小时，手机电量低、Google Maps失灵，靠向ChatGPT发实时坐标获导航指引脱险。此外，上海交大团队推出PathGPT，用大模型让导航可自然对话，虽有不足但潜力大。
10 人 1600 万美金 ARR，华人团队 OpenArt 用了这 11 个 AI 技术栈
华人团队 OpenArt 10 人团队做到 1600 万美金 ARR，CEO Coco Mao 分享经验。包括找准定位，聚焦三类核心用户；用程序化 SEO 实现增长；战略转型做视觉故事讲述；解决角色一致性问题，还介绍多方面技术栈。
Lovart的开源平替产品，完全本地免费的AI设计Agent。
Lovart是热门AI设计Agent但使用成本高，现找到开源平替项目Jaaz。它接OpenAI绘图API，支持Comfyui等本地工具，能免费本地使用，功能丰富，还将推视频生成功能。
张鹏对谈李广密：Agent 的真问题与真机会，究竟藏在哪里？
本文是《今夜科技谈》直播沉淀，极客公园整理。拾象科技李广密、钟凯祺从多维度拆解 Agent 真问题与机会，探讨产品、技术路径、商业模式等，指出 Agent 发展方向与挑战。
Mamba 架构实现推理性能超 Gemma3-27B！推理模型开始迈入「无注意力」时代
PromptCoT - Mamba是首个具解码显存常量等特性且推理能力强的模型。当前推理大模型中注意力机制有局限，PromptCoT - Mamba实现无注意力推理，在多评测集超Transformer等模型，为无注意力推理生态奠基。
叫板 OpenAI Sora？Manus 推出文生视频服务，计划向所有用户开放
近日，Manus AI 推出文本转视频生成服务，支持单条提示完成视频制作，目前供部分订阅用户抢先体验，计划向所有用户开放，对标 OpenAI Sora 等竞品。其母公司获投资，还与微软合作，系统有独特优势。
爆火AI编程Windsurf突遭Claude全面断供，开发者大量退订！直接打脸OpenAI
AI编程工具Windsurf突遭Anthropic切断Claude 3.x系列模型API访问权限，CEO称仅获五天通知。用户大量退订，Windsurf官方激烈回应，采取应对措施，AI编程领域大战正酣。
R1时代，RAG-Retrieval技术总结与展望~
RAG - Retrieval提供全链路RAG检索模型微调、推理及蒸馏代码，支持多模型、多loss和训练方式。还发布模型技术报告，设计评估框架，未来探索RL在检索领域应用。
中兴星云拿下推理总分榜一！SuperCLUE 5月成绩出炉
2025年全球AI大模型竞赛激烈，SuperCLUE发布5月报告，中兴通讯星云大模型Nebula Coder - V6推理专项榜单总分并列第一、总榜并列第二，细分赛道表现佳，且是少数获国家级权威安全认证的大模型。
当 AI 制造的谎言比真相更吸引人时，会发生什么？
过去假照片制作难，如今AI工具让造假人人可用。深度伪造或使虚假信息泛滥，影响政治，还会瓦解真相与信任。未来神话塑造可能比真相追寻更有影响力。