这项数学史的伟大成就,归功于阿拉伯人
花拉子密的《代数学》于12世纪被翻译为拉丁文并在欧洲开始传播。花拉子密的拉丁文译名后来逐渐演变为algorism和algorithm这两个英文单词,前一个单词是“阿拉伯记数法”;后一个单词成为数学中的专有名词“算法”,即解决某种问题的特定的计算步骤。13世纪初,意大利数学家斐波那契(Fibonacci,约1175-约1250年)在代表...
汉字是全世界最优秀的文字!
目前英文总单词量超过100万,常用单词也有5万个左右(对应汉字6000常用字),而普通人2万左右的单词量(对应汉字3500常用字)只占常用单词的40%,因此普通美国人读书看报遇到不认识的字是很频繁的。中国小学毕业生可以流畅阅读《三国演义》、《西游记》、《水浒传》,而让美国小学毕业生去阅读《莎士比亚全集》、《雾都孤儿...
为大模型恶补数学,上交开源MathPile语料库,95亿tokens,还可商用
1.以数学为中心:不同于过去专注于通用领域的语料,如Pile,RedPajama,或者多语言语料ROOTS等等,MathPile专注于数学领域。尽管目前已经有一些专门的数学语料,但要么没有开源(比如Google用来训练Minerva的语料,OpenAI的MathMix),要么不够丰富多样(比如ProofPile和最近的OpenWebMath)。2.多样性:MathPil...
学霸大揭秘之英语备考秘籍,看完上大分!丨上财MBA/EMBA
1.利用碎片时间疯狂背单词:因为可支配时间有限,备考英语最重要的就是能增加词汇量的积累,不管是阅读、完型还是翻译,都需要认识单词和句子,所以背单词是必不可少的,现在市面上很多背单词的APP,选中一个自己习惯用的,利用上下班路上、等餐、上厕所等等碎片的时间背单词,一组5个、10个都可以,我是7月份就开始背...
AI即将打败人类奥数冠军,凭什么?
AlphaGeometry是个神经符号系统,主要包括一个神经语言模型(大语言模型)和一个符号演绎引擎。在这两部分当中,大型语言模型擅长识别数据中的一般模式和关系,因此它们可以快速预测可能有用的结构。但通常情况下,大型语言模型缺乏严格推理或解释的能力。这也是之前包括ChatGPT和GPT-4等大型语言模型在数学能力方面表现难如人...
被一支笔硬控不止30秒!大模型时代的学生辅导“全能选手”
在学生时代,尤其搜索题目寻找解题思路时,我最头疼的就是包含大量几何图形以及数学符号的数学题,想要通过键盘输入十分困难,但现在,我打开有道词典笔X7的AI拍照功能,就可以拍摄各种题目上传获取解题思路(www.e993.com)2024年9月26日。除了数学题,长篇幅的文言文也是如此,直接拍照识别是比较简单的上传方式,我可以通过语音交互直接提出自己的具体疑问,把...
2024年南京邮电大学硕士研究生考试大纲
合计250-350个单词。60汉译英3段,1段为科普类,2段为普通类。合计300-400个汉字。70合计150(注:上表的分值仅供参考,具体以考试实际分值为准)三、考试形式及时间《英语翻译基础》考试形式为笔试,考试时间3小时。《数学分析》考试大纲一、基本要求掌握数学分析中极限论、一元微积分学、级...
如何定量分析 Llama 3,大模型系统工程师视角的 Transformer 架构
这个矩阵就是我们的模型经过训练后学习到的参数,其中V是词表的大小,H是每一个单词学到的特征。这样把[B,S]矩阵中的数值作为索引ID,我们就可以找到所有对应行的特征H。例如如果[B,S]中的一个id是121,那就会去[V,H]矩阵中查到第122行(假设id从0开始)的一个[H]...
这项数学史的伟大成就,归功于阿拉伯人
花拉子密的《代数学》于12世纪被翻译为拉丁文并在欧洲开始传播。花拉子密的拉丁文译名后来逐渐演变为algorism和algorithm这两个英文单词,前一个单词是“阿拉伯记数法”;后一个单词成为数学中的专有名词“算法”,即解决某种问题的特定的计算步骤。13世纪初,意大利数学家斐波那契(Fibonacci,约1175-约1250年)在代表作...
小学背完四级单词,初中开授万人公开课,学霸是怎样炼成的?
小学:背完四级单词我读小学时英语并不受重视,不但经常被语文数学课“霸占”,甚至还会被改成体育。因此,三到五年级我几乎没认真上过英语课。即便六年级开了英语课,因为缺乏学习英语的意识和环境,大家在英语课堂上写其他作业、看课外书的情况也屡见不鲜。