- 我的订阅
- 头条热搜
我们正处于一个信息大暴发的时代，每天都能产生数以百万计的新闻资讯！
虽然有大数据推荐，但面对海量数据，通过我们的调研发现，在一个小时的时间里，您通常无法真正有效地获取您感兴趣的资讯！
头条新闻资讯订阅，旨在帮助您收集感兴趣的资讯内容，并且在第一时间通知到您。可以有效节约您获取资讯的时间，避免错过一些关键信息。
本文将介绍数学推理场景下的首个分布外检测研究成果。该篇论文已被 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模型,国产,模型,推理,能力,数学
...凸优化理论、神经网络优化理论、机制设计等领域有颇多研究成果。姚期智姚期智是中国科学院院士、清华大学交叉信息研究院院长；同时也是“图灵奖”创立以来首位获奖的亚裔学者、迄今为止获此殊荣的唯一华人计算机科学...……更多
2024-09-24 13:36:00维图,院士,逻辑,模型,一致,理论
...学习活动，旨在引导学生进行操作、观察、分析、猜想和推理等数学活动，在经历数学知识的“再创造”与“再发现”过程中，亲身体验数学、理解数学。
“数学实验”不是让学生机械地、盲目地操作，而是融入学生的数学思...……更多
2023-10-31 09:06:00师生,教育,数学,实验,教育,儿童
...同步揭晓。这项赛事的目的是推动发展大语言模型的数学推理能力，训练出更高数学水平的新AI模型。纯数学领域中的重大发现是推理和创造力的灵感结晶，往往意味着人类智慧极限的突破。迄今为止，解决或协助解决高等级数...……更多
2024-06-14 11:54:00奥数,选手,数学,国际,数学,数学家
...共同交流探讨小学基础认知能力训练与游戏化教学的最新研究成果和教学方法，有效推进小学基础认知能力的训练与低段数学游戏化教学的发展。 ……更多
2024-05-24 10:00:00数学教学,路径,数学,质量,小学,教学
...课堂改革方案得失，梳理实施过程与实践经验，总结提炼研究成果，作为课堂教学改革的重要参考。
（二）解决问题方法1、由于教学进度压力和教材内容设置与实际教学的差异，教师要巧妙设计课堂教学，拆分和整合有关内容...……更多
2024-09-05 21:39:00诸城,课堂,老师,数学,学生,学习
【新智元导读】TS-Reasoner是一个创新的多步推理框架，结合了大型语言模型的上下文学习和推理能力，通过程序化多步推理、模块化设计、自定义模块生成和多领域数据集评估，有效提高了复杂时间序列任务的推理能力和准确性...……更多
2024-10-29 09:55:00推理,时间序列,序列,框架,难题,突破
...型讯飞星火V3.5在语言理解、文本生成、知识问答、逻辑推理、数学能力、代码能力和多模态能力七个方面进行了全面升级。其中语言理解、数学能力超过GPT-4 Turbo，代码达到GPT-4 Turbo 96%，多模态理解达到GPT-4V 91%。此外，讯飞星...……更多
2024-01-30 22:41:00讯飞,星火,成果发布,成果,全国,平台
...大学和香港大学、复旦大学的知名专家教授分享了他们的研究成果、行业见解和实践经验，众多海内外著名学者、专家、企业家等获邀出席活动，让本次论坛的交流更为国际化、多元化。上海市经济和信息化委员会信息基础设施...……更多
2024-07-06 08:26:00技术创新,认知,主题,交流,世界,平台
...也反映了人类在推理测试中的认知偏差？”她总结自己的研究成果称，这些大语言模型“经常表现出非理性推理，但表现方式与人类不同”。在伦敦大学学院教授兼机器智能实验室主任米尔科·穆索莱西的指导下，麦克米伦-斯科...……更多
2024-06-12 18:15:00逻辑推理,推理,逻辑,模型,语言,模型
...拨算盘，而是一起研究算理和算法。学算理、学算法、学推理……经过精心打磨的珠算课指向学生数学核心素养的培养，这是天一实验小学交出的教育教学改革成果之一，也是全体教师深耕课堂探寻高质量发展之路的缩影。新课...……更多
2023-11-29 06:38:00标下,高质量,课堂,密码,课堂,天一
...共有8点：1 强化学习加持的o1，比人类更善于发现新的CoT推理步骤2 自我批评的涌现，是o1最强有力的时刻3 让o1「超时」前完成回答，然后突然有了「啊哈」时刻
4 scaling参数规模的挑战，以及继续沿着强化学习算法进步之路5 许...……更多
2024-09-23 09:50:00整版,金牌,团队,人类,时刻,视频
...主要概念“亏值”和“奇异方向”之间的具体联系。这一研究成果，被命名为“杨—张定理”。次年，杨乐与张广厚带着研究成果赴瑞士参加国际分析会议。在他们的报告结束之后，函数值分布论专家奈望林纳和阿尔弗斯表示，...……更多
2023-10-24 02:26:00史册,中国,中国人,名字,数学,世界
...主题进行深入讨论，共同探讨数学与人工智能领域的最新研究成果和未来发展趋势。作为全球性高级别学术研讨会，此次会议由华院计算技术（上海）股份有限公司创始人董事长、斯梅尔数学与计算研究院执行院长宣晓华担任主...……更多
2024-07-10 22:53:00人工智能,人工,智能,学术会议,学术,大会
...。谷歌表示，现有的人工智能模型通常只处理一种类型的推理，如图片或文本，而 Gemini 的设计是“多模式”的。这意味着它接受包括多种媒体类型的输入，组合文本、图像、音频、视频和编程代码。未来，谷歌还计划将 Gemini添...……更多
2023-12-07 16:15:00神仙,模型,观察,科技,模型,任务
...erdisciplinarity），形成成果，并最终通过采纳（Adoption）将研究成果转化为实际影响。底部的合作（Partnerships）、安全与责任（Safety & responsibility）贯穿始终，确保整个流程高效且符合道德规范。虽然很多要素看起来直观，但Dee...……更多
2024-11-27 18:23:00科学家,实验室,科研,指数,实验,科学
...感解译基础模型。在技术创新方面，为有效突破遥感模型推理的性能和速度瓶颈，联合研究团队自主研发了一套基于热传导的内核工作架构，大幅提升模型推理速度，计算速度较传统结构模型提升2.4倍以上。该模型目前已表现出...……更多
2024-09-23 11:41:00空天,济南,第一届,大会,技术,信息
...出的巨大潜力，而这种潜力的核心基石正是智能体的复杂推理能力。与当下广受关注的 OpenAI-o1 及其追随者略有不同，大多数实用的 AI Agent 往往需要在特定场景下发挥作用。这种情况类似于普通人类：虽然不是每个人都需要具备...……更多
2024-12-11 09:53: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科创,高质量,力量,产业,发展,科技
更多关于科技的资讯：
快科技12月14日消息，当前汽车行业竞争多激烈有目共睹，就连顶级的汽车制造商大众汽车、顶级的汽车零部件供营商博世集团，都无法逃脱裁员
2024-12-15 00:17:00
快科技12月15日消息，据国内媒体报道称，工业和信息化部、市场监管总局、国家消防救援局近日联合发布《电动自行车用锂离子电池健康评估工作指引》
2024-12-15 00:47:00
12月15日消息，中国中化控股有限责任公司原党组书记、董事长宁高宁公开表示，中国电动车有多卷、有多大的竞争，实际上在整个全球市场上
2024-12-15 00:47:00
12月14日，CNMO注意到，小鹏汇天在上海举行了“陆地航母”首次用户线下活动。小鹏陆地航母上海CBD首飞小鹏汇天CEO赵德力表示
2024-12-15 00:51:00
近日，CNMO注意到，有数码博主放出了2024年第49周，即12月2日至12月8日的中国智能手机市场销量前十机型，由上至下分别为
2024-12-15 00:54:00
12月12日，备受瞩目的“第16届中国高端家电趋势发布暨红顶奖颁奖盛典”在北京隆重举行。本次盛典由中国家用电器协会指导
2024-12-15 00:58:00
12月14日，CNMO注意到，比亚迪旗下的纯电车型海豹成功拿下了2024-2025日本年度风云车“十大最佳车型”奖。这一奖项由历史悠久的“日本年度风云车评选委员会”颁发
2024-12-15 00:59:00
近日，CNMO注意到，摩托罗拉宣布在日本发布最新款折叠屏手机。据外媒报道，摩托罗拉计划于12月19日在日本发布摩托罗拉Razr50d
2024-12-15 01:02:00
12月13日下午，中汽测评公布了乐道L60车型的C-NCAP测试成绩，该车成功通过了C-NCAP测试，并且获得了五星评价
2024-12-15 01:05:00
12月13日，据博主@懒酱的日记本消息，小米为REDMIK80Pro推送了最新的小米澎湃OS2正式版内测更新，版本号为OS2
2024-12-15 01:05:00
近年来，AI技术在智能手机上的应用呈现出百花齐放的态势，从语音助手到智能推荐，从影像优化到实时翻译，AI的深度应用不断为用户献上更智能
2024-12-15 01:06:00
科技界迎来了一则备受瞩目的消息：裴宇领导下的Nothing公司即将推出一款全新的折叠屏手机，暂命名为NothingFold（1）
2024-12-15 01:08:00
近期，苹果公司传出了一则重大生产计划，计划将其备受欢迎的AirPods生产线扩展至印度，此举标志着继iPhone之后，AirPods将成为苹果在印度本土组装的又一核心产品
2024-12-15 01:09:00
数据和信息安全的重要性日渐凸显，政府会议，高端商务会议等都对信息安全提出了更高要求。在此背景下，录音的全离线转译的能力成为录音笔产品的核心竞争力
2024-12-15 01:10:00