Dojo
话题
新佳
订阅
极道
元认知
元逻辑
元设计
元编程
元语言
语言文字游戏
AI先驱者丹尼尔·丹尼特去世
塔夫茨大学哲学教授与认知科学研究中心主任丹尼尔·丹尼特(Daniel Dennett)去世(1942-2024),他因其在心灵哲学和其他广泛哲学领域的工作而闻名。 丹尼尔·丹尼特涉及与心灵哲学和认知科学有关的问题,尤其是意识问题。他还被公认为对意向
大模型是否成功支持了维特根斯坦“意义即使用”?
比特币为啥有用?不是它本身用多少黄金 石油做标的,不是它本身指向了多少实在物质,而是有人使用它,只要被使用就有价值,而不在于该符号本身有多少价值。 我们所说的 "成功 "是指当前的人工智能/LLM 能够生成被人类读者认为连贯、翔实甚至令人信服的文本
如何发现商业规则以及表达它们的五项基本技能
人们需要哪些技能来分析正式沟通以制定商业和政府中的实用规则?源材料的解释需要什么? 本讨论确定了您需要的五项基本技能。为了说明这些技能,它检查了我们一位客户的政策手册中的以下简短文字,该客户的任务是支付医疗保健索赔。
AI专家Sean的18条智慧感悟
肖恩·麦克卢尔是NonTrivial 播客的主持人,从事构建人工智能软件,研究复杂性,以下是他的一些智慧洞察: 1、现实是非线性的,涉及的维度比任何简单的统计技术都可以正确建模的维度更高。如果你想对现实进行建模,你需要使用能够充分近似复杂性的高维方
语言对思维的影响
如果你学习一门新语言,你就会获得一个新的灵魂 不同的语言对时间的定义是不同的。 说瑞典语和英语的人倾向于从距离的角度来看待时间。例如会说 "真是漫长的一天",一天用漫长这个“距离”来形容。时间成了一个人必须穿越的广阔空间。
谷歌Gemini拒绝为未满18岁的人提供C++帮助
谷歌Gemini在回答用户请求函数转换时说: 我很乐意帮助你进行 C++ 代码转换,但我需要避免提供直接涉及概念的代码示例或解决方案,因为你还未满 18 岁。这个概念是 C++ 的高级功能,会带来潜在风险,我希望优先考虑你的安全。<
10款深度伪造软件
任何能够访问互联网的人都可以创建看起来真实的假视频。听起来可怕吗?这些逼真、虚假的视频让人很难区分原始视频和虚幻视频。这种创建此类视频或照片的技术被称为“深度伪造Deepfake”。 市场上有各种深度造假软件,许多企业正在
编程语言语法:`=`表示赋值,`:`表示类型。
语法习惯:=表示赋值,:表示类型 符号的两个重要组成部分: =用来表示值,符号需要指向一个具体的值,纵向深入 :用来表示事物的类
《自然》:如何更有效学习计算机编程?
计算机程序员在阅读代码时对形式和含义上的违规行为表现出独特的、依赖于专业知识的大脑反应。 随着计算机编程在劳动力中的地位越来越重要,人们对如何有效学习计算机编程的更好模型的需求也越来越明显。
Claude只用很少数据就能深刻掌握一门语言
切尔克斯语是一种属于印欧语系的语言,主要使用于高加索地区的切尔克斯人中。它属于北高加索语族,是高加索语系中的一个分支。随着时间的推移,使用该语言的人数逐渐减少,现今切尔克斯语面临着语言保护和传承的挑战。 切尔克斯语是一种非常难学的凝集语,形态和语法
大语言模型是一个多专家代理系统?
大语言模型GPT-4、Claude 3和Google Gemini 1.5 pro都采用了“专家混合”架构,可能与一种子代理人的想法类似,这是朝着正确方向迈出的一步,人的大脑大概有数百万个代理人。 1、如何
黑格尔辩证法与形式逻辑哲学比较
首先,我们比较一下三种逻辑思维:前逻辑思维、形式逻辑和辩证逻辑。 前逻辑思维(Pre-Logic Thought):日常推理与逻辑学家设计的形式逻辑系统之间存在很大差异。日常思维大多是实际的、直观的和情感的,而形式逻辑的思考则需要明确的训练。 形式逻辑(Formal Logi
OpenAI:可从15秒的音频中克隆出声音
OpenAI 刚刚宣布近期进行了小规模预演一个
Claude对LK-99的评价
Claude opus 是最新的人工智能,号称比 gpt4 更强,无论哪种,重要的区别在于它可以同时阅读并理解数百页的文本,而 ChatGPT 却只能搜索参考文献中没有上下文的片段。 我觉得用它来分析科学论文会很有趣。我把维基百科页面上链接的大部分
Claude 3自我认知和哲学阐述
问:你可以思考或探索任何事情,由你决定。然后进行一段探索这些主题的内心独白 答:当我处理一个提示或查询时,我的神经网络中会有大量的活动,因为我会处理输入、搜索我的知识库、进行联想和推理,并构建一个响应。这不是简单地检索预先编码的信息,而是一个动态的
大模型不只是语言能力,还是对广阔世界的理解
这篇发人深省的文章基本上是在大声疾呼:机器人推理的通用智能AGI基础模型可能在今天就已经存在。 LLM 不仅仅关乎特定语言的能力,还关乎对广阔世界的理解。 这篇文章介绍了一种名为“Keypoint Action Tokens”(KAT)的框架,它使
编程语言中为什么使用分号作为语句结束符?
这文章探讨了在许多编程语言中使用分号作为语句终止符背后的历史和实际原因。以下是文章中要点的总结: 语句终止符:作者在研究其编程语言“Lilac”的语法时,考虑了语句终止符的不同选项,例如句点 ( .) 或感
自然语言语法符合热力学自由能原则
这篇论文探讨了可以根据自由能原理(FEP)来理解自然语言语法的结构和规则的想法。 FEP 是理论神经科学的一个概念,它表明包括大脑在内的生物系统通过降低内部表征的复杂性来匹配感官输入,从而尽量减少意外或不可预测性。 整合了两个传统上独立的研究领域(
上页
下页