最不可思议的是,达里奥做出了一个大胆的预测,而他✨说对了✨。他并没有说90%的工作将由人工智能完成,而是说90%的代码将由人工智能编写。如今,我自己的代码中90%都是由人工智能编写的。 这怎么能说是不对的呢? 目前,在 HVM4 上: → opus 编写了 95% 的解析器 → opus 编写了 95% 的语法糖 → opus 撰写了 80% 的互动 → opus 编写了 70% 的自动复制内容 → opus 编写了 100% 的数值运算 (17) → opus 写道 80% 的结构平等 → opus 编写了 100% 的 UTF-8 支持 → opus 完成了 100% 的模块组织工作 是的,代码简洁优美、运行速度快、正确无误,通过了数百项测试,而且我现在每天都在用它开发 SupGen。 不信?那我就把 HVM4 的 git 日志贴在评论里。全程都是 Claude 干的。自己看! 那么,Opus 有什么做不到的呢? → 任何新颖的事物 → 任何需要真正洞察力的事物 →任何需要长期规划的事情 →不管那是什么…… 例如,基础架构、初始文件、架构设计、设计选择——所有这些都是我一手打造的。它做不到这一点,因为它无法读取我的想法,因为它是全新的事物,因为它需要洞察力。即使它记住了HVM3,也无法推导出HVM4的那些进步。LLM(语言学习模型)不具备这种能力。 一个更近期的例子:我今天早些时候发布的终止递归枚举器。你在网上找不到这个算法。即使是 Agda/Lean 也未能正确实现它。它不在“人类数据库”中。它需要真正的智能,所以,LLM 做不到,因为它们只不过是高级的查找表而已。 有些事情我仍然需要花费大量时间。思考需要大量时间,计划也需要大量时间。法学硕士学位并不能帮我完成这些。 但是,达里奥并没有说他们会 他说这将编写我90%的代码 嗯,确实如此……
本月 HVM4 git 日志 https://tgist.githubusercontent.com/VictorTaelin/7…
那么达里奥还声称了什么?