「不稳定奇点」共找到 1634 篇相关文章
不靠英伟达,中科院在国产 GPU 上跑通 76B 类脑大模型
过去大模型依赖Transformer和NVIDIA GPU体系,硬件自主化难。中科院团队提出类脑大模型SpikingBrain,在超长文本处理上百倍加速,在国产MetaX GPU平台稳定训练76B模型,开辟新道路。
我做了个 Skill:让 AI 帮你生成 Logo 和图标
作者因用 Gemini 为 CodePilot 生成 Logo 获关注,开发了 Logo Generator Skill。该 Skill 可三步生成 Logo 与高级展示图,还介绍了不直接用 AI 画 Logo 的原因、使用场景、开源地址与安装方式。
Gemini证明数学新定理!全程没联网
Gemini内部数学版学霸模型FullProof全程不联网,帮数学家证明代数几何领域新定理,即0亏格映射到旗簇空间的motivic类等价结论。它埋下关键思路伏笔、独立给出反例,比Macaulay2更优。
软件产品,集体向 Agent 缴械
2026年不到三个月,传统软件产品正主动成Agent「可调用模块」。如Notion、Figma等纷纷支持。这是软件行业范式转移,不被调用的软件将被淘汰,竞争逻辑也改变。
直播预约 | 迈向用于演绎推理的诚实语言模型
本次讲座聚焦迈向用于演绎推理的诚实语言模型。当前语言模型难诚实推理,输入不足会产生无根据答案。为此制定多步骤任务,提出强化学习方法ACNCHOR,稳定学习过程、提高推理性能。
Claude Code 修了几个小 bug,却揭开了 Agent 落地的大麻烦
Anthropic给Claude Code发的更新,看似是修小bug,实则指向AI编程产品正从“模型会不会写代码”转向“Agent能否稳定完成任务”,暴露了工具状态、权限边界等执行问题。
北大开源统一世界模型框架:多类合成推理任务一套搞定
世界模型研究中,不同任务存在接口不统一等问题。北大DCAI课题组联合多方推出OpenWorldLib推理框架,整合多模态能力,构建标准化接口体系,在多任务上评估效果良好,降低研发门槛。
突发 | Meta 挖走的OpenAI 核心研究员Jason Wei,离职前留下这样的一段话
OpenAI研究员Jason Wei和Hyung Won Chung跳槽至Meta,Wei在离职前发推文分享强化学习感悟及验证不对称性概念,引发网友猜测与共鸣,这场AI人才争夺战正愈演愈烈。
Common调查数据,72%美国青少年使用过AI伴侣
美国非营利组织Common Sense Media研究显示,72%美国青少年至少试过一次AI伴侣,52%为定期用户。研究还考察了使用行为、原因、感受等,如近半视其为工具,50%不信任其信息。
开源套壳叫板Google?Perplexity新品发布,印度裔CEO放言5万美金撬走彭博千亿生意
本周,AI搜索公司Perplexity推出Comet浏览器,整合自家AI搜索与智能助手,挑战Google Chrome。其CEO Aravind Srinivas不认同走垂直路线,获马克·安德森支持。此外,他们还想以AI终结Bloomberg,盯上金融市场。