首页 > 数学

数学

  • 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存在着非常紧密的数学联系。团队通过提出一个叫结构化状态空间二元性的理论框架,把这两大模型家族统一了起来

  • 讯飞星火4.0Turbo七大升级:数学能力远超GPT-4o

    1月15日消息,讯飞星火4.0 Turbo今日正式升级,七大能力全面超过GPT-4 Turbo。据介绍,讯飞星火4.0 Turbo在文本生成、语言理解、知识问答、逻辑推理、数学能力、代码能力、多模态能力迎来全新升级,在数学跟代码能力方面,也超过了性能最强的GPT-4o。

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

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

  • Kimi数学能力赶上o1后,月之暗面杨植麟分享行业思考

    OpenAI发布GPT5之前,中国大模型公司的下一步怎么走?11月16日,通用人工智能公司月之暗面创始人杨植麟分享了他的观点与思考。  现场,月之暗面旗下Kimi发布新一代数学推理模型 k0-math,是Kimi 推出的首款推理能力强化模型,也是杨植麟技术路线思考的直观体现。在他看来,行业接下来的重

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

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