“有用”的数学不能“滚出高考”
网友“誓言与谎言”说:“数学是典型的西方逻辑学,在科研方面确实很需要。不过为了生存,我感觉还是我们自己要向古人去学习。”扼杀了艺术生?网友“ENGLISHLEARNER”说:“数学不知道扼杀了多少艺术生,它们艺术方面特别好,就因为数学没能考入理想大学。”摧残青少年身心?网友“胖子4pangzi”说:“网友抱怨的是数学...
CoT神话破灭,并非LLM标配!三大学府机构联手证实,CoT仅在数学符号...
虽然这些论文没有被归类为数学逻辑,但其中一些在某种程度上与逻辑、数学或符号推理相关。从这个列表中可以看出,从CoT中获益最多的数据集是BIG-benchHard。还有BIG-benchTemporal、MMLU-MoralScenarios都涉及到了基本简单问题的组合。同时,还有几个异常值,也隐约遵循这一趋势。比如,ScienceQ是由一系列自然和社会...
人工智能的真面目到底是什么?是数学、逻辑学,还是计算机科学?
因此,我们可以说数学是人工智能的基础之一。逻辑学同样在人工智能中发挥着重要作用。早期的专家系统就是基于逻辑推理构建的。逻辑学提供了一种形式化的方法来描述和推理世界,使得计算机能够模拟人类的思维方式进行推理和决策。虽然现代的深度学习技术已经不再直接使用逻辑推理,但逻辑学的思想仍然影响着人工智能的发展。
所有的数学问题都可以简化为逻辑问题吗?
数学的核心是通过定义、定理和证明来研究数学对象之间的关系,这些内容不仅仅依赖于逻辑,还包含了数学特有的符号、公式、算法等等。逻辑则更侧重于语句和命题之间的推理和结构,它关注于推断的有效性、推理规则的正确性以及命题之间的逻辑关系。逻辑问题更集中于真理和推理的形式,以及推理的过程本身,而不涉及数学对象的具...
体会数学逻辑之美
数数、加减乘除是数学,分类、归纳、抽象思考也是数学;负数、指数是数学,逻辑思维、空间想象也是数学;正弦、余弦是数学,想象力、好奇心、创造力更是数学。这本书拨开层层公式和定理的阻隔,展示了真正的数学之美。每个学科都有一个评估事物真相的标准。这些标准往往超越了“感觉是对的”“我说它正确它就正确”或“...
《数学的逻辑》:数字源于我们简化世界的渴望
《数学的逻辑》,[英]郑乐隽著,崔凯译,中信出版集团2024年3月版数学的“规则”来自哪里为什么1+1=2?对于这个问题,一个可能的回答是:“因为它就是这样!”它所隐含的意思是:“因为我就是这么说的!”这是一个让一代又一代孩子无比沮丧的回答(www.e993.com)2024年10月21日。“因为我就是这么说的”意味着有那么一个高高在上的权威人...
...V3.5 体验:整体接近 GPT-4,逻辑推理、数学、语音交互有优势
总体来说,在逻辑思维能力方面,讯飞星火V3.5和GPT-4都展现了很不错的逻辑推理和避坑能力,其中讯飞星火V3.5在第一题中还小胜了一下。4、数学答题前面我们测试过两款大模型的逻辑推理能力,与之相似的其实还有数学答题的能力,可以更进一步检测大模型的“智商水平”。
讯飞星火逻辑推理、数学、代码等能力进阶 助力行业刚需领域提质增效
“文本生成提升7.3%,语言理解提升7.6%,知识问答提升4.7%,逻辑推理提升9.5%,数学能力提升9.8%,代码能力提升8.0%,多模态能力提升6.6%。”科大讯飞董事长刘庆峰在发布中介绍。其中,讯飞星火V3.5的语言理解、数学能力已超过GTP-4Turbo,代码能力达到GPT-4Turbo96%,多模态理解达到GPT-4V91%。随着...
查尔默斯 | 实在是一个数学结构吗
《世界的逻辑构造》的真正关键不是用主观经验或物理学的词汇来描述世界。真正的关键是用结构的词汇来描述世界——此处特指逻辑结构和数学结构。卡尔纳普的目标是给出他所谓的对实在的结构描述:用逻辑和数学的术语给出对实在的完整描述。卡尔纳普借助铁路系统进行了结构描述。我用纽约地铁来举例子。下图包含了曼哈顿下半...
王浩诞辰百年:可能是中国最伟大的逻辑学家,他的学术生涯与爱国情怀
王浩是享誉世界的数理逻辑学家、计算机科学家、哲学家。1983年,国际人工智能联合会与美国数学会共同将首届“里程碑奖”授予他。其关于数理逻辑的一个命题被命名为“王氏悖论”。中国科学院研究员、智能系统专家王飞跃曾经在《王浩印象》一文中提出,王浩是华人在数理逻辑和人工智能方面成就最大的人,也是上一世纪全世界...