- 我的订阅
- 头条热搜
我们正处于一个信息大暴发的时代，每天都能产生数以百万计的新闻资讯！
虽然有大数据推荐，但面对海量数据，通过我们的调研发现，在一个小时的时间里，您通常无法真正有效地获取您感兴趣的资讯！
头条新闻资讯订阅，旨在帮助您收集感兴趣的资讯内容，并且在第一时间通知到您。可以有效节约您获取资讯的时间，避免错过一些关键信息。
本文将介绍数学推理场景下的首个分布外检测研究成果。该篇论文已被 NeurIPS 2024 接收，第一作者王一鸣是上海交通大学计算机系的二年级博士生，研究方向为语言模型生成、推理，以及可解释、可信大模型。该工作由上海交通...……更多
2024-12-03 13:33:00研究成果,推理,场景,成果,检测,数学
...一定启示。日前，相关论文以《大型语言模型评价中的元推理革命》（MR-GSM8K: A Meta-Reasoning Revolution in Large Language Model Evaluation）为题发在 arXiv，曾忠燊是第一作者，香港中文大学教授贾佳亚担任通讯作者 [1]。图……更多
2024-03-04 10:23:00革新,模型,范式,中文,推理,团队
...解决复杂数学问题的能力。通过此，他们不仅提高了算法推理速度，还提高了算法搜索中间结果的质量。所新推出的数据集 TriMaster100，也更加符合算法在复杂数学问题下的评价场景。目前，赵子龙的合作者正在基于本次成果开...……更多
2024-03-13 10:26:00数学,数学题,科学家,模型,辅导,课程
...历新一轮技术范式的变化，预训练 Scaling Law 放缓之后，推理时间计算成为了新的性能提升关键。两个月前，OpenAI o1 的诞生再次引领了大模型技术的突破。从后训练阶段入手，通过更多的强化学习、原生的思维链和更长的推理时...……更多
2024-11-19 09:50:00模型,国产,模型,推理,能力,数学
...学习活动，旨在引导学生进行操作、观察、分析、猜想和推理等数学活动，在经历数学知识的“再创造”与“再发现”过程中，亲身体验数学、理解数学。
“数学实验”不是让学生机械地、盲目地操作，而是融入学生的数学思...……更多
2023-10-31 09:06:00师生,教育,数学,实验,教育,儿童
...凸优化理论、神经网络优化理论、机制设计等领域有颇多研究成果。姚期智姚期智是中国科学院院士、清华大学交叉信息研究院院长；同时也是“图灵奖”创立以来首位获奖的亚裔学者、迄今为止获此殊荣的唯一华人计算机科学...……更多
2024-09-24 13:36:00维图,院士,逻辑,模型,一致,理论
...同步揭晓。这项赛事的目的是推动发展大语言模型的数学推理能力，训练出更高数学水平的新AI模型。纯数学领域中的重大发现是推理和创造力的灵感结晶，往往意味着人类智慧极限的突破。迄今为止，解决或协助解决高等级数...……更多
2024-06-14 11:54:00奥数,选手,数学,国际,数学,数学家
...共同交流探讨小学基础认知能力训练与游戏化教学的最新研究成果和教学方法，有效推进小学基础认知能力的训练与低段数学游戏化教学的发展。 ……更多
2024-05-24 10:00:00数学教学,路径,数学,质量,小学,教学
...课堂改革方案得失，梳理实施过程与实践经验，总结提炼研究成果，作为课堂教学改革的重要参考。
（二）解决问题方法1、由于教学进度压力和教材内容设置与实际教学的差异，教师要巧妙设计课堂教学，拆分和整合有关内容...……更多
2024-09-05 21:39:00诸城,课堂,老师,数学,学生,学习
...型讯飞星火V3.5在语言理解、文本生成、知识问答、逻辑推理、数学能力、代码能力和多模态能力七个方面进行了全面升级。其中语言理解、数学能力超过GPT-4 Turbo，代码达到GPT-4 Turbo 96%，多模态理解达到GPT-4V 91%。此外，讯飞星...……更多
2024-01-30 22:41:00讯飞,星火,成果发布,成果,全国,平台
【新智元导读】TS-Reasoner是一个创新的多步推理框架，结合了大型语言模型的上下文学习和推理能力，通过程序化多步推理、模块化设计、自定义模块生成和多领域数据集评估，有效提高了复杂时间序列任务的推理能力和准确性...……更多
2024-10-29 09:55:00推理,时间序列,序列,框架,难题,突破
...大学和香港大学、复旦大学的知名专家教授分享了他们的研究成果、行业见解和实践经验，众多海内外著名学者、专家、企业家等获邀出席活动，让本次论坛的交流更为国际化、多元化。上海市经济和信息化委员会信息基础设施...……更多
2024-07-06 08:26:00技术创新,认知,主题,交流,世界,平台
...也反映了人类在推理测试中的认知偏差？”她总结自己的研究成果称，这些大语言模型“经常表现出非理性推理，但表现方式与人类不同”。在伦敦大学学院教授兼机器智能实验室主任米尔科·穆索莱西的指导下，麦克米伦-斯科...……更多
2024-06-12 18:15:00逻辑推理,推理,逻辑,模型,语言,模型
...拨算盘，而是一起研究算理和算法。学算理、学算法、学推理……经过精心打磨的珠算课指向学生数学核心素养的培养，这是天一实验小学交出的教育教学改革成果之一，也是全体教师深耕课堂探寻高质量发展之路的缩影。新课...……更多
2023-11-29 06:38:00标下,高质量,课堂,密码,课堂,天一
...主要概念“亏值”和“奇异方向”之间的具体联系。这一研究成果，被命名为“杨—张定理”。次年，杨乐与张广厚带着研究成果赴瑞士参加国际分析会议。在他们的报告结束之后，函数值分布论专家奈望林纳和阿尔弗斯表示，...……更多
2023-10-24 02:26:00史册,中国,中国人,名字,数学,世界
...共有8点：1 强化学习加持的o1，比人类更善于发现新的CoT推理步骤2 自我批评的涌现，是o1最强有力的时刻3 让o1「超时」前完成回答，然后突然有了「啊哈」时刻
4 scaling参数规模的挑战，以及继续沿着强化学习算法进步之路5 许...……更多
2024-09-23 09:50:00整版,金牌,团队,人类,时刻,视频
...主题进行深入讨论，共同探讨数学与人工智能领域的最新研究成果和未来发展趋势。作为全球性高级别学术研讨会，此次会议由华院计算技术（上海）股份有限公司创始人董事长、斯梅尔数学与计算研究院执行院长宣晓华担任主...……更多
2024-07-10 22:53:00人工智能,人工,智能,学术会议,学术,大会
...erdisciplinarity），形成成果，并最终通过采纳（Adoption）将研究成果转化为实际影响。底部的合作（Partnerships）、安全与责任（Safety & responsibility）贯穿始终，确保整个流程高效且符合道德规范。虽然很多要素看起来直观，但Dee...……更多
2024-11-27 18:23:00科学家,实验室,科研,指数,实验,科学
...。谷歌表示，现有的人工智能模型通常只处理一种类型的推理，如图片或文本，而 Gemini 的设计是“多模式”的。这意味着它接受包括多种媒体类型的输入，组合文本、图像、音频、视频和编程代码。未来，谷歌还计划将 Gemini添...……更多
2023-12-07 16:15:00神仙,模型,观察,科技,模型,任务
...感解译基础模型。在技术创新方面，为有效突破遥感模型推理的性能和速度瓶颈，联合研究团队自主研发了一套基于热传导的内核工作架构，大幅提升模型推理速度，计算速度较传统结构模型提升2.4倍以上。该模型目前已表现出...……更多
2024-09-23 11:41:00空天,济南,第一届,大会,技术,信息
...提供了一种通用工具，可用于揭示广泛存在的物理和生物场景中复杂系统中的隐藏模式。邬荣领介绍，该互作网络能够解析随机、非线性、不确定的自然现象，还可以作为人工智能的一个底层框架，为人工智能提供数学基础。据...……更多
2024-10-15 11:00:00雁栖湖,雁栖,应用数学,北京,研究院,成果
...些学科的深入研究往往需要高度的抽象思维和严密的逻辑推理，“用几个方程式‘纸上谈兵’，可以解释宇宙里边的很多重要的结构，这是很有趣的事情。”然而，基础学科绝非纸上的空谈，对于推动科学技术的进步和创新具有...……更多
2024-04-28 16:44:00数学,帮助,数学,科学,清华大学,人工智能
...办？CMU清华团队提出了Lean-STaR训练框架，在语言模型进行推理的每一步中都植入CoT，提升了模型的定理证明能力，成为miniF2F上的新SOTA。如果想训练LLM证明定理的能力，你会怎么做？既然模型可以通过海量语料学会生成文本，那...……更多
2024-08-10 09:47:00顶新,成数,清华,模型,训练,高手
...，实现持续的反馈循环，使“AI科学家”能够迭代改进其研究成果。在最初的演示中，该“AI科学家”针对扩散模型、Transformer模型(一种用于处理语言数据的神经网络模型)，以及AI“领悟”(grokking)等机器学习子领域进行了深入研...……更多
2024-09-12 07:47:00科学家,科研,自动化,科学,时代,科学家
...实现了里程碑式的突破。AlphaProof 是一种用于形式化数学推理的强化学习系统，而 AlphaGeometry 2 是 DeepMind 几何求解系统 AlphaGeometry 的改进版本。正式比赛中，AlphaProof+AlphaGeometry 2 组合成的 AI 系统在几分钟内就……更多
2024-10-30 09:54:00大牛,核心,作者,学习,学习,算法
...成相关的文章、报告或广告内容。（3）数据驱动的决策推理算法通过精确分析和利用现有数据，数据驱动的决策推理算法能够显著提高决策的准确性和效率。适用于金融市场分析、医疗诊断支持系统，以及企业战略规划等场景...……更多
2024-03-25 18:00:00四川省,喜报,四川,研究中心,工程技术,数字
...科技技术团队代表在会议中向国际AI学界展示集团的最新研究成果。信也科技副总裁、大数据及AI负责人陈磊,以及首席科学家王春平在会议期间发表演讲,图像识别资深专家吴圣健的一作论文被会议收录,在现场进行学术报告。作...……更多
2024-08-13 16:09:00多维,实力,国际,科技,科技,陈磊
...。基于原创的认知架构理论框架，以及自主研发的学习和推理框架，“通通”拥有独特的“心智”：她会因为好奇而走进一个个房间看有什么新鲜事物；她拥有主动视觉能力，看到牛奶撒到地上，爱干净的“通通”会主动寻找抹...……更多
2024-04-26 11:07:00中关,中关村,科技成果,成果,智能,科技
...注。在深圳展区，云天励飞最新研发的一款人工智能边缘推理芯片，有望让大模型的技术赋能到千行百业。据介绍，该推理芯片是国内首创的国产14nm Chiplet大模型推理芯片，采用自主可控的国产工艺，内含国产RISC-V核，采用自主...……更多
2024-02-19 09:23:00科创,高质量,力量,产业,发展,科技
...人物、名人、IP互相交互的AI Agent。通义星尘生成的侦探推理游戏。图源：作者拍摄但单纯的对话场景并非阿里云想要发力的方向。据工作人员介绍，通义星尘未来希望与游戏厂商合作。传统的NPC只能根据预制会话做出反馈，但...……更多
2023-11-04 13:47:00阿里,杭州,生态,焦点,应用,分析
更多关于科技的资讯：
快科技3月18日消息，今日晚间，广汽昊铂旗下全新车型昊铂HL正式开启预售，共推出6款车型（4款纯电/2款增程），预售价区间为27
2025-03-18 23:56:00
快科技3月18日消息，中国科学院北京基因组研究所（国家生物信息中心）陈非团队、计算技术研究所谭光明和卜东波团队以及中科计算技术西部研究院段勃团队合作
2025-03-18 23:56:00
快科技3月18日消息，一次简简单单的试驾，居然被扣了9分。山东交警日前公布了一起交通违法案例，济南市公安局交通警察支队天桥区大队民警在二环西美里路开展交通违法整治行动
2025-03-18 23:56:00
快科技3月19日消息，腾讯最新公告，一口气开源5个3D生成模型，通过腾讯混元3D官网即可体验。据介绍，这5个开源模型均基于Hunyuan3D-2
2025-03-19 00:26:00
“零跑智驾在行动上布局得比较早，所以我们是一个受益者”，一场采访里，相对沉稳的朱江明在说完这句话后，轻松的笑了笑，可以看出那是一种自信的笑
2025-03-19 00:26:00
快科技3月19日消息，据公安部交通管理局官方介绍，“交管12123”原生鸿蒙版今日已经正式上线。“交管12123”是公安部官方互联网交通安全综合服务管理平台的唯一手机客户端应用软件
2025-03-19 00:26:00
快科技3月18日消息，AMD AI PC创新峰会今天在京举办。峰会现场，联想集团执行副总裁兼中国区总裁刘军，分享了联想全栈AI战略布局的新进展
2025-03-19 00:26:00
与世隔绝、密闭环境、恶劣天气、暴力袭击，这4个元素只要在电影中集结在一起，就意味着这绝对是一部恐怖电影。如今，电影情节照进现实
2025-03-19 00:26:00
以前开车想调个空调、导个航，得在屏幕上戳戳戳，不仅安全性不能保证，还很影响车主心情。智己这次直接放话：“以后不用碰屏幕
2025-03-19 00:26:00
不是，鸿蒙四界中的第五界，到底有几个？除了上汽官宣的尚界，阿维塔私传的塔界，还有华为手头握着的一大把界，什么仙界、天界等等
2025-03-19 00:26:00
本文转自：人民日报海外版叶 子 钱一苇 龚煜煊第135届广交会上，客商在体验海信智能大屏冰箱。新华社记者 卢汉欣摄在湖南省宁乡市金洲新城的格力暖通制冷设备有限公司
2025-03-19 03:56:00
本文转自：人民日报无缝对接，深度融合前景广（评论员观察）——市场新趋势 经济大机遇②李洪兴当创新链携手产业链，“汝之成果”是“彼之资源”
2025-03-19 05:50:00
本文转自：人民日报融合潮流文化，打造面对面社交体验——拥抱青年人，实体店焕发新活力（消费视窗·解码青年消费②）王 珂 付一凡安徽省合肥市蜀山区将原机械化粮库改造为新型商业设施
2025-03-19 05:59:00
2025年3月18日，AMD在北京举办“ADVANCING AI”AMD AI PC创新峰会，展示了其在中国AI PC生态系统中的强劲发展势头
2025-03-19 06:26:00
3月18日，AMD在北京举办了盛大的以“Advancing AI”为主题的AMD AI PC创新峰会，全面展示AMD在AI PC方面的创新成果
2025-03-19 06:26:00