标签： 集上

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

【新智元导读】随着AI越来越强大并进入更高风险场景，透明、安全的AI显得越发重要。OpenAI首次提出了一种「忏悔机制」，让模型的幻觉、奖励黑客乃至潜在欺骗行为变得更加可见。 当AI越来越聪明时，也变 … Continue reading OpenAI这招太狠！AI从“躲猫猫”到“自爆黑料”，主打一个坦白

如果你用过一些手机系统自带输入法，一定懂那种它好像没学过中文的无力感。 正因如此，第三方输入法才得以遍地开花。 当官方输入法不好用，用户自然会用脚投票。最近字节推出了豆包输入法 1.0 版本，要用 A … Continue reading 豆包输入法上线，用了两天我在微信聊天不想再打字

IT之家 10 月 11 日消息，南京大学类脑智能科技研究中心研究团队提出了一种高精度模拟存内计算方案，并以此为基础，研发出一款基于互补金属氧化物半导体工艺的模拟存算一体芯片。 该方案将模拟计算权重的 … Continue reading 南大团队研发出最高计算精度模拟存算一体芯片

西湖大学用AI科学家，两周完成了人类三年的科研量。 这个科学家，是一个名叫DeepScientist的AI系统，自己捣鼓出了5000多个科学想法，动手验证了其中1100个，最后在三个前沿AI任务上，把 … Continue reading 西湖大学打造了一个AI科学家，突破人类SOTA，还能自己发论文

凤凰网科技讯 9月29日，DeepSeek-V3.2-Exp模型发布，V3.2-Exp在V3.1-Terminus 的基础上引入了DeepSeek Sparse Attention（一种稀疏注意力机制 … Continue reading DeepSeek-V3.2-Exp发布 API成本将降低50%以上

编译 | 程茜 编辑 | 云鹏 智东西9月1日消息，苹果又公布了大模型研发新进展！ 8月28日，苹果在arXiv发布新论文，介绍新一代多模态基础模型MobileCLIP2及其背后的多模态强化训练机制， … Continue reading 苹果最新模型，5年前的iPhone能跑

IT之家 8 月 29 日消息，埃隆・马斯克旗下人工智能初创公司 xAI 于周四发布了一款全新“快速且经济”的智能代码生成模型，标志着该公司正式切入 AI 企业的核心聚焦领域。 智能代码生成工具是一种 … Continue reading xAI推出智能代码生成模型Grok Code Fast 1：快速又便宜，限时免费开放

今天凌晨，全球社交、科技巨头Meta开源了，最新视觉大模型DINOv3。 DINOv3的主要创新使用了自我监督学习，无需标注数据就能大幅度降低训练所需要的时间和算力资源。并且与前一代相比，DINOv3 … Continue reading Meta刚刚开源DINOv3，横扫60+任务，无标注封神

作者 | 李水青 编辑 | 云鹏 智东西8月11日报道，在世界机器人大会上，阿里达摩院宣布开源其自研的 VLA（视觉–语言–动作） 模型RynnVLA-001-7B、世界理解模 … Continue reading 阿里达摩院开源具身智能三件套！RCP协议首解机器人开发碎片化难题