「AI开发助手」共找到 10249 篇相关文章
GPT-5，AI的「登月时刻」来了！奥特曼现场发布，三位一体博士级智能体
GPT-5正式发布，它是融合模型，准确性大幅提升，编程、写作等能力飞跃，语音模式升级，还有个性化功能，已介入医疗。API含三款模型，价格有竞争力，标志AI竞争转向「智能发布」。
陶哲轩最新演讲：AI 不是来抢数学家蛋糕的，是来把蛋糕做大的
陶哲轩在 SAIR 基金会活动演讲指出，数学领域工作方式正被新技术撬动。数学保守、协作难，而形式验证是关键。他主导项目用三个月解决 2200 万代数题，还探讨了 AI 在数学中的应用，认为它应做大蛋糕。
这家初创要为AI重绘地球：可量身定制卫星星座，对接太空计算
西班牙初创公司 Xoople 完成 1.3 亿美元 B 轮融资，欲构建“地球记录系统”。它先铺管道、再造源头，与 L3Harris 合作开发天基测量系统，虽面临竞争与隐忧，但也顺应太空计算融合趋势。
53.7% 高学历政企人员“看走眼”！公文写作AI智能体首次通过图灵测试
2025数博会期间双盲测试中，53.7%高学历政企人员将‘方寸智脑’生成公文误判为人类作品。它与华为云合作，解决政务AI落地困局，实现政务公文写作三阶跨越，已服务众多用户。
省token神器3天狂揽4.1k星！19岁小哥开发，信息无损最高省87%
一款名为caveman的省Token神器在GitHub蹿红，3天揽4.1K星。它由19岁外国小哥开发，能让Agent表达更简洁，信息无损最高省87%。不过也存在争议，如节省的多为输出Token，强迫简洁或让模型变笨。
现有AI都是假实时！Thinking Machines发布交互模型，离真正的贾维斯真的近了
Thinking Machines发布交互模型，切入与AI交互方式问题。该模型能原生支持实时交互，由交互和后台模型组成。架构设计独特，解锁多项功能，评测表现佳，但也存在长会话、计算部署等局限。
全网痛骂「AI作弊狗」！亚裔小孩哥却凭作弊黑科技一年狂赚700万美元
Cluely以“AI作弊”之名爆红，虽引争议但营收增长快，获a16z 1500万美元投资。其企业版受B端青睐，不过开源“平替”Glass上线，功能相似且免费，Cluely能否突围待市场检验。
开源 AI 文档生成器！给代码库做个CT扫描，一键生成交互式Wiki文档！
介绍开源工具DeepWiki-Open，它由AsyncFuncAI开发，能将GitHub或GitLab仓库一键转为交互式Wiki，基于多种技术实现代码分析和自动化文档生成，解决开发者理解复杂代码库的痛点，还给出快速上手步骤和适用人群等。
Vibe Coding“血洗”开源，社区吵翻了：封杀菜鸡 AI 开发者？不如给维护者打钱！
多位研究人员在预印本论文中指出，氛围编码或摧毁开源生态，使官网访问量下滑、社区论坛使用量骤减。研究称要维持开源规模需改革维护者报酬方式，同时分析了其对开发效率、开源软件可持续性的影响，社区对此看法不一。
刷屏了！开源 2 天斩获 41K+ 标星！这个 OpenAI 赞助的 AI 终端 Warp 开源了！
Warp宣布开源，不到24小时GitHub Star数达3.5w+，现超41K。它从现代终端演变成Agent化开发环境，由OpenAI赞助。采用双轨制开源协议，推出“Agent优先”工作流，同步产品升级。