• 我的订阅
  • 头条热搜
谷歌Gemini数学反超o1预览版!成本仅1/10、无需额外思考时间
数学击败o1-preview,成本仅为十分之一,并且几乎没有思考延迟!OpenAI《Her》全量开放同一天,谷歌Gemini 1.5迎来重大升级。除此之外,价格也是原来的一半,速度限制提升2-3倍;输出速度提升2倍、延迟降为原来三分之一。开发...……更多
OpenAI o1模型到博士水平了?复旦教授:没有真正推理能力,学到的还是概率相关性
...enAI表示,o1模型会提供由模型生成的思维链摘要。预览版成本比GPT-4o贵三四倍,9.11和9.8谁大仍翻车“发布o1-preview的一个动机是为了观察哪些使用场景会变得流行,以及这些模型在哪些方面还需要改进。”OpenAI员工称。该公司表...……更多
NeurIPS 2024 | 数学推理场景下,首个分布外检测研究成果来了
本文将介绍数学推理场景下的首个分布外检测研究成果。该篇论文已被 NeurIPS 2024 接收,第一作者王一鸣是上海交通大学计算机系的二年级博士生,研究方向为语言模型生成、推理,以及可解释、可信大模型。该工作由上海交通...……更多
科学家推出大模型数据集,涵盖奥赛数学题,有望让AI辅导数学课程
...间,他曾和同事在一项研究中成功提高了大模型解决复杂数学问题的能力。通过此,他们不仅提高了算法推理速度,还提高了算法搜索中间结果的质量。所新推出的数据集 TriMaster100,也更加符合算法在复杂数学问题下的评价场...……更多
Nature重磅:击败人类数学家,AI首次攻破经典数学难题
人工智能(AI)大模型,击败了人类数学家。今天,在 Nature 上发表的一篇论文中,Google DeepMind 的研究团队介绍了一种搜索数学和计算机科学新解决方案的方法——FunSearch,它的工作原理是将预先训练的大型语言模型(LLMs)与...……更多
谷歌deepmind公布ai模型训练法
...包含“上限级问题”、“装箱问题”在内的一系列“涉及数学、计算机科学领域的复杂问题”。▲图源谷歌DeepMind(下同)据悉,FunSearch模型训练法主要为AI模型引入了一个“评估器(Evaluator)”系统,AI模型输出一系列“创意解...……更多
ChatGPT o1满血版上线!实测中它竟然败给了国产AI?
...算困难的数学计算题:假设一个公司生产某种商品,生产成本与产量的关系为C(x)=3x^2-2x+5(单位:万元),其中x是产量(单位:千件)。市场售价与产量的关系为P(x)=50-0.5x(单位:万元/千件)。1.求该公司生产x千件商品时的总...……更多
补齐Transformer规划短板又不放弃快速思考,Dualformer双重优势
...只是模仿系统 2 式的思考过程,那就需要远远更高的计算成本才能完成,同时响应速度也会大幅减慢。在研究这一难题时,田渊栋团队得到了一项惊人发现:在解决推理任务时,一种简单的数据方案就足以实现即时动态的系统 1 ...……更多
OpenAI o1太贵?那就自己做一个!纯提示方法让普通LLM进化出复杂推理能力
...便宜,现在想体验更强大的推理能力则需要再付出几倍的成本。 嫌OpenAI o1太贵?那就自己做一个!近日,一篇利用纯提示方法让普通LLM变身成为OpenAI o1的文章在推特上爆火。开源代码:https://github.com/harishsg993010/LLM-Research-Scr……更多
重磅!OpenAI o1模型还没有实现真正的逻辑推理能力
...数学能力看,o1最强,其次是o1-mini,最后是o1-preview,从成本看,o1最高,其次是o1-preview,最便宜是o1-mini。o1擅长准确生成和调试复杂代码,o1-preview具有较强的推理能力和广阔的世界知识,o1-mini速度更快、比o1-preview便宜80%的推.……更多
姚期智院士大模型新研究:思维图DoT,用数学理论确保AI逻辑一致
...让大模型思考更像人类。团队更是为这种推理过程提供了数学基础,通过拓扑斯理论(Topos Theory)正式化(formalize)DoT,确保其逻辑一致性和合理性。相比CoT将推理过程表示为线性序列,DoT更能捕捉人类推理的复杂性。相比引入...……更多
能看风水 夸我有情趣 Kimi现在都这么野了吗
...答案,但很快它就否定了自己。 继续把假币、找零还有成本利润这些复杂因素综合考虑进去,最后终于想明白老板亏了 80 元。( 正确答案是 80 元 )往上滑动查看更多这逻辑能力,确实有点强。包括我拿几道行测的类比推理题...……更多
腾讯推出新一代大模型「混元Turbo」,性能大幅提升,定价低50%
...模型采用MoE架构,比上一代产品推理效率提升100%,推理成本降低50%,解码速度提升20%。腾讯公司副总裁、云与智慧产业事业群COO兼腾讯云总裁邱跃鹏宣布,腾讯混元Turbo在腾讯云上线,输入和输出价格只有前代模型的一半,输出...……更多
openaio1系列模型开放访问权限
...限价格较高,其中o1的输入词元(tokens)费用为每百万个成本15美元(IT之家备注:当前约107元人民币),输出词元费用为每百万个60美元(当前约427元人民币),通过API调用时,o1模型每分钟最多可调用500次,o1-mini模型每分钟可...……更多
刚刚,OpenAI震撼发布o1大模型!强化学习突破LLM推理极限
...编程的更快、更便宜的推理模型。」整体来看,o1-mini 的成本比 o1-preview 低 80%。由于 o1 等大型语言模型是在大量文本数据集上预训练,虽然具有广泛世界知识,但对于实际应用来说,可能成本高昂且速度慢。相比之下,o1-mini 是...……更多
终于,Claude上线LaTeX公式渲染功能,评论区网友沸腾了
当 ChatGPT 老早就支持使用 LaTeX 语言输入和显示数学公式时,Claude 现在终于补上了这一功能。在论文、书籍、报告或幻灯片中,我们有时需要插入数学公式或符号。其中使用 LaTeX 语言来生成数学公式或符号是主要方式之一,这...……更多
对标o1,Kimi放出了最能打的国产模型
...6 日交上又一份答卷:Kimi 的最新一代推理模型 k0-math,在数学能力已实现对标 OpenAI o1-mini 和 o1-preview。这是 Kimi 推出的首款推理能力强化模型,k0-math 同样采用了全新的强化学习和思维链推理技术,通过模拟人脑的思考和反思过...……更多
又慢又贵?OpenAI推理模型“草莓”来了,GPT-5还有多远
...15美元,每100万输出tokens收费60美元。与GPT-4o 相比,输入成本是其3倍,输出成本是其4倍。 o1-mini则定位速度更快、成本效益更高,据称在数学和编程方面的表现也较为出色,在AIME和Codeforces等评估基准上几乎与o1性能相当,可作...……更多
清华量子计算成果登顶刊,来自丘成桐数学中心团队
...计算获得广泛应用,它能够指导人们如何更有效率地部署成本高昂的量子纠错机制。学术界首次发现噪声造成量子优势突然消亡现象 概括而言,这项研究主要做出了以下贡献:成功刻画了逐渐增强的噪声影响量子优势的动态过...……更多
用AI自动设计智能体,数学提分25.9%,远超手工设计
...用,可能需要考虑不同的优化目标,例如智能体的性能、成本、延迟或安全性。评估函数定义如何评估候选智能体的这些指标。例如,为了评估智能体在未见过的数据上的表现,一种简单的方法是计算任务验证数据的准确率。该...……更多
谷歌 Gemini 1.5 AI 模型再进化:成本更低、性能更强、响应更快
...出了 Gemini-1.5-Pro-002和 Gemini-1.5-Flash-002,相比较此前版本成本更低、性能更强、响应更快。成本更低谷歌下调了 token 输入和输出费用,Gemini-1.5-Pro-002 和 Gemini-1.5-Flash-002 最高降幅 50%,提高了两种模……更多
学而思推出数学答疑原生AI工具九章随时问,“AI将重新定义教育行业”
...,好未来官方公众号宣布,学而思九章大模型推出最新AI数学搜索答疑工具“九章随时问”,即日起免费开放使用。这款产品打破了以生成式AI技术为基础,通过启发引导的方式帮助学生解决数学难题,旨在培养学生的解题思维...……更多
Anthropic再反击!发布Claude 3.5吊打GPT-4o,视觉、逻辑推理等方面表现更强
...创作情况。介绍完功能特性,再来说说很多人关心的使用成本。 值得一提的是,与上代“大杯”模型Claude 3 Opus相比,这次的“中杯”Claude 3.5 Sonnet不仅研发成本低,其性能已是最强前辈的两倍。官方介绍,该模型每百万输入Toke...……更多
00后华裔小哥哈佛辍学组团挑战英伟达,史上最快AI芯片Sohu推理性能超H100二十倍!
...展1000倍必定是昂贵的,形象地解释,下一代数据中心的成本将超过一个小国的GDP。按照目前的发展速度,我们的硬件、成本、财力根本无法跟得上。GPU撞墙了圣克拉拉,英伟达总部所在地,不愿意让人知道的小秘密是—— GPU性...……更多
OpenAI超级对齐团队遗作:两个大模型博弈一番,输出更好懂了
...成的是易于理解的文本,这件事非常重要,尤其是在处理数学、编码这样的复杂任务时。如下图所示,你让 AI 写一个快速排序算法,AI 很快就写出来了,而且答案很简洁。但不会写代码的你要怎么判断 AI 写得对不对呢?OpenAI 在...……更多
...地了解大模型产品的性能和特点提供了参考样本。AI高考数学全不及格?换个打开方式试试近期,一则“AI高考测试出分,数学全不及格”的消息登上“热搜”。消息出自上海人工智能实验室旗下司南评测体系OpenCompass对7个开源...……更多
Transformer打破三十年数学猜想!Meta研究者用AI给出反例,算法杀手攻克数学难题
【新智元导读】30多年的数学猜想首次获得了进展!Meta等学者提出的PatternBoost,使用Transformer构造了一个反例,反驳了一个已悬而未决30年的猜想。是否所有数学问题都适合机器学习技术?这样的未来太令人期待了。30多年的数...……更多
o1金牌团队揭秘AI超越人类惊人时刻!22分完整版视频全公开
...是「推理专家」,比以往OpenAI最佳模型还要聪明。而且,成本和延迟都非常低。 或许,它可能不一定知道一位名人,以其出生日期,但确具备了如何进行有效推理,和大量智慧的能力。OpenAI研究人员表示,将进一步改进算法,...……更多
OpenAI发布最新技术研究,AI“黑盒”不再是难题!
...名为Arrakis或Q*,原本计划在2025年作为GPT-5发布,但因推理成本高而取消。OpenAI此后计划,2027年发布的Q 2025(GPT-8)将实现完全的AGI。人工智能(AI)研究者早就在争论用什么标准判断人类实现了通用人工智能(AGI)。OpenAI最近开...……更多
OpenAI-o1思考替代法火了!焦剑涛高徒一作提出思考偏好优化
...任务复杂度进行不同时间的思考。不限于推理性的逻辑或数学任务,一般问答也能思考的那种。最近畅销书《Python机器学习》作者Sebastian Raschka推荐了一项新研究,被网友们齐刷刷码住了。论文一作为华人学者Tianhao Wu,导师之一...……更多
更多关于科技的资讯:
智慧大脑 × 毫秒响应:移远通信携全新Wi-Fi AI玩具整体解决方案亮相火山引擎原力大会
2025年6月11-12日,火山引擎原力大会在北京盛大召开,这场科技盛宴全方位展现了AI技术与应用场景的深度融合。移远通信携其全新升级的Wi-Fi版本AI玩具整体解决方案震撼亮相
2025-06-12 11:04:00
□南京日报/紫金山新闻记者徐宁“自今年2月在南京率先发布并落地‘宁安晴’以来,目前已实现对南京市全域全覆盖,并作为全国首个垂直领域应急管理政务大模型
2025-06-12 08:07:00
机器人总动员!40余款是南京的!
知名智能机器人企业埃斯顿酷卓发布的第二代人形机器人产品Codroid 02。 南京日报/紫金山新闻记者 冯芃 摄南京工道水利科技有限公司现场展示的多关节自主仿生金龙鱼
2025-06-12 08:08:00
南铁院大一学生研发“高铁外卖侠”
能“眼观六路”还会灵活变道南铁院大一学生研发“高铁外卖侠”□南京日报/紫金山新闻记者何洁通讯员姚春燕韩广来在南京南站熙攘的站台上
2025-06-12 08:08:00
□南京日报/紫金山新闻记者徐宁在6月11日举办的2025智能机器人发展大会上,埃斯顿酷卓科技现场首发第二代人形机器人Codroid02
2025-06-12 08:08:00
□南京日报/紫金山新闻记者张安琪人物档案:郭洪涛,金陵科技学院智控学院副教授、海天星云(南京)技术有限公司董事长,研究方向为卫星遥感数据接收处理应用
2025-06-12 08:08:00
24项作品在空天信息创新技术大赛决赛中获奖前沿科技勾勒空天信息璀璨图景能够解决低轨宽带卫星运动速度快、频偏大等问题的空天地一体卫星互联网基带芯片
2025-06-12 08:09:00
南报网讯(记者徐宁)场景,既是技术落地的“试验场”,又是需求升级的“导航仪”,更是产业协同的“催化剂”。在6月11日举行的2025智能机器人发展大会上
2025-06-12 08:09:00
前不久,在深圳举行的一场技能人才“AI第一课”培训活动上,来自汽车维修、数控技术、烹调师、家政等多行业的技能人才分享了自己使用AI的心得
2025-06-12 08:49:00
商报讯 近日,由上城区就业管理服务中心、杭州乐创创业陪跑空间联合举办的私人定制周“智伴未来创绽芳华”交流分享会顺利举行
2025-06-12 08:50:00
全景相机产业链沸腾,投资机构看好行业前景商报讯 全景相机龙头企业影石创新昨日登陆A股科创板,发行价47.27元/股。开盘之后
2025-06-12 08:51:00
日均保护\
谎称为用户取消“百万保障”、“直播会员”的扣费,诱导用户下载手机第三方软件,进行屏幕共享以窃取钱财……针对这类假冒客服的新型电信网络诈骗
2025-06-12 09:02:00
神州泰岳正式发布 \
6月10日,神州泰岳正式推出"泰岳灯塔"AI大模型应用能力体系(简称"泰岳灯塔"),以及面向ICT运营管理的"岳擎"数智化新IT运营大模型体系
2025-06-12 09:02:00
光宝前进SNEC PV+上海国际太阳能光伏与智慧能源大会 聚焦光耦合新能源应用 全面引领系统安全与效率升级新趋势
光领前行.驾驭未来ONE SOURCE.ALL SOLUTIONS光宝科技(2301.TW)于2025年6月11日至13日盛大参与"2025 SNEC PV+ 上海国际太阳能光伏与智慧能源
2025-06-12 09:02:00
深耕发行,打造爆款——于杨与B站游戏发行的成长之路
在哔哩哔哩(以下简称“B站”)游戏业务的版图中,于杨的名字始终与“突破”“创新”“成功”紧密相连。作为B站游戏发行中心副总经理
2025-06-12 09:02:00