夜幕降临，站在阳台仰望满天繁星，你是否曾有过一种微妙的感受：宇宙之广阔，仿佛能吞噬一切思绪，让人不禁陷入沉思。最近，天文学家们围绕一个看似微小实则重大的问题展开了激烈的讨论——宇宙膨胀的速度，即哈勃常数，竟然出现了不同的测量结果。

这次发布赶在了最近全球大模型集中发布的风口浪尖，前有 xAI 的 Grok 4，下周可能还有谷歌新 Gemini 和 OpenAI 开源模型，看起来大模型来到了一个新的技术节点。或许是感受到了 Kimi K2 ...

快科技7月20日消息，据媒体报道，上海人工智能实验室（上海AI实验室）发布DeepLink超大规模跨域混训技术方案，并已完成多个项目落地，支持千公里多智算中心跨域长稳混训千亿参数大模型。

7月19日，上海人工智能实验室发布了一项具有里程碑意义的成果——DeepLink超大规模跨域混训技术方案。该方案成功应用于中国联通网络，将相隔1500公里的两个异构智算中心“拼成”一个“超级节点”，并完成了千亿参数的AI大模型训练。此举在全球首次实现 ...

反过来看，大语言模型是用大量自然语言训练出来的，虽然直接生成机器可验证的形式化证明的能力并不是太强，但在“非正式推理”这块反倒表现不错。同时自然语言符合人类的思考模式，门槛低，易处理。因此，探索大语言模型在自然语言环境下进行不等式证明的能力，是一个既 ...

海外大模型、AI产品对中国大陆断供的事件，已经并不新鲜。去年6月，OpenAI便曾向中国大陆的企业开发者们发送警告信，称将采取额外措施，禁止来自中国大陆的API调用。Cursor之前在中国大陆的使用也已经部分受限，并且不断收紧。

图片来源：CursorCursor 已限制中国大陆用户访问其代码助手软件中部分美国大模型服务，包括 Claude-4-Sonnet 和 Gemini-2.5-Pro。多位用户本周在通过 Cursor ...

扩散模型通过一系列逐步去噪操作，将随机噪声逐渐还原为图像或视频。在视频生成中，这通常意味着一次性生成固定长度的视频片段，这有助于保持时间一致性，但会带来延迟。一些系统尝试通过所谓的 “自回归生成” ...

近年来，人工智能技术发展迅猛，在医疗领域，大模型的应用为提高医疗服务效率、优化医疗资源配置、方便用户就医问诊带来了巨大机遇。然而当 AI 走进诊室、药房和家庭健康管理时，其安全性、严谨性和伦理合规性面临远超其他行业的挑战：AI ...

为深入AI核心命题，今年WAIC重磅提出“AI三问”——直击数学、科学和模型方向亟待探讨与思辨的前沿话题。数学之问以公理公式推演规律，建认知框架；科学之问扎根实证，探自然本质；模型之问融合二者，化抽象为实用。

文章认为， Kimi K2是 继1月DeepSeek推出R1震惊世界之后， 六个月内中国推出的第二款令人瞩目的模型 ， 这表明这并非偶然之举。 Hugging Face的数据显示，Kimi ...

2025 年 7 月 17 日上午，字节跳动豆包大模型视觉多模态生成方向负责人杨建朝在公司内部宣布 “暂时休息”，相关工作已完成交接。 目前，仍能在字节内部系统中查到杨建朝的信息。 据消息人士透露，杨建朝的工作将由周畅（花名 “时光”）接手。 周畅目前所在架构为 “多模态交互与世界模型”部门，向吴永辉汇报。