「技术决策」共找到 3173 篇相关文章

新闻资讯8

Nature公开谷歌IMO金牌模型技术细节!核心团队仅10人,一年给AI编出8000万道数学题训练

谷歌DeepMind的IMO金牌模型AlphaProof技术细节公开。团队规模小,核心成员是IMO金牌得主。它把数学证明当游戏,用30亿参数模型和改进树搜索算法。训练难题靠自动形式化解决,赛场用TTRL突破,已开放使用。

量子位
新闻资讯8

超150位全球AI一线技术专家齐聚巴黎,这场大会到底聊了些什么?|GOSIM Paris 2026圆满收官

5月6日,GOSIM Paris 2026进入第三天,议程转向技术实践。超150位全球AI专家齐聚,探讨模型推理优化、开源社区治理等。Niko Matsakis等分享前沿观点,还有五大主题论坛及工作坊,展示开源AI生态成果。

AI科技大本营
新闻资讯7

一名员工用个 AI 工具,直接把 Vercel “送”进黑客手里!AI 还在替你决定技术栈,vibe 产品危?

当地时间4月19日,云开发平台Vercel确认内部系统遭未授权访问,黑客出售窃取的数据。攻击源于员工使用的AI平台Context.ai安全事件。此外AI编程助手正重塑技术生态入口,影响工具选择。

InfoQ
算法论文8

ICSE 2026杰出论文 | 突破代码模型真实工程落地瓶颈,北大团队提出SEAlign对齐框架:显著提升软件工程智能体决策质量

现有代码模型在经典基准表现好,但在真实软件工程环境表现差。北大金芝、李戈团队提出 SEAlign 框架,通过识别与对齐智能体轨迹关键决策点,提升模型在真实工程任务表现,成果获 ICSE 2026 杰出论文奖。

机器之心
8

技术框架不重要,大厂简历不值钱?小哥不会写代码却进了Lovable,80% 靠聊天也能上生产

Lovable是当红AI产品公司,估值66亿美元,其开设全职Vibe Coder岗位。零技术背景的Lazar Jovanovic成首位该岗员工,他80%时间规划对话,介绍了Vibe Coding方法及应对问题策略,强调表达、品味等重要性。

InfoQ
推荐文章7

AI 已能写 80% 代码,但 Agent 也有致命短板!OpenAI Codex 技术总监:问错了,比不会写更麻烦

OpenAI Codex 技术负责人 Michael Bolin 在访谈中回顾职业轨迹,分享从工程师到工具创造者的成长经历。他认为 AI 编程时代 80%-90% 代码可由模型生成,但关键部分需人类把控,提出正确问题能力更重要,编程智能体执行将更多迁移到云端。

InfoQ
开源动态9

Jev火爆全网后,Open Jev们扎堆开源了!精选8个项目

TypeSafe AI发布的Jev模型凭借新的结构化决策接口迅速爆火,引发社区复刻潮。本文精选整理了8个不同技术路线的开源OpenJev项目,逐一介绍各项目的思路、性能、优缺点与适用场景。

GitHubStore
推荐文章8

从华为“弃将”到打造两家上市公司,他如何成为中国“工控之王”?

过去二十多年,朱兴明打破欧美垄断,提升中国工业自动化核心零部件水平。他曾是华为员工,后创立汇川技术,带领其上市,还拆分出联合动力上市。他决策有得有失,如今又瞄准新领域。

芯师爷
新闻资讯7

CEO让AI定裁员名单:被它反驳时,我选择怀疑自己!

Confluent报告显示,62%英国高管用AI辅助决策,27%用其处理人事。88%称决策更快、83%表示压力更小,但65%认为决策不协作,70%与AI意见相左时会怀疑自己,数据质量也影响决策。

新智元
新闻资讯7

具身智能创业来了位浙大博导,机器人会飞,VC抢着投

具身智能领域,常见机器人多在地面作业。现微分智飞推出会飞的具身智能机器人,由浙大博导高飞创办。其与传统无人机不同,有自主决策能力。公司有行业和教育两条产品线,专注产品技术闭环。

量子位