AIGC宇宙 AIGC宇宙

大模型

Copilot上大分，仅数天，陶哲轩的估计验证工具卷到2.0！刚刚又发数学形式化证明视频

Copilot上大分，仅数天，陶哲轩的估计验证工具卷到2.0！刚刚又发数学形式化证明视频
本周二，我们报道了菲尔兹奖得主陶哲轩的一个开源项目 —— 在大模型的协助下编写了一个概念验证软件工具，来验证涉及任意正参数的给定估计是否成立（在常数因子范围内）。 在项目中，他开发了一个用于自动（或半自动）证明分析中估计值的框架。 估计值是 X≲Y（在渐近记法中表示 X=O (Y)）或 X≪Y（在渐近符号中表示 X=o (Y)）形式的不等式。
5/12/2025 9:05:00 AM
曝国行版iOS18.6启用部分苹果AI 百度阿里提供技术支持

曝国行版iOS18.6启用部分苹果AI 百度阿里提供技术支持
近日，苹果记者Mark Gurman爆料称，国行版苹果iOS18.6即将启用部分Apple Intelligence功能，而这一功能的实现将由百度和阿里共同提供技术支持。 据了解，在此次合作中，阿里负责开发审查引擎。 与此同时，百度将自身AI技术与苹果的Siri和Visual Intelligence进行深度整合。
5/11/2025 10:00:42 AM
AI在线
12GB 显存可实现 128K 上下文 5 并发会话，IBM 预览 Granite 4.0 Tiny 模型

12GB 显存可实现 128K 上下文 5 并发会话，IBM 预览 Granite 4.0 Tiny 模型
该模型采用混合 Mamba-2 / Transformer 架构，现有版本总参数规模为 7B、活动参数为 1B，可在消费级硬件上实现可用的体验。
5/10/2025 11:46:11 AM
溯波（实习）
谷歌 Gemini 2.5 API 推“隐式缓存”，开发者成本最高降低 75%

谷歌 Gemini 2.5 API 推“隐式缓存”，开发者成本最高降低 75%
谷歌为其 Gemini 2.5 API，推出了“隐式缓存”（Implicit Caching）功能，自动识别并重用 API 请求中的常见前缀，开发者的成本最高可以降低 75%。
5/10/2025 11:14:22 AM
故渊
Gemini API推出隐式缓存功能，开发者成本降低75%

Gemini API推出隐式缓存功能，开发者成本降低75%
Gemini API推出隐式缓存（Implicit Caching）功能，为开发者带来显著的成本优化体验。 新功能无需开发者手动创建缓存，当请求与先前请求共享共同前缀时，系统将自动触发缓存命中，提供高达75%的Token折扣。 此更新已覆盖Gemini2.5Pro和2.5Flash模型，进一步提升了AI开发的成本效益。
5/9/2025 4:00:51 PM
AI在线
商汤科技迈向多模态大模型的新纪元

商汤科技迈向多模态大模型的新纪元
在过去的两年里，人工智能领域的关注点逐渐转向了大模型的技术发展，而商汤科技作为一家成立不到十年的公司，凭借其在计算机视觉领域的技术积累，正迅速转型，迎接这一浪潮。 尽管在2023年之前，商汤主要聚焦于视觉模型，但随着 DeepSeek R1的发布，市场的重心开始向自然语言处理和大规模参数模型倾斜，商汤的策略也随之调整。 商汤于4月10日推出的全新6000亿参数多模态大模型 “日日新 Sense Nova V6”，展现了强大的综合能力，与国际领先的 GPT-4.5和 Gemini2.0Pro 不相上下。
5/9/2025 4:00:51 PM
AI在线
智能音箱迎来AI时代 新技术渗透率超20%

智能音箱迎来AI时代 新技术渗透率超20%
在技术迅速发展的今天，智能音箱的 “智商” 也在不断提升。 近日，快科技报道称，凭借 AI 大模型的加持，智能音箱在智能化领域实现了质的飞跃。 根据洛图科技（RUNTO）的数据显示，2025年第一季度，中国智能音箱市场的销量达到了369.9万台，尽管同比下降了5.6%，但整体行业的技术升级势头依然强劲。
5/9/2025 10:01:41 AM
AI在线
阿里巴巴开源 ZeroSearch 搜索引擎：训练成本大幅降低 80%

阿里巴巴开源 ZeroSearch 搜索引擎：训练成本大幅降低 80%
近日，阿里巴巴推出了一款名为 ZeroSearch 的开源创新大模型搜索引擎，这一新工具通过强化学习框架，极大地提高了搜索能力，并且在训练过程中不需要与真实搜索引擎互动。 ZeroSearch 的核心优势在于它能够利用大型预训练模型的知识，快速生成相关内容，并且可以动态控制生成内容的质量。 与传统的搜索引擎相比，ZeroSearch 的训练成本显著降低。
5/9/2025 9:00:59 AM
AI在线
阿里开源大模型搜索引擎 ZeroSearch,大幅降低成本

阿里开源大模型搜索引擎 ZeroSearch,大幅降低成本
近日，阿里巴巴在 Github 等平台正式开源了其全新研发的大模型搜索引擎 ZeroSearch。 这款搜索引擎以强化学习框架为基础，能够在无需与真实搜索引擎交互的情况下，激发大模型的搜索能力。 ZeroSearch 的核心技术是利用大模型在大规模预训练过程中积累的丰富知识，将其转化为一个高效的检索模块。
5/9/2025 9:00:59 AM
AI在线
谷歌推出iPad专属Gemini应用，赋能多任务处理新体验

