[Agent 考古] 秘书要求他离开房间——一个程序为什么让人想跟它说心里话
ELIZA 1966 是"目标驱动的符号单体"这一第一组织形式的退化形态。它用零推理、零知识、零目标创造了智能错觉,确立了"智能"的下界。这个下界的存在本身就极具启发性——它迫使我们重新思考"智能"到底是什么。
[Agent 考古] 像冰箱一样大的家伙,是怎么学会推箱子的
STRIPS 如何把 Logic Theorist 的状态空间搜索和 McCarthy 的"陈述句告知"推进为一套可操作的规划系统,又如何在框架问题上撞上了第一组织形式的本质边界。
[Agent 考古] 陈述句革命:告诉AI事实,让它自己想该做什么
McCarthy 在《Programs with Common Sense》中提出不要用祈使句(命令代码)指挥机器,而要用陈述句(事实与规则)告知机器。
[Agent 考古] 1956 年圣诞,三个男人发明了一台会”思考”的机器——但没人在乎
Logic Theorist 证明了"机器能推理",LLM 证明了"机器能语言",现代 Agent 试图把"语言"变成"行动"的接口——三者共享同一个远大目标,但走着不同的技术路线,而 Logic Theorist 对后两者的影响是谱系性的而非因果性的。
[Agent 考古] 符号单体时代:范式最深刻的否定者,恰恰在范式内部孕育(阶段二导航)
Minsky 1986《心智社会》否定单体结构,Brooks 1986 subsumption 否定中央世界模型,两条伏线在 Brooks 1991《无表征智能》§5.1 明文交汇。本文是三条反叛伏线(接口·结构·机制)的总领导航,勾勒三块基石与三个否定的对应关系,为后续四篇深度文章提供阅读路径。
[Agent 考古] 符号单体时代:第一组织形式的确立与反叛(阶段二导航)
1956-1976,AI 的第一个范式:目标驱动的符号单体(一个拥有显式世界模型、通过逻辑推理达成目标的单体系统。)逐渐成熟并暴露了自生的根本问题
[Agent 考古] AI 组织形式的七次重分配(总领导航)
"Agent"这个词的含义至少经历了七次实质性的变迁。每一次变迁都不只是术语的翻新,而是控制流所有权的一次重新分配——谁有权决定机器下一步做什么、谁能编辑那份"承诺执行的行动计划",答案在人和机器之间、在单体和网络之间、在代码和权重之间,不断地转移。
个人博客“安全运维”:实用指北
顺便整理了自己的日常“安全运维”过程。 主要包括:如何判断新漏洞尝试关我的事情嘛?我如何处理WAF和腾讯主机安全的告警?
因为前几天Next.js漏洞闹的人心惶惶。我看到热新群友发出提醒的时候,就很想知道这关我的事情嘛?白激动了一场。
是人也看不清的动态验证码生成与破解
尝试玩一种很新的验证码,以为谁也破解不了的。以为能注册个专利走上人生巅峰的,结果第二天就。。。。。。真的很抽象很抽象,想到我曾经想拿这个去申请专利我就想笑。
还有求wordpress Latex呈现方案嘛。现在使用md转HTML插入,加载又慢,效果又差。
【方法论】机器学习先做特征选择还是参数寻优?
在监督学习中,特征选择应被视为模型训练的一部分,而非独立于模型的预处理环节。使用默认参数进行特征选择可能误删有用特征,影响模型性能。实验表明,特征与模型之间存在高度耦合,某些特征(如LPCC)在特定模型下表现优异,而另一些(如FBank与动态特征的组合)则可能适得其反。因此,建议采取“特征-模型协同设计”思路,分阶段评估特征有效性,并结合模型的“特征偏好”进行优化,以提升整体识别性能。