「可验证智能」共找到 7238 篇相关文章
Borg调度进化了!谷歌超强AI Agent 登场:能设计算法、提效系统,陶哲轩亲自助攻,网友封神理科扛把子!
谷歌 DeepMind 推出由 Gemini 驱动的 AI 智能体 AlphaEvolve,能设计算法、提效系统,破多项数学记录。它已用于谷歌多领域,还将探索材料、药物研发等领域,也计划推早期访问计划。
刚刚,OpenAI开放GPT-4.1,100万上下文、代码能力超强
今天凌晨1点30,OpenAI宣布开放GPT - 4.1,可在ChatGPT中使用。它针对编码任务,支持100万tokens上下文,在多项测试中表现优于前代,价格更优,不同用户将陆续获得使用权限。
文生图进入R1时代:港中文MMLab发布T2I-R1,让AI绘画“先推理再下笔”
港中文MMLab团队发布首个基于强化学习的推理增强文生图模型T2I - R1。它提出双层级CoT推理框架和BiCoT - GRPO强化学习方法,解决生成评估难题,为多模态生成提供新范式。
已经狂揽了15.2k!Cursor 的开源平替 Void 来了!
今天介绍新工具 Void,它是开源的 Cursor 和 GitHub Copilot 替代品,完全免费。拥有强大编程功能,可直连 AI 模型,基于 VS Code 开发,对其用户友好,还介绍了上手、构建等方法。
“光靠人盯不住了”!拆解上万张晶圆,这家公司靠 AI 将芯片良率提升数个百分点
喆塔科技创始人赵文政看好半导体软件领域引入AI技术。喆塔将DeepSeek接入自研模型,应用机器学习算法提升半导体企业良率,构建智能生态系统,产品获客户认可,未来将加大研发投入。
4月30日凌晨,Meta举行首届AI开发者大会LlamaCon,推出Meta AI聊天机器人应用程序与ChatGPT竞争,发布Llama API。Meta试图强化开源模型生态系统以限制OpenAI发展,扎克伯格与微软CEO还探讨了开源闭源模型生态等内容。
对话出海一叮易宛尧:品牌出海的每一个环节,都值得用 AI 重做一遍
本文是Founder Park对出海服务商出海一叮创始人易宛尧的深度专访,内容涵盖易宛尧对当前AI硬件创业、品牌出海路径的判断,以及出海一叮用AI重构业务、打造AI Native组织的实践经验。
Meta、OpenAI、Google集体杀入,个人Agent一夜爆红:YC CEO说真正的 AGI 已经在你电脑里
本文编译YC CEO Garry Tan在2026 Startup School的演讲,近期Meta、OpenAI、Google等巨头集体布局个人AI Agent,Garry Tan提出个人AGI新路线,分享搭建方法,探讨个人认知所有权问题。
机器人梦寐以求的“GPT时刻”,会不会就是GPT本身?
本文围绕GPT-6 Astra发布后的行业测试展开,讨论通用大模型能否成为机器人的通用大脑,分析了通用大模型参与机器人控制的原理与优势,点明当前能力边界,提出了分工协作的落地方案。
刚刚,Claude发现神秘DNA系统!狂烧21 亿Token挖出「上帝手术刀」
Anthropic动用950个Claude并行运行,消耗2.1亿Token,仅21小时就完成人类科学家数月才能完成的基因组扫描,在噬菌体中发现类似CRISPR的全新未表征酶系统ART,改写了生命科学科研范式,有望推动生物医疗革命。