- 我的订阅
- 头条热搜
我们正处于一个信息大暴发的时代，每天都能产生数以百万计的新闻资讯！
虽然有大数据推荐，但面对海量数据，通过我们的调研发现，在一个小时的时间里，您通常无法真正有效地获取您感兴趣的资讯！
头条新闻资讯订阅，旨在帮助您收集感兴趣的资讯内容，并且在第一时间通知到您。可以有效节约您获取资讯的时间，避免错过一些关键信息。
财联社9月13日讯北京时间周五凌晨1时许，AI时代迎来崭新的起点——能够进行通用复杂推理的大模型终于走到台前。OpenAI在官网发布公告称，开始向全体订阅用户开始推送OpenAI o1预览模型——也就是此前被广泛期待的“草莓”...……更多
2024-09-13 13:34:00新时代,推理,逻辑,模型,模型,问题
...去，如此自信的原因可能在于最近人们让大模型学会了「推理」的方法。就在 9 月份，OpenAI 正式公开前所未有的复杂推理大模型 o1，这是一个重大突破，新模型既具有通用的能力，也可以解决比此前的科学、代码和数学模型能...……更多
2024-11-28 10:00:00模型,逻辑推理,中文,推理,逻辑,国产
...自动化科研和开放式发现的综合AI系统，标志着科学发现新时代的开始。尽管它展现出非凡的潜力，但目前并不完美，应警惕“AI科学家”被滥用的风险。推进流程行云流水AI技术不断进步，让科学家能借助一些模型来集思广益或...……更多
2024-09-12 07:47:00科学家,科研,自动化,科学,时代,科学家
...-preview和o1-mini模型已经可以使用。OpenAI宣布，“新模型在推理能力上代表了人工智能能力的新水平，因此，计数器将重置为1”。根据OpenAI的自测，o1在竞赛编程问题（Codeforces）中排名第89个百分点，在美国数学奥林匹克竞赛（AIM...……更多
2024-09-18 15:01:00逻辑推理,重磅,推理,逻辑,模型,能力
...智能的旗舰产品GPT-4为代表的大语言模型在逻辑测试中的推理表现很糟糕：它们犯下前后不一致的错误，而且推理过程往往是荒谬的。近日发表在《皇家学会开放科学》杂志上的一项研究表明，大语言模型所依赖的语料库往往反...……更多
2024-06-12 18:15:00逻辑推理,推理,逻辑,模型,语言,模型
...tical Reasoning”的论文，揭示了大型语言模型（LLM）在数学推理方面的显著局限性。尽管这些模型在生成人类水平的文本方面表现出色，但当处理简单的数学问题时，即使问题仅进行了微小的改动，如添加无关信息，模型的表现也...……更多
2024-10-13 14:15:00逻辑推理,新论,推理,缺陷,逻辑,模型
...概念，提高了大语言模型（LLM，large language models）在复杂推理任务上的性能，例如算术推理、常识推理和符号推理等。图 | 金明宇（来源：金明宇）CoT 的原理是通过提供推理过程的示例，来教会模型处理推理，详细说明导致最...……更多
2024-03-15 10:41:00罗格,罗格斯,推理,模型,团队,概念
姚期智院士领衔，推出大模型新推理框架，CoT“王冠”戴不住了。提出思维图（DiagramofThought），让大模型思考更像人类。团队更是为这种推理过程提供了数学基础，通过拓扑斯理论（Topos Theory）正式化（formalize）DoT，确保其逻...……更多
2024-09-24 13:36:00维图,院士,逻辑,模型,一致,理论
...异，近来Anthropic公司最新发布的Claude-3.5-Sonnet因在知识型推理、数学推理、编程任务及视觉推理等任务上设立新行业基准而引发广泛讨论：Claude-3.5-Sonnet 已经取代OpenAI的GPT4o成为世界上”最聪明的AI“（Most Intelligent AI）了……更多
2024-06-25 09:45:00奥林,奥林匹克,竞赛,模型,推理,能力
大模型预训练“缩放定律”定律失效？模型推理成“解药”，英伟达一家独大格局要变天？“缩放定律”指导下，AI大模型预训练目前遭遇瓶颈。据路透12日报道，硅谷主要AI实验室的新模型训练计划目前普遍进展不顺，新模型...……更多
2024-11-13 14:09:00英伟,争论,逻辑,意味,根本,策略
...73.56的高分，并在数理逻辑维度取得第一，体现其强大的推理能力。
SenseChat-Vision5.5基础能力突出，数理逻辑维度超越GPT-4o本次SuperCLUE-V涵盖了国内外最具代表性的11个开源/闭源多模态理解大模型，聚焦多维度能力评估，包括基...……更多
2024-10-14 13:34:00商汤,模态,基准,模型,模型,能力
...解决复杂数学问题的能力。通过此，他们不仅提高了算法推理速度，还提高了算法搜索中间结果的质量。所新推出的数据集 TriMaster100，也更加符合算法在复杂数学问题下的评价场景。目前，赵子龙的合作者正在基于本次成果开...……更多
2024-03-13 10:26:00数学,数学题,科学家,模型,辅导,课程
...地，也一定要对时间、数字和逻辑敏感，无论让它做多跳推理，还是逻辑规则数字计算，而这些恰好是大语言模型所不擅长的，包括前一段时间热议的 9.9 和 9.12 比大小的例子。基于此，我们认为在垂直领域落地的时候，大语言...……更多
2024-09-13 13:33:00知识,准确率,推理,蚂蚁,框架,模型
...过程中，其范围、种类和功能也需要客观考量。从而催生新时代的数字法理。其二，数字法律关系。随着数字时代的到来，人类进入了不依赖于时间、地点的数字化生存模式，每个人都会在数字交往中形成碎片化的、多处“流动...……更多
2023-11-06 05:06:00数字,法律,算法,数据,法理,社会
...爽博士出席并发表主题演讲《软硬件协同优化，赋能AI2.0新时代》。 大模型是AI2.0时代的“蒸汽机” AI+X应用落地及边缘计算将成为关键 自ChatGPT发布以来，大模型引爆“第四次工业革命”，成为AI2.0时代的“蒸汽机”，驱动着...……更多
2024-07-22 13:00:00超星,梁爽,软硬,新时代,模型,超星
谷歌发布全新反向推理算法LAMBADA，无惧搜索空间爆炸！自动推理绝对算是自然语言处理领域的一大难题，模型需要根据给定的前提和知识推导出有效且正确的结论。尽管近年来NLP领域借着大规模预训练语言模型在各种「自然语...……更多
2023-01-09 21:57:00自然语言,算法,推理,自然,语言,目标
苹果新论文：AI 大模型可能不会推理。AI 大模型（LLM）真的像我们理解的那样能「思考」或「推理」吗？最近，苹果的一篇论文探讨了这个问题，并且给出了一个倾向于「否」的答案。相关帖子被很多人围观。这篇题为「GSM-Symb...……更多
2024-10-14 09:55:00数学题,推理,废话,苹果,数学,小学
...人工智能（AI），特别是大型Transformer语言模型（LMs）在推理任务中的表现及其局限性。研究结果显示，尽管这些模型在处理自然语言方面表现卓越，但在复杂逻辑推理任务中，人类和语言模型都会受到语义内容合理性和可信度...……更多
2024-08-19 13:49:00局限性,推理,人类,任务,研究,模型
...处理和代码生成领域的强大实力。不仅如此，其在对逻辑推理能力及专业性要求极高的MCMLE、MedExam、CMExam等权威医疗评测上的中文效果同样超过了GPT-4，是中文医疗任务表现最佳的大模型。Baichuan3还突破“迭代式强化学习”技术...……更多
2024-01-29 19:57:00百川,模型,语言,智能,模型,百川
...编程、数字游戏等任务。这就是上海AI实验室版o1——强推理模型书生InternThinker，刚刚正式开放试用！新模型不仅在长思维能力方面有了很大提升，而且还能在推理过程中进行自我反思和纠正。先来一起看两个例子感受一下：比...……更多
2024-11-29 09:27:00数学题,上海,实验室,实验,数学,模型
...科技9月14日消息，OpenAI推出了OpenAI o1预览模型，官方宣称推理能力更强，可达理科博士生水准。按照官方技术博客说法，o1在推理能力上代表了人工智能最强的水平。同时官方放出了更多OpenAI o1的更多演示视频。比如使用OpenAI o1...……更多
2024-09-14 10:18:00博士生,水准,模型,博士,推理,模型
...“天工2.0”MoE大模型，“天工3.0”在模型语义理解、逻辑推理、以及通用性、泛化性、不确定性知识、学习能力等领域拥有惊人的性能提升，其模型技术知识能力提升超过20%，数学/推理/代码/文创能力提升超过30%。同时，“天工...……更多
2024-04-01 19:56:00万维,昆仑,模型,将于,同步,参数
...市场拱手让人。另一方面，随着大模型产业的快速发展，推理成本飞速下降，也成为终端降价的基础。据百度官方透露，相比一年前，文心大模型的算法训练效率提升到了原来的5.1倍，周均训练有效率达到98.8%，推理性能提升了1...……更多
2024-05-29 09:29:00模型,逻辑,背后,国产,竞争,模型
...本Claude 3.5 Sonnet。从官方披露的测试数据来看，其在逻辑推理、编程、数学等方面中的表现性能均超越GPT-4o。网友直言，“太卷了，现在AI竞争是要以周为单位了吗？”
从官方介绍来看，Claude 3.5全家桶仍会有3款系列模型，分别...……更多
2024-06-21 11:50:00逻辑推理,推理,逻辑,视觉,方面,模型
...读】o1大火背后，最关键的技术是CoT。模型通过一步一步推理，恰恰是「慢思考」的核心要义。而这一观点，其实这家国内大厂早就率先实现了。OpenAI的理念，居然被国内公司抢先践行了？比起OpenAI，这家公司的idea提出得更早，...……更多
2024-09-21 09:50:00周鸿,前瞻,应用,模型,推理,协作
...人生轨迹的海量创业者们。目前来看，Open AI很可能成为新时代里的苹果公司——就连创始人被驱逐出董事会再回归的桥段，都如此相似。就算它无法复制苹果的成功，微软和谷歌也足够有野心。在中国创业圈，AI狂飙的剧情正在...……更多
2023-12-07 09:42:00大厂,还是,机会,公司,模型,王小川
...一定启示。日前，相关论文以《大型语言模型评价中的元推理革命》（MR-GSM8K: A Meta-Reasoning Revolution in Large Language Model Evaluation）为题发在 arXiv，曾忠燊是第一作者，香港中文大学教授贾佳亚担任通讯作者 [1]。图……更多
2024-03-04 10:23:00革新,模型,范式,中文,推理,团队
...模型的短板，此前行业也多次讨论过大模型的数学和复杂推理能力较差，即便是目前最好的大模型GPT-4也仍然有很大进步空间。最近的一次，第一财经曾在6月报道过，根据司南评测体系OpenCompass的高考全卷测试，包括GPT-4在内，7...……更多
2024-07-17 11:56:00实测,模型,模型,数学,小数,问题
...何题，多少差了点意思。
但这次的 k1 就有说法了，既有推理能力又有视觉能力，意思就是可以直接拍照上传解题，还号称能在数理化上打平甚至超越 Open AI 的 o1 。那要是这么比的话，咱可就来劲了。正好， k1 新模型现在也不...……更多
2024-12-19 00:21:00看风水,情趣,模型,能力,推理,更多
... 3.5依旧答错了。LeCun在此嘲讽大模型一番，大模型竟可以推理...？问题在于，LLM没有常识，不理解现实世界，也不会规划和推理。LLM行不行，就看提示了一位网友分析总结了，以上LLM失败的原因。他表示，LLM本身就是个「哑巴」...……更多
2024-07-01 08:58:00菲尔,得主,难题,经典,农夫,模型
更多关于科技的资讯：
在制造业提质增效的浪潮中，那些藏在生产环节里的“细枝末节”，往往藏着撬动效益升级的关键密码。近日，太重包储分公司的散件箱优化项目传来捷报
2025-09-24 07:52:00
文｜胡香赟编辑｜海若镜港股迎来今年第11家上市的创新药公司。9月19日，劲方医药在港交所挂牌，首日涨幅接近110%、市值逼近150亿
2025-09-24 06:26:00
中国青年报客户端北京9月23日电（中青报·中青网记者 沈杰群）今天，2025北京文化论坛平行论坛——“虚实无界：视听产业融合破圈”在北京国际饭店会议中心举行
2025-09-24 00:03:00
9月22日下午，在百余家江苏企业代表的共同见证下，中信银行“小天元”企业生态服务平台江苏区域发布会暨“进万企 信服惠企”系列活动在南京成功举办
2025-09-23 23:15:00
北京市科学技术委员会牵头，京冀相关单位共建智能模具科技成果转化中试平台一个平台，推动黄骅模具迈向高端9月11日，智能模具科技成果转化中试平台工作人员正在操作四轴机床进行生产
2025-09-23 08:49:00
数智化转型，让电厂越来越智慧——AI赋能千行百业一线故事（十二）8月28日，石家庄良村热电有限公司生产技术部专业主管苏朝宏介绍智慧展厅
2025-09-23 08:53:00
“产业炬光灯”系列短视频于厦门日报官方视频号、抖音号、快手号、B站账号、央视频账号等全媒体平台同步上线，首期节目走进中材航特
2025-09-23 08:58:00
厦门网讯（厦门日报记者 林雯）旧低效工业用地加速变身科创高地。近日，随着位于思明区前埔片区的2025P13、2025P14地块成功出让
2025-09-23 08:58:00
国网厦门供电公司为厦门天马微电子有限公司创造更优质、更稳定的用电环境。（国网厦门供电公司 供图）“EASIER用电”品牌厦门网讯（厦门日报记者 刘艳 通讯员 林艳婷 高芳 郭芷祎）近年来
2025-09-23 08:58:00
鲁网9月22日讯数字化浪潮正在席卷千行百业，山东移动泰安分公司（简称：泰安移动）以“技术赋能、生态协同、梯次服务”为核心
2025-09-23 10:01:00
9月16日-17日，2025腾讯全球数字生态大会在深圳举办。大会期间，深圳市企鹅网络科技有限公司（以下简称“企鹅网络”）与腾讯云正式签署战略合作协议
2025-09-23 10:39:00
在全民健康意识提高与消费升级的双重驱动下，新一代父母对儿童营养的重视程度前所未有。消费需求愈发细分、专业，推动儿童营养品行业从“标准化供给”向“专业化服务”转变
2025-09-23 11:20:00
文｜邱晓芬编辑｜苏建勋2023年底，全球出货量最大的动作捕捉设备提供商"诺亦腾（Noitom）"联合创始人戴若犁，一度以为自己被骗了
2025-09-23 20:47:00
在人工智能技术日臻成熟的2025年，AI已不再是科幻概念或实验室产物，而是深度融入职场生态的“数字同事”。从“工具”走向“伙伴”
2025-09-23 11:37:00