标签： 代码

5年后将淘汰C语言 微软澄清：不会用AI重写Win11系统

快科技12月24日消息，日前一位微软工程师在个人页面宣布微软将在2030年删除所有C及C++语言编写的代码，用Rust取而代之。 这一表态引发了极大的关注与争议，微软偏好Rust这一点已经不是新闻了， … Continue reading 5年后将淘汰C语言 微软澄清：不会用AI重写Win11系统

aiXcoder：企业级软件开发需结合AI与工程方法论

凤凰网科技讯 12月24日，硅心科技（aiXcoder）产品研发负责人黄宁在行业会议上表示，当前流行的Vibe Coding（氛围式编程）模式难以直接适配企业级复杂项目的开发需求。他认为，AI并非软件 … Continue reading aiXcoder：企业级软件开发需结合AI与工程方法论

达到金牌分数线：字节跳动推出新一代数学推理专用模型Seed Prover 1.5

凤凰网科技讯 12月24日，字节跳动Seed团队近日推出新一代形式化数学推理模型Seed Prover 1.5。该模型基于大规模智能体强化学习训练，在数学竞赛题的形式化证明能力上有所提升。 据官方信息 … Continue reading 达到金牌分数线：字节跳动推出新一代数学推理专用模型Seed Prover 1.5

从“拼模型”走向“拼平台”，Agent真正跑进业务，需要什么样的底座？

智东西 作者 | 陈骏达 编辑 | 漠影 过去一年，AI圈的关注重点已从单纯追逐模型性能，转向了一个更务实的问题：“该如何真正用好模型？”在这种趋势下，Agent开始被越来越多的人提及。它正逐渐成为A … Continue reading 从“拼模型”走向“拼平台”，Agent真正跑进业务，需要什么样的底座？

智谱宣布GLM-4.7上线并开源：编程、推理与智能体三个维度实现突破

凤凰网科技讯 12月23日，智谱AI正式上线并开源GLM-4.7模型。新版本主要针对编程场景进行优化，提升了代码生成、任务规划与工具调用能力。 据悉，该模型在多项编程基准测试中取得了开源模型中的领先成 … Continue reading 智谱宣布GLM-4.7上线并开源：编程、推理与智能体三个维度实现突破

谷歌把AI大模型能力“压缩”进手机，以后玩游戏全靠“吼”

IT之家 12 月 20 日消息，谷歌于 12 月 18 日发布公告，宣布推出 FunctionGemma，是基于 Gemma 3 270M 微调的专用模型，目的是将强大的函数调用（Function … Continue reading 谷歌把AI大模型能力“压缩”进手机，以后玩游戏全靠“吼”

AI 大神 Karpathy 2025 年度总结刷屏：AI 既是天才也是智障，这 6 个转折最关键

最近各种年度回顾陆续上线， OpenAI 的前联合创始人 Andrej Karpathy 也交出了自己对大模型的年度总结 就在今年早些时候，他在 YC 的一场演讲刷爆了全网，提出了不少新的观点： 软件 … Continue reading AI 大神 Karpathy 2025 年度总结刷屏：AI 既是天才也是智障，这 6 个转折最关键

拳头发现部分主板BIOS存在安全漏洞，玩家须更新才能玩《无畏契约》

IT之家 12 月 19 日消息，据科技媒体 Tom’s Hardware 今天报道，拳头游戏最近发现华硕、技嘉、微星和华擎等品牌主板存在安全漏洞，导致部分有心之人可利用漏洞绕过硬件安全检 … Continue reading 拳头发现部分主板BIOS存在安全漏洞，玩家须更新才能玩《无畏契约》