• RAG(Retrieval-Augmented Generation:检索增强生成) 是一个人工智能框架,用于减轻大模型的“幻觉”问题。 大语言模型的回答经常可能不一致。有时他们会确定问题的答案,有时他们会从训练数据中反省随机事实。如果他们有时听起来像是不
  • 拉宾-斯科特定理(Rabin-Scott  theorem )是数学上最深刻的数学结果之一。拉宾-斯科特定理是人们最喜欢的计算机科学概念之一。 当正确理解拉宾-斯科特定理时,它会以一种相当基本的方式改变你对现实的看法。然而,它典型的教科书式的呈现方式掩盖了
  • 世上本无鬼,鬼是一个没有内容的符号,因为没有内容,它是形式的,类似数学符号、计算机语言符号。 每个人都可以向这个符号里面加入自己的内容和理解,证明自己的存在和思考。 上海万圣节的特点是cosplay这个内容元素的 icon
  • 伯特兰·罗素 (Bertrand Russell) 1927 年发表的文章《为什么我不是基督徒》认为基督教没有证据和理性的充分支持。 它考察了常用来支持上帝信仰的各种论据,并发现它们的不足。 罗素反驳了设计的论点,指出适应是自然选择 icon
  • 我认为解决问题的模式大致有三类--背诵、直觉和推理。 背诵:你只需识别到一个已知的问题,然后运用你所学到的步骤。就像下棋开局一样。(例如考试填试卷) 直觉:面对新情况,你(大部分是下意识地)将其与之前遇到的情况进 icon
  • 这个新定义反映了过去五年人工智能的发展。更新后的经合组织定义将继续作为经合组织国家和其他地方立法和监管的基础。 新定义如下:人工智能系统是一种基于机器的系统,为了明确或隐含的目标,从接收到的输入推断如何生成输出,例如预测、内容、建议、或可能 icon
  • 这篇文章讨论了卡尔·萨根的“胡说八道检测套件”,这是科学家用来评估新想法和检测欺骗的工具和技术。 该工具包不仅仅是一个科学工具,更确切地说,它包含健康怀疑主义的宝贵工具,这些工具同样优雅且必然地应用于日常生活。通过采用该工具包,我们都可以保护自己免 icon
  • 这篇来自麻省理工学院的文章揭示了大​​型语言模型 (LLM) 的一些潜在革命性的东西——它们所做的不仅仅是文字游戏。它们实际上是在自己形成时间和空间的连贯表示。 它揭示了大型语言模型 (LLM) 的潜在革命性特征。这些模型正在形成时间和空间的连贯表 icon
  • 这篇文章讨论了大语言模型(LLM)和语言学领域之间的关系,大语言模型和语言学:探索联系并重新开启辩论。 大型语言模型的开发主要是工程的壮举,到目前为止很大程度上与语言学领域脱节。探索这两个方向之间的联系正在重新开启语言研究中长期存在的争论。 icon
  • 周三,《剑桥词典》宣布2023 年年度词汇是“hallucinate(幻觉)”,原因是ChatGPT等大型语言模型 (LLM) 的流行,这些模型有时会产生错误信息。该词典还发布了一个解释该术语的 icon
  • 本文介绍了格塔德-冈特(Gotthard Günther)富有远见的工作,他试图通过二阶控制论来操作黑格尔的辩证法,促使人们探索解决计算系统中复杂性的挑战。 古典形而上学假设知识过程中只存在两种位置:知识的主体和产生知识的客体。 icon
  • 我与 Steve Spear 博士合着的新书《 icon
  • 伪散文Pseudoprose提供了使用语义而非语法进行写作的技巧。 伪散文是作家的伪代码。 伪散文被提出作为一种使用具有宽松语法和句法规则的自然语言快速记下笔记和想法的方法。关键概念包括: icon
  • 来自《自然》杂志的文章:人工智能“突破”:神经网络具有类似人类的语言泛化能力。 两位科学家创建了一个人工神经网络,它展示了类似人类的语言概括能力。 人工智能 (AI) 系统在将新学到的单词折叠到现有词汇中 icon
  • 可访问性Accessibility 是一个很长的词。它不是最容易阅读或拼写的单词,因此它似乎是一个很好的缩写词。 accessibility 的常用缩写是 a11y。 取自 accessibility 的开头A和结尾Y,11 代表中间的字母数。这个 icon
  • 从人类反馈中强化学习(RLHF)是一种用于训练高质量人工智能助手的流行技术。然而,RLHF 也可能鼓励模型做出与用户信念相匹配的反应,而不是真实的反应,这种行为被称为 "谄媚"。 我们研究了在 RLHF 训练的模型中 "谄媚 "行为的普遍性,以及人 icon
  • 为函数、变量和其他结构找到好的名称,我们真正认识到我们正在解决的问题的本质。 清晰性的结果不仅是好的名称,还有更清晰的代码和改进的体系结构。 90% 的干净代码编写“只是”正确命名。 icon
  • 美国宇航局的BIDARA 是一个 GPT-4 聊天机器人,旨在帮助科学家和工程师理解、学习和模仿生物所使用的策略,以创建可持续的设计和技术。 这个生物启发设计和研究助理说明了特定领域的词汇表如何推动更复杂的想法。< icon