搜索：两轮车智能化

「两轮车智能化」共找到 808 篇相关文章

模仿人类推理修正过程，阶跃星辰提出形式化证明新范式 | 开源

阶跃星辰发布并开源形式化定理证明大模型 StepFun-Prover-Preview-7B 和 32B。采用两阶段监督微调、工具集成强化学习及 RL 与 SFT 迭代循环优化等策略，在基准测试集表现佳，还展示多个证明案例。

第七届北京智源大会亮点多，有四位图灵奖得主。议题紧跟前沿，设20个论坛和180余场报告。现场展示多个机器人应用。智源发布“悟界”系列大模型，还聚焦开源，升级FlagOS系统。两位图灵奖得主对AI安全看法不一。

信息检索能力对提升大语言模型推理表现至关重要，但现有方法在训练中面临文档质量不可控和搜索 API 成本高昂两大挑战。为此，通义实验室和北大提出 ZeroSearch 框架，无需真实搜索即可激活 LLM 检索能力，显著降低成本。

上交所披露海光信息拟换股吸收合并中科曙光并募资，两家公司A股自5月26日开市起停牌，预计不超10个交易日。海光聚焦芯片研发，中科曙光深耕服务器领域，重组方案待明确，实施有不确定性。

Anthropic和Databrick以「人工智能的未来：面向各领域的专用Agent」为主题举办线上峰会，两家公司CEO Dario Amodei和Ali Ghodsi对谈，分享Agent未来、相关合作等话题，还探讨数据价值、治理风险及AI应用迭代等问题。

每年的 Advancing AI 大会，AMD 都要回答 Instinct GPU 除训练大模型外的应用问题。今年大会上，AMD 把一个位置留给 AI 制药公司 MindWalk。而其对手英伟达已在生命科学领域布局多年，生命科学成两家竞争新战场。

当下具身智能赛道两大流派各有短板，银河通用推出跨本体「隐式世界 - 动作基础模型」LDA - 1B，走自研WAM路线，成果已开源。它打破数据割裂难题，解锁具身智能「GPT - 2时刻」，在多方面展现优势。

韩媒报道三星电子成功制造全球首款“次10纳米”DRAM工程裸片。其突破源于“4F²单元结构”与垂直沟道晶体管（VCT）两项核心技术协同，还革新材料。三星规划10a DRAM 2028年量产，后续迈向3D DRAM。

黄仁勋与Lex Fridman进行两小时访谈，从Amdahl定律聊到人类意识。谈及NVIDIA发展，如CUDA决策致市值下跌后回升；提出AI扩展定律，认为智能由算力决定；还分享管理、技术预判等看法及对中国创新的评价。

今天凌晨，计划今年 IPO 的 SpaceX 收购 xAI，全股票交易，新公司估值 1.25 万亿美元。马斯克阐明“太空 AI 算力”路线，认为未来两到三年，AI 计算成本最低的地方会在太空，但面临诸多问题。此次合并或是为 IPO 铺路。