Grok4即将发布:马斯克确认周三晚 X 平台直播

埃隆·马斯克今日宣布，xAI 的新一代大模型 Grok4 将于太平洋时间本周三晚8点发布，即北京时间周四上午11点。届时，发布会将在 X 平台进行直播。

马斯克在上周五曾透露，xAI 对 Grok 进行了“显著”改进。此次 Grok4的发布，预计将进一步展示 xAI 在人工智能领域的最新进展。

4000万考生和家长用AI报志愿，夸克刷新高考服务纪录

2025年高考志愿填报服务收官，夸克平台数据显示其AI服务创下多项纪录：累计服务超4000万用户，生成1200万份志愿报告，解答3.3亿个问题。今年推出的三大核心功能依托自研高考大模型，实现从咨询到决策的全流程智能化辅助。值得注意的是，考生提问呈现深度个性化趋势，复杂问题占比翻倍。平台还通过"暖芒计划"将AI服务延伸至乡村地区，五年累计服务用户达1.6亿，展现了AI技术在教育公平领域的应用价值。

阿里HumanOmniV2震撼发布：多模态AI新王者，准确率飙升至69.33%

阿里巴巴推出多模态大模型HumanOmniV2，具备全局上下文理解和多模态推理能力。该模型通过强制性上下文总结机制解决传统模型的"捷径问题"，在Daily-Omni、WorldSense等测试中表现优异。由Tongyi Lab研发，支持多语言输入，适用于智能客服、内容创作等场景。阿里近期密集发布AI产品，与华为、百度等企业展开竞争，HumanOmniV2的开源策略或将推动行业标准革新。

循环模型新突破：500 步训练让超长序列不再难！

研究发现线性循环模型(如Mamba)在长序列处理上展现出超越Transformer的潜力。传统Transformer受限于固定窗口和计算复杂度，而循环模型能灵活处理长序列。卡内基梅隆大学团队提出"未探索状态假说"，指出循环模型仅接触有限状态分布导致泛化能力不足。通过500步简单训练干预(随机噪声、状态传递等方法)，循环模型可处理256k长序列，保持状态稳定性。这些创新方法为循环模型发展开辟新方向，证明其潜力未被充分挖掘。

三星预计第二季度利润将减半，面临 AI 需求挑战

三星电子预计第二季度运营利润将暴跌56%至4.6万亿韩元，远低于市场预期。作为全球最大内存芯片制造商，三星面临多重挑战：库存调整、美国对华AI芯片限制影响利润，高带宽内存业务落后于SK海力士等竞争对手。虽然股价年初至今上涨16%，但芯片代工业务订单疲软，且尚未通过英伟达HBM芯片认证，近期增长受限。公司将于月底公布详细财报。

钉钉AI表格重磅来袭:1小时处理1000个任务，零门槛搞定数据分析

钉钉推出革命性AI表格产品，实现企业办公智能化升级。核心功能包括：1）智能字段处理，内置80+模板自动提取多模态内容；2）零门槛数据分析，自然语言输入即可生成专业图表；3）自动化流程创建，实现全天候智能协作。创新性"表格即文档"功能将每行记录变为独立文档，支持多媒体嵌入和自由排版，完美融合结构化与非结构化数据。该产品现已免费开放基础功能，助力企业实现"一张表管理公司"的愿景。