这就是疯狂的部分,达里奥做出了一个大胆的声明,他是✨对的✨。他没有说90%的*工作*将由AI完成。他说90%的*代码*将由AI编写。今天,我自己的90%代码是由AI编写的。 这怎么不是对的呢? 目前,在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的进展。LLMs没有能力做到这一点。 一个更近期的例子:我今天早些时候发布的终止递归枚举器。你在网上找不到那个算法。甚至Agda/Lean也没有正确实现它。它不在“人类的数据库”中。它需要实际的智能,因此,LLMs无法做到这一点,因为它们只是被美化的查找表。 我做的一些事情仍然需要大量时间。思考需要大量时间,规划需要大量时间。LLMs无法为我做任何这些。 但是,达里奥并没有说它们会。 他说它将编写我90%的代码。 而且,确实如此...
Haider.
Haider.12月7日 14:30
达里奥没有错 我大约80-90%的代码是由AI编写的 我生成、审查和完善,这让我感觉生产力提高了10倍,就像有一个非常优秀的初级开发者在帮忙 以这个速度,连架构部分可能也不会再保持“纯人类”了
HVM4 本月的 git 日志 Claude 一路走来
此外,你可以看到一些提交,比如: "bug wip" 这实际上是我创建一个文件来隔离某个bug。然后我启动Claude,让它找到问题,而我在做其他事情。几乎总是能准确找到罪魁祸首。我提交后继续前进。节省了很多时间。
那么Dario还声称了什么呢?
96.19K