科普书单·新书|数学有什么用
《数学的雨伞下:理解世界的乐趣》[法]米卡埃尔·洛奈 著,[法]克洛伊·布沙伍尔 绘,欧瑜 译,人民邮电出版社·图灵新知,2023年6月版从代数、几何到相对论,从温度计到黑洞,作者用简洁而生动的笔触阐释了如何用数学更好地思索、观察与理解世界。数学就像一把雨伞,当撑开这把雨伞时,我们仿佛进入了一个奇特
《数学的雨伞下:理解世界的乐趣》[法]米卡埃尔·洛奈 著,[法]克洛伊·布沙伍尔 绘,欧瑜 译,人民邮电出版社·图灵新知,2023年6月版从代数、几何到相对论,从温度计到黑洞,作者用简洁而生动的笔触阐释了如何用数学更好地思索、观察与理解世界。数学就像一把雨伞,当撑开这把雨伞时,我们仿佛进入了一个奇特
大数据巨头Databricks与哥伦比亚大学最新研究发现,在数学和编程任务上,LoRA干不过全量微调。具体来说,在这两种任务中,LoRA模型的精确度只有后者的八到九成左右。不过,作者也发现,LoRA虽然学得少,但是“记忆力”却更好,遗忘现象要比全量微调少得多。究其原因,作者认为是数学和代码任务的特性
斯坦福大学的研究人员发现,ChatGPT版本更新后,对相同的问题给出了不同回答。
GPT-4数学能力还能更强!新研究发现GPT-4代码解释器做题准确率与其使用代码的频率有关。为此,研究人员提出新方法对症下药,直接将其数学能力拔至新SOTA:在MATH数据集上,做题准确率从53.9%增加到了84.3%。你没听错,就是前段时间被称为ChatGPT推出后最强模式的那个代码解析器(Cod
Transformer挑战者、新架构Mamba,刚刚更新了第二代:更重要的是,团队研究发现原来Transformer和状态空间模型(SSM)竟然是近亲??两大主流序列建模架构,在此统一了。没错,这篇论文的提出的重磅发现:Transformer中的注意力机制与SSM存在着非常紧密的数学联系。团队通过提出一个叫结构化状态空间二元性的理论框架,把这两大模型家族统一了起来
要点:陶哲轩支持的AI奥林匹克数学奖推出,奖金高达500万美元,旨在寻找能够在IMO竞赛中获得金牌的大型AI模型。AI-MO大赛要求参赛AI模型具备与人类相同的数学解题格式和生成可读答案的能力,由IMO标准评分,金牌水平的AI将获得500万美元大奖。XTX Markets发起的AI-MO比赛将于20
作为一门高度抽象化和具有逻辑推理特性的研究,数学建模似乎离我们很遥远。事实上,日常生活中运用到数学模型解决问题的事例俯拾皆是:打车系统里,算法会匹配距离乘客更近的司机、规划最快到达目的地的行程路线;购物平台上,算法会调配库存充足的出货仓、计算中途的运转站和物流配送车辆......对大部分人来说,使用
19日讯,上海人工智能实验室旗下司南评测体系OpenCompass选取了7个大模型进行高考“语数外”全卷能力测试。OpenCompass发布了首个大模型高考全卷评测结果。语数外三科加起来的满分为420分,此次高考测试结果显示,阿里通义千问2-72B排名第一,为303分,OpenAI的GPT-4o排名
被誉为“工业软件之芯”的求解器,长年由国外垄断,国产自研进度如何了?最近,工信部产业发展促进中心等单位专门举办了一场比赛(首届能源电子产业创新大赛),让国产求解器在电网调度的复杂场景下PK了一番。为什么求解器这么受重视?
中山大学和华为等机构的研究者提出了 LEGO-Prover,实现了数学定理的生成、整理、储存、检索和复用的全流程闭环。背景作为长链条严格推理的典范,数学推理被认为是衡量语言模型推理能力的重要基准,GSM8K 和 MATH 等数学文字问题(math word problem)数据集被广泛应用于语言模型