谷歌推出iPad专属Gemini应用，赋能多任务处理新体验
近日，谷歌正式发布了一款专为iPadOS设计的全新应用 ——Gemini。 这款应用的推出旨在提升用户在多任务处理和创作方面的效率，充分利用了 iPad 的大屏幕优势。 Gemini 支持分屏功能，让用户能够在同一界面上同时进行多个任务，极大地方便了用户的日常使用。
5/8/2025 6:00:57 PM
AI在线
商汤万象平台稳居国内AI大模型市场第二，未来前景光明

商汤万象平台稳居国内AI大模型市场第二，未来前景光明
近日，国际数据公司（IDC）发布的最新报告《中国模型即服务 (MaaS) 及 AI 大模型解决方案市场追踪(2024H2)》显示，商汤科技旗下的万象平台在国内 AI 大模型解决方案市场中表现抢眼，凭借13% 的市场份额稳居第二，继续引领行业的第一梯队。 这一成就不仅展示了商汤在 AI 领域的实力，更凸显了整个行业的发展潜力。 报告指出，2024年中国的 AI 大模型解决方案市场正在迎来爆发式增长，全年市场规模预计将达到34.9亿元人民币，较去年同比增长高达126.4%。
5/8/2025 4:00:46 PM
AI在线
谷歌发布专为 iPad 设计的 Gemini 应用，提升多任务处理体验

谷歌发布专为 iPad 设计的 Gemini 应用，提升多任务处理体验
谷歌正式推出了专为 iPadOS 系统设计的 Gemini 应用。 此前，用户只能通过兼容模式在 iPad 上使用 iOS 版本的 Gemini，使用体验相对有限。 而新的 iPad 专属应用将大大提升用户的使用体验。
5/8/2025 12:01:06 PM
AI在线
Mistral 发布 Medium 3 大模型：前沿级性能与低成本兼具，提供多种企业功能

Mistral 发布 Medium 3 大模型：前沿级性能与低成本兼具，提供多种企业功能
该模型在各项基准测试中的表现都达到或超过了 Anthropic Claude Sonnet 3.7 的 90%，成本则为每百万 Token 输出 0.4 美元、每百万 Token 输出 2 美元。
5/8/2025 11:07:40 AM
溯波（实习）
北大、清华联合发布！大模型逻辑推理能力新突破

北大、清华联合发布！大模型逻辑推理能力新突破
在当前人工智能领域，大语言模型（LLMs）取得了显著成就，但其逻辑推理能力依然显得不足。 为了提升这一能力，来自北京大学、清华大学、阿姆斯特丹大学、卡内基梅隆大学以及阿布扎比的 MBZUAI 等五所高校的研究人员，联合发布了《Empowering LLMs with Logical Reasoning: A Comprehensive Survey》综述论文，聚焦于逻辑推理的两大关键问题:逻辑问答和逻辑一致性。 研究表明，大语言模型在处理复杂逻辑推理时存在明显的短板。
5/8/2025 10:00:54 AM
AI在线
三星One UI Watch 8迎来谷歌Gemini AI，跨应用操作更加智能便捷

三星One UI Watch 8迎来谷歌Gemini AI，跨应用操作更加智能便捷
近日，三星宣布将在其最新的 One UI Watch8系统中集成谷歌的 Gemini AI 助手，这一功能的引入将为用户带来更为流畅和高效的操作体验。 根据科技媒体 Android Authority 的报道，通过对 One UI Watch8的 APK 文件进行逆向编译，发现 Gemini AI 将不仅仅是取代原有的 Google Assistant，还将提供一系列增强的 AI 功能，尤其是在健康和健身领域，期待能为用户提供更多帮助。 Gemini AI 的核心新特性是 “Gemini Actions” 功能。
5/8/2025 9:00:45 AM
AI在线
低价大模型 DeepSeek 实用指南

低价大模型 DeepSeek 实用指南
火爆全网的国产大模型 DeepSeek，其 API 价格仅为同类模型的几十分之一。 图片DeepSeek 网页端与 API 应用场景DeepSeek 网页端界面简洁直观，但 API 使用需要一定技巧。 本文将从对话、知识库、AI 翻译、AI 编程及 Python 调用等多个场景，分篇评测 DeepSeek API 的实际应用。
5/8/2025 8:10:25 AM
红绿灯灯灯灯
用AI把一段视频变成可视化网页，Google的新模型又卷飞了！

用AI把一段视频变成可视化网页，Google的新模型又卷飞了！
Google 也不知道受了什么刺激，最近在 AI 场上，好像越来越有站起来的意思了。 之前我就写过 Gemini 2.5 pro，是在聊天记录可视化的文章里。 被低估的谷歌？
5/8/2025 1:13:04 AM
数字生命卡兹克
Google 高管证实：数据 “偏袒” 自家 AI，拒绝竞品获取搜索数据

Google 高管证实：数据 “偏袒” 自家 AI，拒绝竞品获取搜索数据
在一场备受关注的法庭听证会上，Google 搜索业务负责人利兹・里德（Liz Reed）向外界揭示了公司对待人工智能(AI)模型数据请求的态度。 她明确表示，尽管 Google 去年已开始向部分 AI 公司开放利用其搜索结果的渠道，但关键的搜索数据仍然优先供给自家的 AI 服务 Gemini，这一证词为反垄断监管机构的调查提供了重要支持。 近年来，美国司法部对 Google 的反垄断调查持续升温，要求该公司共享用于构建搜索结果的大量数据。
5/7/2025 2:00:54 PM
AI在线