「多设备开发」共找到 5466 篇相关文章
具身智能创业来了位浙大博导，机器人会飞，VC抢着投
具身智能领域，常见机器人多在地面作业。现微分智飞推出会飞的具身智能机器人，由浙大博导高飞创办。其与传统无人机不同，有自主决策能力。公司有行业和教育两条产品线，专注产品技术闭环。
刚刚！Sam Altman官宣GPT-5今夏登场：超级智能更为重要
在OpenAI官方播客节目中，Sam Altman透露GPT-5今夏或登场，还探讨AGI定义、“星际之门”算力项目、AI硬件等。如模型命名或改，算力项目解决瓶颈，重视超级智能等。
这些关于研发提效的深度实践分享，值得每一位开发者关注 | AICon
6月27 - 28日AICon北京站上，多位大厂技术大牛将分享“AI赋能研发提效”经验。如丁宇介绍AI编程范式革新，张乐分享腾讯代码智能化实践，还有同程、百度、网易游戏相关人员分享研发提效经验。
AI操作有了“紧急刹车”！通义&自动化所AI决策诊断模型，GUI智能体纠错正确率SOTA
阿里通义实验室与中科院自动化所推出GUI - Critic - R1模型，能在GUI智能体操作执行前诊断决策，避免错误。介绍了其动机、方法、数据集及实验，证明该模型在生成判断和提建议方面有效。
亚马逊码农噩梦来袭！沦落「仓库工人」，每天流水线分拣「AI代码」
AI工具广泛引入亚马逊编程工作，虽提升效率，但让程序员工作节奏变快，像流水线工人。亚马逊管理层推崇AI，认为能降成本提效率，可程序员担心创造力被扼杀、职业发展受影响。此外，实验显示AI编码助手能提升开发人员效率。
不是「电商 AI」，而是「AI 电商」
GenAI时代，AI与电商消费结合成趋势，“值得买科技”提出“全面AI战略”，发布火眼AIUC引擎等4个作品。其海纳MCP Server可输出消费服务能力，推动AI生态建设。还落地什么值得买Gen2和张大妈Agent等应用。
从「记忆解题」到「深度推理」：港科大推出首个本科数学动态评测基准 UGMathBench
港科大团队发表在 ICLR 2025 的研究 UGMathBench，是首个本科数学动态评测体系。它涵盖 16 个学科领域，通过变量扰动创建多版本试题，引入创新指标评估模型推理能力，测试结果揭示了当前模型短板。
Mamba 架构实现推理性能超 Gemma3-27B！推理模型开始迈入「无注意力」时代
PromptCoT - Mamba是首个具解码显存常量等特性且推理能力强的模型。当前推理大模型中注意力机制有局限，PromptCoT - Mamba实现无注意力推理，在多评测集超Transformer等模型，为无注意力推理生态奠基。
Gemini 2.5 Pro 再升级！竞技场分数创新高+思考预算，更强 Kingfall 在路上？
谷歌更新Gemini 2.5 Pro模型预览版，几周后成正式稳定版用于企业级应用。它在多个竞技场分数创新高，编码能力强，还新增“思考预算”功能控成本，价格有竞争力，谷歌还将推更强“Kingfall”。
摩根士丹利如何攻克编程界的“最头疼问题”
金融巨头摩根士丹利开发AI工具DevGen.AI，将旧代码转现代语言，此难题通用工具难解决。该工具今年审阅900万行旧代码，节省28万小时。虽有局限，但降低对旧语言开发者依赖，且不会减少人才需求。