• 我的订阅
  • 头条热搜
曝Bengio新动向:世界模型+数学证明,确保AI系统正常运作
...学总监。据介绍,Safeguarded AI旨在:通过结合科学的世界模型和数学证明,构建一个负责理解和降低其它AI Agent风险的AI系统。主打的就是一个量化安全保障。该项目由英国高级研究与发明局(ARIA)提供支持,据说未来ARIA将投入...……更多
CMU清华教LLM练成数学高手,LeanSTaR训练模型边思考边证明,登顶新SOTA
...学生怎么办?CMU清华团队提出了Lean-STaR训练框架,在语言模型进行推理的每一步中都植入CoT,提升了模型的定理证明能力,成为miniF2F上的新SOTA。如果想训练LLM证明定理的能力,你会怎么做?既然模型可以通过海量语料学会生成...……更多
OpenAI o1太贵?那就自己做一个!纯提示方法让普通LLM进化出复杂推理能力
...系列专注于复杂的推理任务,一经推出也是直接屠榜了大模型竞技场。在下面这些难度较大的数学、编码、科学等任务中,o1不仅比GPT-4o强上一大截,甚至比人类专家还要凶猛。OpenAI对此曾表示:通往AGI的路上,已经没有任何阻...……更多
商汤营收恢复增长,亏损收窄至43亿元;CEO徐立回应DeepSeek影响
出品 | 搜狐科技作者 | 梁昌均编辑 | 杨锦转型布局大模型近两年的商汤交出了最新成绩单。商汤发布的2024年财报显示,去年实现营收37.72亿元,同比增长近11%,扭转此前连续两年下降趋势。但仍在亏损,全年净亏损43.06亿元,同...……更多
清华提出CharacterGLM;DeepMind联创发全新一代大模型;大模型版“5年高考3年模拟”来了丨AI新零售早报
...技术优势:它支持智谱 AI、百川智能等国内领先的大语言模型,通过微调和优化提高模型的准确率和可读性,通过开放 API 接口支持个性化的数据应用搭建。(来源:“CSDN”微信公众号)《马斯克多次失手,OpenAI 异军突起,硅...……更多
阿里前副总裁贾扬清吐槽国产大模型“套壳”,李开复公司回应称有借鉴公开成果
出品 | 搜狐科技作者 | 梁昌均国内大模型再陷“套壳”争议。阿里巴巴前副总裁、知名AI框架大牛贾扬清发朋友圈,感慨做小公司不容易,希望国内企业如果就是开源的模型结构,不要做换名伪装,免得做多余的适配工作。根据...……更多
无论百度还是阿里 这波最急的可能是苹果。。。
...information 今天又爆料称,虽然苹果曾和百度在数据安全和模型效果上问题上,有着不少的摩擦,但苹果跟百度的合作也还在继续,是打算混用 AI ,而不是跟百度掰了才选的阿里。除开去年传出来跟百度的合作,后面有媒体报道...……更多
菲尔兹奖得主亲测GPT-4o,经典过河难题破解失败!最强Claude 3.5回答离谱,LeCun嘲讽LLM
...最近,菲尔兹奖得主Timothy Gowers分享了实测GPT-4o的过程,模型在最简单的题目上竟然做错了,甚至网友们发现,就连Claude 3.5也无法幸免。在经典的「狼-山羊-卷心菜」过河问题上,如今所有的LLM都失败了!几天前,菲尔兹奖得主...……更多
...文转自:人民网-安徽频道4月20日,科大讯飞深度推理大模型——讯飞星火X1迎来全新升级。作为当前业界唯一基于全国产算力训练的深度推理大模型,升级后的星火X1在数学、代码、逻辑推理、文本生成、语言理解、知识问答等...……更多
伏羲大模型亮相:人工智能助力解决次季节和极端天气预测难题
...,今天上海不下雨。”“伏羲”,全名为伏羲气候气象大模型,它融合了人工智能技术与气候气象科学,是行业内首个次季节气候大模型。随着人工智能风潮席卷全球,天气与气候预报系统正在加入到这场技术变革影响的行业之...……更多
...Seek在其官网宣布了一项最新更新。据官网公告,DeepSeek V3模型已完成小版本升级,目前版本号DeepSeek-V3-0324,用户登录官方网页、APP、小程序进入对话界面后,关闭“深度思考”即可体验。API接口和使用方式保持不变。“如非复...……更多
NBA中国携手阿里云开启多年合作,球迷互动体验新惊喜在哪?
...NBA中国官方云计算与人工智能合作伙伴,基于通义千问大模型和云计算基础设施,为中国NBA球迷提供全新的观赛和互动体验。这一合作由阿里巴巴集团主席、布鲁克林篮网队主席蔡崇信与NBA副主席兼首席运营官马克·塔图姆在2025...……更多
...业股份有限公司(以下简称浪潮信息)发布千亿级开源大模型“源2.0”。“源2.0”创新采用局部注意力过滤增强机制(LFA),可以有效捕捉局部信息和短依赖信息,使模型能够更精准地掌握上下文之间的强语义关联,学习人类语...……更多
...。目前,阿里旗下“通义千问”是全球最具影响力的开源模型家族,“魔搭”是全国最大的AI开源社区。正在通向“通用人工智能”,阿里巴巴打造超级AI云吴泳铭说,AI发展将经历三个阶段:第一个阶段是智能涌现,这也是过去...……更多
连发两款模型“补课”,百度AI成色如何?
...杨锦没有发布会、没有李彦宏,百度近日低调发布两款大模型——文心4.5和深度推理模型文心X1,免费。两年前的3月,百度发布了对标ChatGPT的文心一言。这是全球大厂中首个生成式AI产品,也让外界看到百度相对迅速的先手布局...……更多
“实习生也月入过万”,这一行业严重缺人
...,该公司急缺的既有AI专精类人才,比如AI算法工程师、模型优化工程师等,也有懂得行业场景的AI场景方向运营师。AI缺人,一方面,源于前景光明、市场火热。另一方面,企业在用人上,确实存在着痛点。(图/unsplash)某家科...……更多
全球顶尖人工智能科学家加盟 阿里AI To C业务布局再提速
...集团副总裁,向吴嘉汇报,负责AI To C业务的多模态基础模型及Agents相关基础研究与应用解决方案。近期,阿里AI To C业务大动作频频,引入世界级顶尖人才,组建顶级AI算法研究和工程团队,将进一步刷新国内AI应用赛道的产品范...……更多
COP29中国角数字化日 阿里巴巴展示AI降碳新路径
...报在电力行业意义凸显。为此,阿里巴巴近日推出气象大模型“八观”与新能源预测系统eForecaster,基于对区域气象的精细描绘,实现对新能源发电功率和用电负荷的准确预测,从而促进绿电发展、减少化石燃料使用。阿里巴巴...……更多
...企业出海提供便利。阿里云的顶尖AI技术将首次出海。大模型服务平台百炼国际版即将上线,提供一站式、全托管的大模型定制与应用服务。阿里云最新版基座模型通义千问2.5也将通过百炼平台提供API。生态体系方面,阿里云进...……更多
国产大模型首发中文逻辑推理,「天工大模型4.0」o1版来了
...出现。想来想去,如此自信的原因可能在于最近人们让大模型学会了「推理」的方法。就在 9 月份,OpenAI 正式公开前所未有的复杂推理大模型 o1,这是一个重大突破,新模型既具有通用的能力,也可以解决比此前的科学、代码...……更多
商汤升级“日日新5.0”大模型,对标GPT-4Turbo
...数据,推理时上下文窗口达200K左右。云、端、边全栈大模型产品矩阵中,用于终端设备的“商汤端侧大模型”可满足各类终端用户对大模型技术的应用需求。“日日新5.0”和GPT-4回答趣味推理问题。4月23日,在2024商汤技术交流...……更多
推进“人工智能+教育”,为何要从AI黑板入手?
...质数字教育资源,明确提出打造10个左右教育领域专用大模型垂直应用,推进人工智能与教育深度融合。早在2023年5月,科大讯飞便发布了基于全国产算力的讯飞星火大模型,并率先将其应用于教育核心场景。 今年1月,首个基...……更多
...加速,数字化加速向经济社会全方位和全链条渗透。 大模型技术受追捧“互联网企业为推动数实融合提供技术、平台等支撑,是人工智能、云计算等新一代信息技术与工程实现之间的桥梁,连接了技术研发和落地应用。”邹潇...……更多
8位数年薪!“最懂阿里大模型的人”带整个团队跳槽加入!字节跳动放大招?
11月13日早上,一则关于阿里巴巴决定申请仲裁“通义大模型前员工周畅违反竞业协议”的消息迅速在AI圈传播开来,而当天中午就有媒体得到阿里内部人士的确认:情况属实。早在2020年,周畅就开始在阿里达摩院带领团队训练...……更多
Kimi爆火出圈,国产大模型首次超越海外!
2024年3月18日,国产AI大模型Kimi将上下文无损输入长度提升至200万字,成为国内大模型首次在部分能力上超越海外主流产品的里程碑。上下文输入长度的增加能够帮助模型更好学习文本知识,从而更有针对性得与用户互动。在长...……更多
OpenAI并未让DeepSeek惊出一身冷汗
...一位业界人士这样说道。今日凌晨,预热了很久的OpenAI o3模型完整版终于面世,且与以往直播“挤牙膏”式的依次、慢吞发布方式不同的是,这次o3和o4-mini是同时发布。在OpenAI官方的陈述中,o3和o4-mini的亮点主要在于可以组合调...……更多
OpenAI劲敌甩大招!Claude 3.5模型升级,能力反超GPT-4o,训练AI自己操控电脑
...甩了“大招”!就在几个小时前,Anthropic AI发布了升级版模型Claude 3.5 Sonnet,以及新模型Claude 3.5 Haiku。但最吸引人的是,Anthropic AI这次推出了一项处于测试阶段的新功能——AI操作计算机能力(Computer Use)。网友直呼,“像魔术……更多
AI表现直逼国际奥数优秀选手, 它要 “征服”数学了吗?
...65届IMO大会同步揭晓。这项赛事的目的是推动发展大语言模型的数学推理能力,训练出更高数学水平的新AI模型。纯数学领域中的重大发现是推理和创造力的灵感结晶,往往意味着人类智慧极限的突破。迄今为止,解决或协助解...……更多
专注于推理的OpenAI“草莓”模型两周内发布?是人工智能下一重大突破
...二,据知名科技商业类媒体The Information援引多位测试过该模型的人士透露,站在时代风口浪尖的“AI宠儿”OpenAI计划在未来两周内发布名为“草莓”的最新人工智能产品,作为ChatGPT所提供服务的一部分。这比两周前传闻的“秋季...……更多
阿里云创始人王坚:AI+不是AI和产业简单结合
...思考。他指出,AI+不是AI和产业的简单结合,而是数据、模型和算力的组合,云计算就是AI时代的基础设施。王坚认为,如果ChatGPT在人工智能+这个逻辑下,ChatGPT不是一个应用,而是应用平台。如果把GPT拆成一个基础模型的话,Ch...……更多
更多关于科技的资讯:
河北日报讯(张晓超、崔虹)近日,第八届中国国际进口博览会在上海举办,河北省39家企业的70余类“燕赵好物”集中亮相,吸引了国内外客商的目光
2025-12-05 07:40:00
当人类基因组的30亿个碱基对如浩瀚星河般铺展,当大脑1000亿个神经元织就复杂网络,这本写满生命奥秘的“天书”,曾让科学家们望“脑”兴叹
2025-12-05 07:42:00
12月3日上午,一票跨境电商网购保税进口商品经杭州海关所属义乌海关审核验放后,从义乌保税物流中心发往购买的消费者手中。值得注意的是
2025-12-04 09:42:00
腾讯游戏魔方工作室迎来十五周年,《暗区突围》手游爆料地图更新
12月3日,腾讯游戏魔方工作室迎来十五周年庆。魔方多款游戏主创来到直播现场爆料,为玩家带来产品最新进度,备受玩家关注的《洛克王国》IP新作《洛克王国
2025-12-04 14:20:00
从日常随拍到户外探索 年轻人用手持设备定格热爱
脚踩陆冲板的年轻人手持全景相机,以第三人称视角“跟拍”运动瞬间;旅行博主捕捉下360°无死角的风景,剪辑时通过手动调整视角制作出炫酷转场
2025-12-04 14:20:00
在具身智能竞速加速升温的当下,真实场景的客观评测成为检验机器人模型能力最关键的一环。近日,“具身进化论”在查询最新发布的RoboChallenge测试结果时注意到
2025-12-04 15:20:00
中国移动AI听障康复智能体落地 为2780万听障人士架起沟通桥梁
12月3日是国际残疾人日。当日早间,央视财经频道《第一时间》重磅报道了中国移动自主研发的全国首个AI听障康复智能体——“中移无障碍”
2025-12-04 15:22:00
防沉迷+护安全,墨宝·AI学生机成未成年人用机优选
在数字化设备快速发展的当今,未成年教育正面临着网络沉迷、电子产品使用导致近视等前所未有的挑战。那么,究竟有没有科学、有效且合理的解决方案呢
2025-12-04 15:23:00
当地时间12月3日,国际权威财经媒体英国《银行家》(The Banker)杂志在伦敦揭晓年度银行榜单,中信银行荣膺“2025年中国年度银行”(Bank of the Year China 2025)大奖
2025-12-04 15:37:00
重新定义测序技术 “金标准”! Sequel® II CNDx三代测序仪正式上市
近日,贝瑞基因与PacBio在京举行三代Sequel® II CNDx基因测序仪上市发布会,正式宣布这款基于三代测序技术平台的产品获得国家药品监督管理局批准的医疗器械注册证
2025-12-04 16:38:00
165无限满帧体验,一加 Ace 6T首销到手价2399元起
2025 年 12 月 3 日,一加正式发布「性能旗舰新选择」一加 Ace 6T。作为一加Ace系列全新力作,一加 Ace 6T全球首发搭载第五代骁龙8移动平台
2025-12-04 19:41:00
“质造+智创”领航户外照明赛道
当前,国内户外照明市场呈现明显的区域集群效应,长三角(江浙沪)与珠三角(广东)形成双核引领格局。其中,高杆路灯作为重要细分品类
2025-12-04 22:41:00
南京作为我国软件产业发展的先行区和重要聚集地,产业规模居全国前列。在迈向高质量发展的过程中,软件企业普遍出现研发周期长
2025-12-04 20:11:00
国内首个AI钢管智能检测模型在中油宝世顺公司投入运用
河北新闻网讯(张辉、李少波)“焊缝影像在屏幕如放电影一样一帧接一帧闪过,1分钟能完成4米钢管检测,两分钟能审核1000张检测影像并标注疑似缺陷的位置
2025-12-04 17:15:00
浙江日报义乌12月3日电 (记者 拜喆喆 何贤君 共享联盟·义乌 吴峰宇) 3日,义乌今年第1亿个跨境电商进口订单完成打包
2025-12-04 08:41:00