「科学进展」共找到 585 篇相关文章
创始人跑路一年后，员工接盘把这家AI公司干到年入破亿！如今想含泪甩卖：真的“难以承受”
曾红极一时的AI聊天机器人公司Character.AI，在创始人跑路一年后，员工接管并聘请新CEO，业务有进展，预计年底年化收入达5000万美元，但运营成本高，还面临融资、竞争、监管等问题，正权衡出售或融资。
隐形束缚：RLVR为何无法突破LLM的推理边界？
大型推理模型进展依赖带可验证奖励的强化学习（RLVR），但它能否扩展模型推理能力存疑。本文通过理论证明与实验，揭示RLVR存在“隐形束缚”，只能在基座模型初始能力内优化，难以发现新解。
对谈 DeepSeek-Prover 核心作者辛华剑：Multi Agent 天然适合形式化数学 ｜Best Minds
文章是对 DeepSeek-Prover 核心作者辛华剑的访谈。他认为强化学习是 AGI 关键解法，Multi Agent 适合形式化数学。还探讨了 DeepSeek Prover 进展、数学与 AGI 关系、评测基准等，指出未来有全才模型和自主 Agent 出现。
深度学习中Batch Size对训练过程如何影响？
文章分析深度学习中batch size对训练过程的影响，探讨超大batch优缺点及应对方法。用面试、通俗、科学三种方式解答问题，还通过MNIST实验，从迭代速度、梯度平滑程度、收敛速度等指标对比不同batch size情况。
开源·开放·开创，2025张江具身智能开发者大会暨国际人形机器人技能大赛即将启幕
5月29日，2025张江具身智能开发者大会暨国际人形机器人技能大赛将在张江科学会堂启幕，集“峰会+大赛+展览”于一体。现场将发布政策、成立联盟、启动平台与基金，推动产业发展。大赛设五大赛道，展示创新活力。
揭秘台积电未来战略核心——晶圆级系统集成
上周台积电研讨会公布2026 - 2028年技术路线图，其晶圆级系统集成技术SoW有新进展。半导体正从单一制程向系统级整合转型，台积电以制程与封装双轨驱动定义规则，还面临高成本等挑战。
一文彻底看懂AI-RAN
文章介绍AI - RAN，即人工智能无线接入网，英伟达力推将GPU用于基站。AI - RAN有开拓市场、提升基站性能等作用。产业进展方面，英伟达联合多方推动，通信行业形成加入和自主探索阵营，其发展还面临诸多挑战。
百度文库网盘，押注工作流里的超级智能｜甲子光年
4月27日百度文库网盘在AI DAY发布通用智能体GenFlow4.0，展示融合OpenClaw新进展。它让AI介入办公软件，引入Agent参与团队协作，从单兵作战到全向协同，解决办公中间工作，靠数据、系统和用户验证构建系统工程。
马斯克冲刺机器人量产，果断停产特斯拉豪华车型！2026年资本支出将“非常大”
在最新财报电话会议上，马斯克宣布特斯拉2026年第二季度停产豪华车型Model S和Model X，为擎天柱机器人让出生产线，还将投资20亿美元给xAI，今年资本支出或超200亿美元。此外，Neuralink也有新进展。
奥特曼纳德拉同台回应一切：合作细节、OpenAI未来路线曝光
OpenAI完成“股改”，奥特曼和微软纳德拉露面回应诸多外界关注话题，包括OpenAI新组织结构影响、微软与OpenAI后续合作、AI未来等，还谈及营收、算力投资、上市计划等细节。