首页 > 数学

数学

  • 科普书单·新书｜数学有什么用

    《数学的雨伞下：理解世界的乐趣》[法]米卡埃尔·洛奈 著，[法]克洛伊·布沙伍尔 绘，欧瑜 译，人民邮电出版社·图灵新知，2023年6月版从代数、几何到相对论，从温度计到黑洞，作者用简洁而生动的笔触阐释了如何用数学更好地思索、观察与理解世界。数学就像一把雨伞，当撑开这把雨伞时，我们仿佛进入了一个奇特

  • LoRA数学编程任务不敌全量微调|哥大&Databricks新研究

    大数据巨头Databricks与哥伦比亚大学最新研究发现，在数学和编程任务上，LoRA干不过全量微调。具体来说，在这两种任务中，LoRA模型的精确度只有后者的八到九成左右。不过，作者也发现，LoRA虽然学得少，但是“记忆力”却更好，遗忘现象要比全量微调少得多。究其原因，作者认为是数学和代码任务的特性

  • GPT-4数学再提30分代码解析器任督二脉被打开网友：像大脑的工作方式

    GPT-4数学能力还能更强！新研究发现GPT-4代码解释器做题准确率与其使用代码的频率有关。为此，研究人员提出新方法对症下药，直接将其数学能力拔至新SOTA：在MATH数据集上，做题准确率从53.9%增加到了84.3%。你没听错，就是前段时间被称为ChatGPT推出后最强模式的那个代码解析器（Cod

  • 新架构Mamba更新二代！作者：别争了，数学上Transformer和SSM是一回事

    Transformer挑战者、新架构Mamba，刚刚更新了第二代：更重要的是，团队研究发现原来Transformer和状态空间模型（SSM）竟然是近亲？？两大主流序列建模架构，在此统一了。没错，这篇论文的提出的重磅发现：Transformer中的注意力机制与SSM存在着非常紧密的数学联系。团队通过提出一个叫结构化状态空间二元性的理论框架，把这两大模型家族统一了起来

  • AI奥林匹克数学奖推出奖金高达500万美元

    要点:陶哲轩支持的AI奥林匹克数学奖推出，奖金高达500万美元，旨在寻找能够在IMO竞赛中获得金牌的大型AI模型。AI-MO大赛要求参赛AI模型具备与人类相同的数学解题格式和生成可读答案的能力，由IMO标准评分，金牌水平的AI将获得500万美元大奖。XTX Markets发起的AI-MO比赛将于20

  • 对话晞德求索CTO林锦坤：数学GPT如何击破求解器「围墙」？

    作为一门高度抽象化和具有逻辑推理特性的研究，数学建模似乎离我们很遥远。事实上，日常生活中运用到数学模型解决问题的事例俯拾皆是：打车系统里，算法会匹配距离乘客更近的司机、规划最快到达目的地的行程路线；购物平台上，算法会调配库存充足的出货仓、计算中途的运转站和物流配送车辆......对大部分人来说，使用

  • 首个AI高考全卷评测结果发布：最高分303数学全不及格

    19日讯，上海人工智能实验室旗下司南评测体系OpenCompass选取了7个大模型进行高考“语数外”全卷能力测试。OpenCompass发布了首个大模型高考全卷评测结果。语数外三科加起来的满分为420分，此次高考测试结果显示，阿里通义千问2-72B排名第一，为303分，OpenAI的GPT-4o排名

  • 像搭乐高一样做数学定理证明题，GPT-3.5证明成功率达新SOTA

    中山大学和华为等机构的研究者提出了 LEGO-Prover，实现了数学定理的生成、整理、储存、检索和复用的全流程闭环。背景作为长链条严格推理的典范，数学推理被认为是衡量语言模型推理能力的重要基准，GSM8K 和 MATH 等数学文字问题（math word problem）数据集被广泛应用于语言模型

热门文章