标签： 证明

用腾讯会议打王者，谁看到不会说一句「离谱」。 以前在群里看到在线会议那串链接，条件反射就是工作和学习。我脑子里都是上课、开会、面试还有永无止境的「收到请扣 1」。 但最近我发现，这软件的风评正在发生一 … 继续阅读 笑拥了，现在打王者都在用腾讯会议，AI 这波操作是在大气层

阿维塔近期为旗下车型阿维塔12耐寒测试策划了一场“南极之旅”，其宣传图文中的“-50度”“极寒”“全球首辆”等字眼在网上引起热议。这些极具冲击力的营销话术，在吸引舆论关注的同时，也让读者发现其中存在明 … 继续阅读 经纬快评：汽车测试宣传不能满是营销味

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

IT之家 12 月 24 日消息，科技媒体 Appleinsider 昨日（12 月 23 日）发布博文，报道称苹果近期深度重组其 AI 团队，但这并非外界传言的“崩盘”，而是为 2026 年战略重启 … 继续阅读 iPhone用户请期待：2026年新版Siri将支持复杂应用意图

当地时间12月22日，太空探索技术公司（SpaceX）首席执行官兼首席技术官埃隆·马斯克宣布，其旗下的卫星互联网服务“星链”（Starlink）全球活跃用户数量已突破900万。 星链 根 … 继续阅读 覆盖155个市场 马斯克宣布星链活跃用户突破900万

在AI算力狂飙的当下，天数智芯带着持续亏损的财报冲刺IPO，是抢占先机的明智之举，还是资金重压下的无奈选择？这场资本接力赛，天数智芯能赢吗？ 12月19日，港交所传来重磅消息：上海天数智芯半导体股份有 … 继续阅读 三年半亏28.72亿的天数智芯，争抢港股GPU第一股

克雷西 杰西卡 发自 凹非寺 量子位 | 公众号 QbitAI 这这这……这招股书一披露，不是里里外外都在讲OpenAI和美国大模型巨兽们的泡沫之大吗？ 刚刚，上海大模型独角兽MiniMax，正式通过 … 继续阅读 火线解析MiniMax招股书！全球领先大模型成本只有OpenAI 1%，果然拳怕少壮

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

IT之家 12 月 21 日消息，SpaceX 官方今天在 X 平台发表声明，回应华尔街日报关于“星舰飞船 1 月爆炸事件危及航班安全”的报道。 IT之家附 SpaceX 官方声明如下： 这是《华尔街 … 继续阅读 SpaceX怒斥“星舰飞船1月爆炸事件危及航班安全”报道：误导公众

新智元报道 编辑：元宇 【新智元导读】近日，在与数学家Hannah Fry的对话中，DeepMind CEO Demis Hassabis回顾了AI在过去一年的飞跃式进展，他谈到了「参差智能」、持续学 … 继续阅读 诺奖得主Hassabis：5-10年AGI将至，冲击力将是工业革命10倍！