`gr.Number` outputs in `gr.Examples` crash with `JSONDecodeError` when the cached value is negative
用户在 Gradio 应用中使用 `gr.Interface` 配合 `gr.Examples` 和 `cache_examples=True`，且输出为 `gr.Number` 类型时触发。当函数返回负数（如 `-0.5678` 或 `-42`），点击示例会出现崩溃。
标签： 人工智能
Pulpie：用于清理网络的Pareto最优模型
Feyn Labs 于 2025 年 6 月 25 日发布 Pulpie 模型系列，以 1/20 的成本实现了与现有最佳网页内容提取器相当的精度，其最小模型在参数量仅为对手 1/3 的情况下，处理速度提升 20 倍，每处理 10 亿页的成本从 15.9 万美元降至 7,900 美元。这意味着大规模高质量网页数…
马斯克再掷王炸：SpaceX申请发射 10 万颗卫星，要给AI铺一条”太空高速公路”
SpaceX已正式向美国联邦通信委员会（FCC）提交申请，计划发射并运营一个由10万颗卫星组成的第三代星链星座，目标不仅是覆盖偏远地区的互联网，更是要为AI时代打造全球通信基础设施。
英伟达推出统一音频智能模型 Nemotron-Labs-Audex-30B-A3B
英伟达研究团队正式发布了名为 Audex 的统一音频-文本大语言模型，旨在解决当前多模态模型中音频处理与文本逻辑能力难以兼得的问题。该模型基于 MoE 架构，在音频理解、生成等任务上表现优异，同时几乎无损地保留了原始大模型的推理与文本处理能力。
腾讯混元多模态团队再添强援，OpenAI 前研究员田永龙被曝加入
前 OpenAI 研究员田永龙被曝已加入腾讯，将主导混元大模型的多模态视觉语言模型（VLM）研发。这是继姚顺雨之后，又一位具备 OpenAI 核心研发背景的人才加入腾讯，反映出腾讯在大模型领域正在持续加大投入，特别是在多模态和视觉理解方向。
微软AI战略大调整：减负降本，Excel与Outlook率先“去依赖”
微软正在将旗下Excel和Outlook中的部分AI任务从OpenAI和Anthropic的模型切换至自研MAI模型，以降低高昂的第三方模型调用成本。这一调整表明微软在自研大模型上取得阶段性突破，并开始逐步构建更独立的AI技术矩阵。
强强联手：SpaceXAI 与 Cursor 联手打造 AI 模型，性能或直追 GPT-5.5
SpaceXAI 与代码编辑器 Cursor 正在进行深度技术合作，基于 SpaceXAI 的大规模算力中心从头训练一个全新 AI 模型，传闻其关键性能有望达到 OpenAI GPT-5.5 或 Anthropic Claude Opus 4.8 的水平，模型最快可能于今日（2026年7月8日）正式发布。
告别云端焦虑：本地优先的桌面 AI 助手 Rowboat 如何重塑你的工作台？
开源桌面 AI 助手 Rowboat 于近期发布，通过将全部数据存储在本地 Markdown 文件并支持本地模型运行，主打“长期上下文记忆”与深度工作流集成。它试图解决当前 AI 工具普遍存在的隐私顾虑与冷启动问题，为开发者和知识工作者提供一种数据自主权更高的新选择。
微软开始”甩掉”OpenAI和Anthropic：自研MAI模型悄然接手Excel和Outlook
微软正在将自研的MAI系列模型部署到Excel、Outlook等核心Office产品中，取代此前依赖的OpenAI和Anthropic模型。此举在降低成本的同时，也标志着微软在AI模型上的独立性取得实质性突破。
蚂蚁集团周俊：万亿参数模型从“追求数量”迈向“深耕密度”
蚂蚁集团副总裁周俊在 AICon 会议上指出，万亿参数大模型运行 15 分钟的算力成本已相当于一辆特斯拉，团队提出从“更多 Token”转向“更高 Token 密度”的策略，并通过混合线性注意力架构和 Kpop 算法，让十亿参数模型在 Agent 任务上超越更大模型，且推理成本降低十倍以上。