特斯拉 Semi 电动卡车准备进军欧洲市场
IT 之家 6 月 21 日消息，Electrek 发现，特斯拉任命乌素夫・谢尔莫担任“特斯拉 Semi 欧洲、中东和非洲地区业务发展主管”，并开始在欧洲招聘关键人才，从而将其 Semi 电动卡车推向欧洲市场。 特斯拉 Semi 电动卡车发布于 2017 年，最初计划 2019 年投产，但多次推迟计
0
IT 之家 6 月 21 日消息，Electrek 发现，特斯拉任命乌素夫・谢尔莫担任“特斯拉 Semi 欧洲、中东和非洲地区业务发展主管”，并开始在欧洲招聘关键人才，从而将其 Semi 电动卡车推向欧洲市场。 特斯拉 Semi 电动卡车发布于 2017 年，最初计划 2019 年投产，但多次推迟计
0
四维图新成立智行科技公司 经营范围含汽车零部件研发等
天眼查 App 显示，近日，北京四维智行科技有限公司成立，法定代表人为程鹏，注册资本 1000 万人民币，经营范围含汽车零部件研发、计算机软硬件及外围设备制造、通信设备制造、信息系统集成服务等。股东信息显示，该公司由四维图新全资持股。
0
关于警惕假冒知网工作人员、伪造知网公告行骗的声明
近期，知网接到举报，有不法分子以知网工作人员名义联系期刊作者，谎称“因业务整改，知网将对收录的部分文章下架，论文检索页将不再被认可”或“不交费将从知网撤稿”等以实施诈骗。 对此，知网严正声明如下： 一、知网官方从未以“撤稿”或“业务整改文献下架，检索页不被认可”等理由联系作者，也未向作者索取费用。
0
SFT在帮倒忙?新研究：直接进行强化学习，模型多模态推理上限更高
机器之心报道 编辑：张倩 「尽管经过 SFT 的模型可能看起来在进行推理，但它们的行为更接近于模式模仿 —— 一种缺乏泛化推理能力的伪推理形式。」 随着 OpenAI 的 o1/o3 和 Deepseek-R1 等具备强大推理能力的大语言模型相继问世，学界普遍采用「监督微调 + 强化学习」的两阶段训
0
给大模型装上「思维分段引擎」：浙大InftyThink解锁无限深度推理
ZJU REAL Lab 团队投稿 量子位 | 公众号 QbitAI 学会“适当暂停与总结”，大模型终于实现无限推理。 想象一下，让你一口气不歇地推演一个超复杂数学证明，大脑也会“内存溢出”吧？ 如今的大模型在长上下文推理中也面临同样的困境，随着推理长度增加而指数级增长的计算成本，以及由于长度受限而
0
Mistral 推出首个推理模型系列 Magistral
Mistral 宣布推出其首个推理模型系列 Magistral，采用 step-by-step 的方式，以提高数学和物理等主题的一致性和可靠性。 Magistral 有两种版本：Magistral Small 和 Magistral Medium。Magistral Small 拥有 240 亿个参
0
新一代 Meta AI 智能眼镜将在本周五发布
昨晚，美国运动眼镜品牌 Oakley 宣布，与 Meta 合作的新品将在 6 月 20 日发布。 据彭博社此前爆料，本次 Meta 与 Oakley 合作的产品代号为「Supernova 2」，基于 Oakley 的 Sphaera 眼镜型号，旨在开发一款方便运动员使用的智能眼镜。 据悉，「Supe
0
Meta新款智能眼镜专为运动打造，限量版开抢，售价499美元
6 月 21 日消息，据 theverge 报道，Meta 今日宣布将与奥克利（Oakley）联合推出新一代智能眼镜。这款限量版 Oakley Meta HSTN 定价 499 美元，将于 7 月 11 日开启预售。今年夏天，搭载 Meta 技术的其他奥克利款式也将陆续上市，起售价为 399 美元。
0
Scale AI站队Meta后，AI巨头们的“圈地运动”正在加速
6 月发生的两起事件引起了整个 AI 行业的注意。一边是 Meta 以 143 亿美元收购 Scale AI 49% 股份，并挖走其 CEO 亚历山大·王（Alexandr Wang）后，Google、OpenAI、xAI 等多家客户相继表示将减少或停止合作；另一边是 Anthropic 切断了被
0
Waymo大幅扩张加州无人驾驶版图！服务面积增加50%，迎战特斯拉
作者 ｜ 兆杰 编辑 ｜ 志豪 车东西 6 月 18 日消息，本周二，自动驾驶领域领军企业 Waymo 重磅宣布，再次大幅拓展其在洛杉矶、旧金山和硅谷的无人驾驶出租车服务版图，新增服务区域总面积超过 80 平方英里（约 207.2 平方公里）。 Waymo 公司目前在美国多个地区提供无人驾驶出租车服
0
形式化证明迈向多模态，MLLM正确率仅4%！港科大等推出全新基准
新智元报道 编辑：LRST MATP-BENCH 是一个新推出的多模态自动定理证明基准，旨在评估多模态大模型（MLLMs）在处理包含图像和文本的几何定理证明中的能力。实验表明，尽管模型在将图文信息转化为形式化定理方面有一定能力，但在构建完整证明时面临重大挑战，尤其是复杂逻辑推理和辅助线构造方面。 近
0
MiniMax卷向AI语音生成！一句话定制任意音色、情感，免费可用
智东西 作者 ZeR0 编辑漠影 智东西 6 月 21 日报道，今日凌晨，国内大模型“六小虎”之一、上海 AI 大模型独角兽 MiniMax 发布其 MiniMax Week 的“最终弹”——语音设计工具。该工具由 MiniMax 最新语音设计模型提供支持。 在 MiniMax Audio 界面，用
0
唯品会副总裁冯佳路涉嫌贪腐被抓，官方回应：对贪腐行为零容忍，公司业务运营一切正常
6 月 22 日上午消息，有媒体报道称，唯品会营销副总裁冯佳路因内部反腐被抓，涉及金额巨大。 针对此事，唯品会向新浪科技回应称，唯品会对贪腐行为零容忍。副总裁 Tony（冯佳路）因涉嫌个人经济问题正在配合公安机关调查，公司业务运营一切正常。 资料显示，冯佳路曾任职于宝洁旗下玉兰油大中华区品牌总监及国
0
网易要做首款3A游戏了，能复制《黑神话：悟空》的神话吗？
《黑神话：悟空》之后，又一家公司宣布 3A 单机游戏大作了，这次主角是网易。这也是该公司旗下第一款 3A 游戏，现在被圈内称为“村里又一个大学生”。 6 月 20 日，网易雷火旗下临安 24 工作室《归唐》公布首支预告片，明确表明这将是一款登陆 PC、主机平台的普通买断制游戏。20 日晚间这一预告片
0
甘薇：6月底去美国看贾跃亭，离婚后仍定期带孩子拜访其父母
6 月 20 日，甘薇在直播时表示，虽然和贾跃亭离婚了，但现在还是经常会带孩子去看望贾跃亭父母。同时，她还称，“（6 月底）孩子放暑假后，会带孩子去美国看贾总。到时候帮大家要一下签名照和签名衬衫。” 此前，甘薇在社交平台宣布与贾跃亭离婚，并表示不是假离婚，也不是为了资产转移，贾跃亭也没有给 40 亿
0
98%医生点赞的AI队友，斯坦福实验揭秘：诊断准确率飙升10%！
新智元报道 编辑：英智 【新智元导读】AI 从医疗工具变身为协作队友，斯坦福大学研究揭示：医生诊断准确率竟飙升 10%！70 名美国执业医生参与的真实测试，AI-first、AI-second 与传统诊断，谁能更精准破解临床谜题？ 你敢让 AI 帮你看病吗？ 斯坦福大学的一群医生和工程师，最近做了一
0
YouTube 和 Spotify 出现假专辑和 AI 生成音乐
YouTube 和 Spotify 开始涌现 AI 生成的假音乐。法国国际作家和作曲家协会的一项研究估计，到 2028 年 AI 生成音乐的收入将增至 40 亿美元，占流媒体平台总收入的 20%。消费者面临的问题是，他们难以区分哪些音乐是人工哪些是 AI 生成。在最大的音乐流媒体平台 Spotify
0
博通第二季度AI收入超44亿美元，预计AI芯片销售增长将持续至明年
当地时间 6 月 5 日，半导体厂商博通（Nasdaq：AVGO）发布截至 2025 年 5 月 4 日的 2025 财年第二季度财报。财报显示，该季度博通营收 150.04 亿美元，同比增长 20%，超过此前的业绩指引 149 亿美元，也略高于市场预期的 149.7 亿美元；（GAAP）净利润 4
> 返回新闻首页
