计算机辅助工程智能体」共找到 1086 篇相关文章

算法论文8

编程智能体的隐藏bug,被上交IPADS团队用数学逻辑给揪出来了

上海交通大学 IPADS 研究团队打造 FM - Agent,实现大规模系统全自动正确性推理。它能从顶尖编程智能体生成的大规模系统中找出隐藏 bug,还提出新规约生成方法,在绝对严谨与工程可用间找到平衡。

DeepTech深科技
新闻资讯8

AI不会减少工程师!Reddit疯抢应届生:“AI原生一代”必须毕业就招走

Reddit联合创始人兼CEO Steve Huffman表示,公司会大量招聘应届生,尤其是工程类岗位,认为AI不会减少工程师数量。他还复盘Reddit IPO成功原因,阐释平台在AI时代的不可替代性,强调社区真实性的重要性。

AI前线
新闻资讯7

GPT-5.4 发布,OpenClaw 要被替代?OpenAI 新模型会自己用电脑了,还顺手把编程能力拉满

今天,OpenAI 发布 GPT-5.4,将推理、编程和计算机使用能力整合,具备原生电脑操作能力,提升了工具使用效率。它成本降低、幻觉减少、编程能力更强,但 API 价格较高。其或与 OpenClaw 抢夺入口。

InfoQ
产品应用8

史诗级痛点修复!GPT-5.3 Instant 突发上线:写作,语气,准确度全面升级

ChatGPT目前使用率最高的模型GPT-5.3 Instant正式上线,核心优化用户日常交互体验,解决此前反馈强烈的痛点,如削减拒答与说教、让对话更自然、优化联网搜索等,还降低幻觉率,提升写作辅助能力。

AI寒武纪
新闻资讯8

嚯,具身智能和脑机接口在康复医疗合体了

在第二届傅利叶具身智能生态峰会上,CEO顾捷宣布给康复患者戴脑机接口设备,让机器人依脑电信号辅助康复训练。还启动“脑机具身·数据引擎联合创新计划”,圆桌环节嘉宾探讨技术影响与应用。

量子位
算法论文8

超越Skill?又一新技术让AI编码准确率从53%跃升至100%

Jude Gao主导的新研究带来上下文工程新发现,仅改动8KB的AGENTS.md文件,就让AI编码智能体表现从53%跃升至100%。对比Skills和AGENTS.md两种方案,后者完胜,还解决了上下文膨胀问题。

AI工程化
新闻资讯8

Anthropic最新经济指数:AI让高学历任务提速12倍,但也可能让你的工作“降级”

Anthropic通过‘经济指数’项目,对Claude.ai和其API对话分析。最新报告引入‘经济基元’,基于2025年11月样本分析,揭示AI对任务、职业和总体影响,如让高学历任务提速12倍,也可能致岗位‘技能降级’。

AI寒武纪
新闻资讯7

谷歌创始人布林:当年发完Transformer论文,我们太不当回事了

在斯坦福大学工程学院百年庆典活动上,谷歌联合创始人谢尔盖・布林与校长、工程学院院长对谈。他回顾谷歌发展,称曾对Transformer论文未足够重视,还分享对专业选择、大学模式、学术与产业等方面的看法。

机器之心
新闻资讯7

没了遥控器,还被扔进荒野,具身智能该「断奶」了

在第五届ATEC科技精英赛上,人形机器人在户外场景状况百出,如摔倒、罢工等。专家认为过去高估其通用能力,五年内走进家庭承担家务较难。具身智能面临感知、决策、硬件等难题,但也有队伍取得成果。

机器之心
新闻资讯8

10人创业团干翻行业“潜规则”!全员必须会AI、让跑大模型全程“裸奔”,谷歌老兵不烧钱创业

谷歌老兵Bryan Zhou投身AI创业,组建AnyInt团队。该平台定位AI Infra中间件,一个API对接所有模型,提倡“去中心化”。团队一开始就奔着付费用户,还做了极致性能优化,吸引众多开发者。

AI前线