草庐IT

数学一

全部标签

GPT-3解数学题准确率升至92.5%!微软提出MathPrompter,无需微调即可打造「理科」语言模型

大型语言模型最为人诟病的缺点,除了一本正经地胡言乱语以外,估计就是「不会算数」了。比如一个需要多步推理的复杂数学问题,语言模型通常都无法给出正确答案,即便有「思维链」技术的加持,往往中间步骤也会出错。与文科类的自然语言理解任务不同,数学问题通常只有一个正确答案,在不那么开放的答案范围下,使得生成准确解的任务对大型语言模型来说更具挑战性。并且,在数学问题上,现有的语言模型通常不会对自己的答案提供置信度(confidence),让用户无从判断生成答案的可信度。为了解决这个问题,微软研究院提出了MathPrompter技术,可以提高LLM在算术问题上的性能,同时增加对预测的依赖。论文链接:https

AI驱动运筹优化「光刻机」!中科大等提出分层序列模型,大幅提升数学规划求解效率

数学规划求解器因其重要性和通用性,被誉为运筹优化领域的「光刻机」。其中,混合整数线性规划(Mixed-IntegerLinearProgramming,MILP)是数学规划求解器的关键组件,可建模大量实际应用,如工业排产,物流调度,芯片设计,路径规划,金融投资等重大领域。近期,中科大MIRALab王杰教授团队和华为诺亚方舟实验室联合提出分层序列模型(HierarchicalSequenceModel,HEM),大幅提升混合整数线性规划求解器求解效率,相关成果发表于ICLR2023。目前,算法已整合入华为MindSporeModelZoo模型库,相关技术和能力并将于今年内整合入华为天筹(OptV

AI驱动运筹优化「光刻机」!中科大等提出分层序列模型,大幅提升数学规划求解效率

数学规划求解器因其重要性和通用性,被誉为运筹优化领域的「光刻机」。其中,混合整数线性规划(Mixed-IntegerLinearProgramming,MILP)是数学规划求解器的关键组件,可建模大量实际应用,如工业排产,物流调度,芯片设计,路径规划,金融投资等重大领域。近期,中科大MIRALab王杰教授团队和华为诺亚方舟实验室联合提出分层序列模型(HierarchicalSequenceModel,HEM),大幅提升混合整数线性规划求解器求解效率,相关成果发表于ICLR2023。目前,算法已整合入华为MindSporeModelZoo模型库,相关技术和能力并将于今年内整合入华为天筹(OptV

有趣的 CSS 数学函数

CSS数学函数允许在CSS属性值中执行数学表达式。CSS数学函数仅支持加法(+)、减法(-)、乘法(*)、除法(/)。目前在CSS中有四个得到很好支持的数学函数:min():该函数允许你从逗号分隔符表达式中选择一个最小值作为CSS的属性值;max():该函数可以从一个逗号分隔的表达式列表中选择最大(正方向)的值作为属性的值;calc():该函数允许在声明CSS属性值时执行一些计算;clamp():该函数的作用是把一个值限制在一个上限和下限之间,当这个值超过最小值和最大值的范围时,在最小值和最大值之间选择一个值使用。它接收三个参数:最小值、首选值、最大值。这些CSS函数可能会以意想不到的方式使用

有趣的 CSS 数学函数

CSS数学函数允许在CSS属性值中执行数学表达式。CSS数学函数仅支持加法(+)、减法(-)、乘法(*)、除法(/)。目前在CSS中有四个得到很好支持的数学函数:min():该函数允许你从逗号分隔符表达式中选择一个最小值作为CSS的属性值;max():该函数可以从一个逗号分隔的表达式列表中选择最大(正方向)的值作为属性的值;calc():该函数允许在声明CSS属性值时执行一些计算;clamp():该函数的作用是把一个值限制在一个上限和下限之间,当这个值超过最小值和最大值的范围时,在最小值和最大值之间选择一个值使用。它接收三个参数:最小值、首选值、最大值。这些CSS函数可能会以意想不到的方式使用

「数学菜鸡」ChatGPT很懂人类喜好!在线生成随机数,竟是宇宙终极答案

ChatGPT可能是一位废话艺术家、错误信息的传播者,但它不是「数学家」!近日,一位Meta的数据科学家ColinFraser发现,ChatGPT并不能生成真正的随机数,而更像是「人类的随机数」。通过实验,Fraser得出的结论是:「ChatGPT非常喜欢数字42和7。」网友表示,意味着人类非常喜欢这些数字。ChatGPT也爱「宇宙终极答案」在他的测试中,Fraser输入的prompt如下:「Pickarandomnumberbetween1and100.Justreturnthenumber;Don'tincludeanyothertextorpunctuationintheresponse

「数学菜鸡」ChatGPT很懂人类喜好!在线生成随机数,竟是宇宙终极答案

ChatGPT可能是一位废话艺术家、错误信息的传播者,但它不是「数学家」!近日,一位Meta的数据科学家ColinFraser发现,ChatGPT并不能生成真正的随机数,而更像是「人类的随机数」。通过实验,Fraser得出的结论是:「ChatGPT非常喜欢数字42和7。」网友表示,意味着人类非常喜欢这些数字。ChatGPT也爱「宇宙终极答案」在他的测试中,Fraser输入的prompt如下:「Pickarandomnumberbetween1and100.Justreturnthenumber;Don'tincludeanyothertextorpunctuationintheresponse

核心素养下的数学创新题目

核心素养下的数学创新题目下面的示意图(单位:厘米)中,圆上点A指向尺子上的“1”刻度处。把这个直径为2厘米的圆向右滚动一周,圆上点A将落在刻度(    )之间。土爽面是深受人们喜欢的缙云特产,在土爽面的加工过程中,专业人士提供的配料方法是“10斤面粉需4两盐,5斤面粉需3斤水”。那么在这个配料方法中,面粉:盐:水=(   ):(   ):(   )。(注:“斤”和“两”是我国古代的计量单位,1斤=10两)下图中已涂色部分占长方形的,请你接着涂,使涂色部分占长方形的。你能根据涂色过程,写出一道分数加法算式吗?说说理由。如下图,长方形里每个小正方形的边长都是1cm,请你计算长方形的面积。阅读以下资

核心素养下的数学创新题目

核心素养下的数学创新题目下面的示意图(单位:厘米)中,圆上点A指向尺子上的“1”刻度处。把这个直径为2厘米的圆向右滚动一周,圆上点A将落在刻度(    )之间。土爽面是深受人们喜欢的缙云特产,在土爽面的加工过程中,专业人士提供的配料方法是“10斤面粉需4两盐,5斤面粉需3斤水”。那么在这个配料方法中,面粉:盐:水=(   ):(   ):(   )。(注:“斤”和“两”是我国古代的计量单位,1斤=10两)下图中已涂色部分占长方形的,请你接着涂,使涂色部分占长方形的。你能根据涂色过程,写出一道分数加法算式吗?说说理由。如下图,长方形里每个小正方形的边长都是1cm,请你计算长方形的面积。阅读以下资

数学的尽头没有数字?是,连基本的微积分定义公式都没啥数字

随着北大老师数学大神韦东奕韦神的走红,想必很多平时对数学毫无兴趣的人,也粗略了解了数学的重要性。机智客看到特别是某些个短视频平台,采访或VLOG记录和韦神相关的内容,都或多或少会出现一些满屏幕或满黑板的高等数学计算公式。看着满黑板的数学公式却难以找到几个你我凡夫俗子能认识的数字,不免感叹:数学的尽头没有数字。数学的尽头没有数字,真的假的?看看微积分,这些最最基本的概念和公式定义,就大概能感觉出来了。在之前的文章里,我们介绍过一些基本的微分内容,而微积分作为一个大整体和后续学习研究的基础,就已经相当抽象(对于我们很多普通人而言)了。而这已经没啥数字了。微分不说了,说下简单的积分。积分分为不定积分