DeepSeek-Prover-V2 登场:AI 数学推理新王者,88.9% 通过率设新标杆 180 0 IT之家 5 月 1 日消息,深度求索(DeepSeek)昨日(4 月 30 日)在 AI 开源社区 Hugging Face 上,发布名为 DeepSeek-Prover-V2-671B 的新模型,随后在 GitHub 等平台上公布了论文信息。IT之家援引论文介绍,DeepSeek-Prover-V2 是一款专注于形式化数学推理的开源大型语言模型,基于 DeepSeek-V3-0324,通过递
AI产品 智能搜索 深度学习 技术趋势 AI日报:夸克发布“深度搜索”新品;Anthropic推Claude网络搜API;DeepSeek致谢腾讯技术团队;微软采用谷歌的A2A标准 180 0 欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南,每天我们为你呈现AI领域的热点内容,聚焦开发者,助你洞悉技术趋势、了解创新AI产品应用。新鲜AI产品点击了解:https://top.aibase.com/1、夸克发布“深度搜索”新品:AI先思考后检索,解决复杂问题更聪明夸克最近推出了全新的“深度搜索”产品,标志着其在智能搜索领域的重大进展。该产品依托阿里自研推理大模型,通过对用户
AI总结打击网页点击:谷歌搜索“基本盘”被撼动,股价暴跌7% 180 0 谷歌股价在周三美股交易中放量下跌7%,背后原因直指其长期稳固的搜索业务正遭遇颠覆性冲击。据彭博社报道,苹果高级副总裁埃迪·库在美国反垄断审判中透露,苹果正在“积极考虑”将AI搜索整合至Safari浏览器,明确评估的对象包括OpenAI、Anthropic和Perplexity AI,唯独未提谷歌。库还指出,Safari搜索量在上个月出现历史性下滑,背后正是AI搜索工具逐步改变用户行为习惯。尽管苹果
谷歌ai眼镜 warbyparker 谷歌公司 谷歌i/o大会 谷歌投资1.5亿美元,携手Warby Parker开发AI眼镜 180 0 站长之家(ChinaZ.com) 5月21日 消息:谷歌在 Google I/O 2025 大会上宣布,将承诺向消费眼镜品牌 Warby Parker 投资最多 1.5 亿美元,以共同开发基于 Android XR 的 AI 智能眼镜。根据两家公司发布的新闻稿显示,谷歌已承诺出资 7500 万美元,用于 Warby Parker 的产品开发与商业化相关成本。若 Warby Parker 达成特
ChatGPT“生成吉卜力风格 AI 图”海外潮流引发版权争议,CEO 奥尔特曼回应将施以限制 180 0 IT之家 3 月 30 日消息,OpenAI 于 3 月 25 日将 ChatGPT 的文生图功能升级为 GPT-4o 模型,号称能够更精准地根据用户文字指令生成图片,还能迅速把用户上传的图像转换成漫画、动画等风格。相应功能引发海外社交媒体“AI 生成吉卜力工作室风格图片”潮流,许多人试图将自己的自拍转为相应风格,就连 OpenAI CEO 奥尔特曼也一度将自己的 X 平台头像改为“吉卜力版本”
人工智能 语音识别 开源软件 开发者工具 AI日报:苹果AI国行版或随iOS 18.6月底上线;Suno v4.5正式上线;Runway发布图像一致性参考功能 180 0 欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南,每天我们为你呈现AI领域的热点内容,聚焦开发者,助你洞悉技术趋势、了解创新AI产品应用。新鲜AI产品点击了解:https://top.aibase.com/1、英伟达全新开源自动语音识别模型 Parakeet-TDT-0.6B-V2,语音转录能力再提升英伟达推出的Parakeet-TDT-0.6B-V2模型在自动语音识别领域取得了显
OpenAI GPU资源 Sam Altman 1小时暴涨100万用户!GPT-4o新功能彻底杀疯了,免费使用 179 0 今天凌晨,OpenAI联合创始人兼首席执行官Sam Altman发布在线急购GPU的消息:如果有人能提供10万单位的GPU资源并能尽快交付,请马上联系我们!同时正在逐步控制局面。但大家应该预料到,由于我们在应对算力方面的挑战,OpenAI的新发布内容将会延迟,可能会出现一些问题,并且服务有时也会变得很慢。仅一个文生图功能,就让GPT-4o这个发布了将近一年的老模型焕发第二春,迎来井喷式用户增长
# AI工具 # AI项目和框架 Amazon Nova Premier – 亚马逊推出的多模态AI模型 179 0 Amazon Nova Premier是什么Amazon Nova Premier 是亚马逊推出功能最强大的多模态 AI 模型,能处理文本、图像和视频输入(不包括音频),擅长处理需要深度理解上下文、多步骤规划以及跨多工具和数据源精确执行的复杂任务。支持高达100万token的上下文长度,可处理超长文档或大型代码库。 Nova Premier 可作为教师模型,通过 Amazon Bedrock
消息称 AI 大牛贾扬清已入职英伟达 179 0 IT之家 4 月 8 日消息,据 The Information 今日援引知情人士消息,英伟达已经完成了对 AI 大牛、阿里前副总裁贾扬清创企 Lepton AI 的收购,这笔交易价值数亿美元。知情人士透露,Lepton 大约有 20 名员工,Lepton 的联合创始人贾扬清和白俊杰都已加入英伟达。公开资料显示,Lepton AI 成立于两年前,并于 2023 年 5 月从 CRV 和 Fusi
Netflix全新主页上线,携手OpenAI引入智能搜索功能 179 0 在近期的新闻发布会上,奈飞宣布推出了一项全面更新的主页设计,旨在为用户提供更便捷的电视剧和电影搜索体验。此次改版不仅限于电视屏幕,奈飞还加入了竖版视频流功能,特别适合在移动设备上观看和分享。这一变化体现了奈飞对用户体验的重视,并希望通过这样的改动吸引更多用户。新主页的亮点在于其用户友好的界面,用户能够更轻松地找到自己感兴趣的内容。奈飞表示,新增加的功能,包括更加显眼的内容查找快捷方式,将能够实时响
AIGX 天猫618 阿里妈妈 异常秒退订单返款政策 阿里妈妈:天猫618期间将投入三大AI红利 179 0 在日前召开的 “质赢618・增长策略发布会” 上,阿里妈妈宣布了一系列新举措,以推动天猫618购物节的成功。此次活动将利用三大 AI 红利,并结合30亿红包等多重激励,旨在全面提升品牌的市场表现,并贯彻 “扶优扶新” 的平台战略。阿里妈妈表示,将通过其先进的 AIGX 能力,全面提高营销效率,助力商家在全域范围内提升品牌影响力。此外,阿里妈妈还将推出 “种‘搜’一体” 的策略,以帮助商家在产品推广
“老当益壮”:AI 模型成功在 43 年前的 Commodore 64 电脑上运行 179 0 IT之家 5 月 4 日消息,在人工智能领域,各大阵营都在竞相让自己的大语言模型(LLM)能够在尽可能弱、尽可能便宜的硬件上运行。硬件性能越弱,运行大语言模型所需的功耗就越低。然而,有没有想过让一个 AI 模型在 1982 年推出的硬件上运行呢?这正是 Maciej Witkowiak 在其新项目“Llama2.c64”中所尝试的,据IT之家了解,该项目的目标是让一个简单的 AI 在 Commo
成本降低88%:阿里巴巴ZeroSearch技术颠覆AI训练模式 179 0 阿里巴巴集团研究人员近日推出一项名为"ZeroSearch"的突破性技术,彻底改变了训练人工智能系统搜索信息的方式。这项创新技术通过模拟方法让大型语言模型(LLM)开发高级搜索功能,无需在训练过程中与真实搜索引擎交互,从而消除了对昂贵商业搜索引擎API的依赖。解决成本与复杂性难题ZeroSearch解决了AI行业面临的两大关键挑战:搜索引擎返回文档质量的不可预测性,以及向谷歌等商业搜索引擎进行数十
努比亚平板Pro 努比亚科技 平板发布会 Z70S 努比亚平板Pro官宣4月28日发布 强芯真AI 179 0 站长之家(ChinaZ.com) 4月22日 消息:近日,努比亚科技正式对外公布旗下首款平板产品——努比亚平板Pro的外观设计细节,并宣布该新品将于 4 月 28 日下午 14 点举办发布会,同期发布的还有Z70S Ultra摄影师版手机。此次官宣标志着努比亚在智能终端领域进一步拓展产品矩阵,引发市场广泛关注。从官方公布的渲染图来看,努比亚平板Pro采用窄边框圆角全面屏设计,屏幕屏占比表现突出
Anthropic 推出 Claude Max 订阅计划,月费最高 200 美元 179 0 感谢IT之家网友 GreatMOLA 的线索投递!IT之家 4 月 10 日消息,Anthropic 宣布推出其 AI 聊天机器人 Claude 的全新订阅计划 ——Max,这被视为对 OpenAI ChatGPT Pro 每月 200 美元订阅计划的有力回应。Max 计划相较于 Anthropic 自家每月 20 美元的 Claude Pro 订阅,使用限制更为宽松,同时用户还能优先获取公司
AIAgent OpenAI 大型语言模型 实战指南 别再只玩ChatGPT了!OpenAI悄悄发布《构建 Agent 实战指南》 手把手教你打造智能体 179 0 OpenAI 最近悄悄发布了一份 《构建 Agent 实战指南》 (A practical guide to building agents),简直就是一份“AI 打工人”的养成手册!今天,老司机我就带你用最接地气、最有趣的方式,把这份官方秘籍给你扒个底朝天,让你也能轻松 Get 打造专属 AI Agent 的精髓!准备好了吗?发车!等等,Agent 到底是个啥玩意儿?跟普通软件有啥不一样?咱们先