#自然语言

avatar
Geek
1周前
Smart Excalidraw 用自然语言驱动 AI 绘制专业图表
#自然语言 #AI #图表 #Smart Excalidraw
avatar
赵纯想
2周前
InsForge解决了VibeCoding从创意到产品上线的最后一公里的问题。也就是对新人来说最难的部分：后端。后端像一座大山，吃架构，吃经验，吃逻辑。InsForge托管了几乎后端的一切，让你可以用自然语言的方式来提需求。速速操作起来，让你的产品真正可登录、可使用、接受市场的检验。详情见我上一条视频。
独立创业者如何突破零收入困境，迈向月入1000元· 242 条信息
#InsForge #VibeCoding #后端 #自然语言 #产品上线
avatar
AIGCLINK
3周前
Claude Skill：Vibe working的时代来临，每个人都可以用自然语言构建专业的workflow，以结果为导向替代人和岗位的新时代来临 Claude skill等同于简历里的skill，使用大模型的解决问题的方式越来越接近人类的工作协同方式，渐进式信息加载到context是claude skill的核心设计思想。
Claude Skills系统发布引发AI行业新变革· 50 条信息
#claude skill #自然语言 #Workflow #大模型 #工作协同
avatar
形式语言：单纯二元 = 布尔逻辑（0/1）-二进制计算机 自然语言：三元 = 模糊逻辑（包含"程度"维度）-LLM
#形式语言 #自然语言 #二元 #三元 #逻辑
avatar
若智能是一种“交互中的生成现象”，那么最能编程它的语言不是形式语言，而是能触发“结构共振”的自然语言——或更广义的“具身符号系统（embodied semiotic system）”。 •形式语言的优势在于可验证与封闭性，但其语义空间是固定映射（fixed mapping），无法承载多层动态反馈。 •自然语言则是一种开放的能量–意义耦合介质，它允许多时间尺度的模糊映射，使智能系统在上下文中持续重组意义。 换言之：形式语言编程“计算”，自然语言编程“智能”。
#智能 #自然语言 #形式语言 #编程 #具身符号系统
avatar
自然语言上下文不是被”翻译”成权重更新，而是直接在潜空间中”编译”成权重更新。 形式语言上下文需要额外的翻译步骤： 形式语言 → 解析 → 语义表示 → 潜空间向量 → ΔW 自然语言上下文直接映射： 自然语言 → 潜空间向量 → ΔW 这就是为什么LLM”更喜欢”自然语言。 其实人也一样，更喜欢自然语言。形式语言源自自然语言中对确定性计算的不足的需要。
#自然语言 #形式语言 #LLM #权重更新 #潜空间
avatar
形式语言的疆域是计算，自然语言的疆域是交流。 acOS与“交互范式编程”的唯一疆域，是自然语言的交互边界。其核心使命是： 提升语言接口的带宽、降低其损耗、并揭示其炼金过程，从而让“主体”与“主体”之间（包括人与AI，人与过去的自己）的认知传输，尽可能地接近“无损”。
#形式语言 #自然语言 #交互范式编程 #认知传输 #人与AI交互
avatar
自然语言的社会解释性是其功用本质所在，形式语言根植于自然语言，我们企图将我们生存确定性追求的形式化来消解解释性的必要，逻辑哲学如是，数学化证明更是这种消解的极致。
#自然语言 #社会解释性 #形式语言 #逻辑哲学 #数学化证明
avatar
池建强
2个月前
ChatGPT 开始任务 task 功能的内测了 用自然语言的方式为用户设置提醒，完成任务，执行计划等，目前还没灰度到我😂 支持完全任务完成通知，通过网页、桌面和移动平台发送。 允许用户同时运行最多10个活动任务，超出限制需暂停或删除任务。 功能仍处于测试阶段，不支持语音任务设置或连续后台搜索。
OpenAI新德里发布会：ChatGPT语音翻译功能引发热议· 657 条信息
#ChatGPT #任务功能 #内测 #自然语言 #任务管理
avatar
最近范老师对于LLM在自然语言能力与形式语言能力的现象观察着迷，这一能力似乎不能在一个Transformer模型内并存，这如我们人类相似，一个伟大的程序员也不能写出优美的诗句：😍 一是像Anthropic在code方向突飞猛进，在Claude3.7以后更是激进，我们看到的是编程coding能力更强了，尤其是结合claude code cli工具，但是claude 4在自然语言写作方面明显退化了，我个人的感受是现在都不怎么用claude来写作了。同时Anthropic在LLM可解释性方向组建了一个AI精神病研究小组。 二是Google DeepMind在用AI参加IMO数学竞赛的方式上的变化：imo24上还用纯强化学习的alpha geometry 和lean这种形式语言工具来解题，到了imo25则直接用gemini pro deepthink版本直接获得了金牌。似乎是用内化了形式语言能力的LLM自然语言能力。 三则是OpenAI，The Infomation在GPT-5发布之前爆料说，o3在形式语言推理能力上非常突出，但用于chatbot一般对话中似乎很明显的感受到变笨降智了。 前两天发布的GPT-5中增加了个router层，似乎想解决LLM在交互中的自然语言能力与形式语言能力的无感切换问题，不过通过发布后用户反馈，似乎切换并不顺利，OpenAI正在修复router的问题以及重新提供gpt-4o等旧版本模型选项。 以上这一系列现象观察，背后反映了怎样的问题？与前面我们讨论的人类对于自然语言形式语言的能力运用有何本质联系？
#LLM能力 #范老师观察 #自然语言 #形式语言 #模型退化
avatar
这个数字世界是形式语言的，最终还是自然语言的； 写在GPT-5发布前夕，就看Altman有没有忽悠我们了…
OpenAI新德里发布会：ChatGPT语音翻译功能引发热议· 657 条信息
#GPT-5 #Altman #自然语言 #形式语言 #技术预测
avatar
AGI 可能在不知不觉中已经到来： 当大部分人还沉迷在手机屏幕展示的算法里的时候，自然语言驱动的LLM已经内化形式语言（编程、数学等）逻辑工具拿到了奥数金牌。
#AGI #LLM #自然语言 #形式语言 #奥数
avatar
向阳乔木
3个月前
Augment原来可以通过自然语言让它记住一些规则。 还是第一次发现。 原以为只能通过规则和Markdown文件记录。
#augment #自然语言 #规则 #知识记录
avatar
形式语言的不完备性和自然语言的开放性意味着什么？ 哥德尔定理揭示了形式逻辑的极限，自然语言则演化出一种不求完备但极具适应力的生成机制，这恰恰体现了人类语言作为生存智能的一种深层本质。
#哥德尔定理 #形式语言 #自然语言 #不完备性 #开放性
avatar
sitin
4个月前
AI 出现以后，肉眼可见越来越多的人，能够借助新的工具，直接通过自然语言和 AI 交互，做出还不错的产品。AI 改变了我们编程的方式 Sam Altman 在前两天的文章《温和的起点》中所说：2025 年，我们编写计算机代码的方式将彻底改变。这是一个多么动人的时代。 👉
AI编程工具激战：Claude Code、Gemini Cli崛起· 1164 条信息
#AI #编程 #Sam Altman #自然语言 #未来
avatar
这个必须转：Sakana AI的关键工作。 Text-to-LoRA抽象了微调的复杂性，将核心技能从数据工程转向简洁的任务描述。这是模型专业化民主化的重大飞跃，使非技术专家能够使用自然语言创建定制适配器。
#Sakana AI #Text-to-LoRA #微调 #模型专业化 #自然语言 #定制适配器 #数据工程 #民主化
avatar
自然语言不可替代， 并且我认为， 我们将会越来越多地使用自然语言， 而不是很明显是Chat GPT生出来的人机语言。
#自然语言 #人机交流 #Chat GPT
avatar
Ehco
5个月前
一方面震惊于居然现在已经有人这么用 cursor 写代码了 另一方面又在想可能真的某一天之后,编程语言这种人和机器交互的中间语言会被自然语言彻底替代掉 希望那一天到来之后是人类生产力的进一步解放,让我们有更多时间和能力去做更有意思的事情,而不是 大.内.卷 时代的来临
#cursor写代码 #编程语言 #自然语言 #人类生产力 #内卷
avatar
响马
7个月前
自然语言只适合描述浅显且不清晰的需求，否则这几十年就不会发展出编程语言了。
#自然语言 #编程语言 #需求描述 #技术发展