美国AI发展再度加速,AI编程出什么事了?
美国AI发展再度加速,AI编程出什么事了?江湖上有1亿个信息奥赛金牌选手免费干活
1. 这个进展快得出乎我预料。但从2025年11月Claud Opus 4.5发布,事情就变得不一样。AI编程明显变异了,原理上也说得通了。我自己试了下AI编程,再加上天天和大模型聊,明白技术原理了。
2. 先要承认一个事,一堆AI做奥数是金牌选手水平。这是因为数学题是有确定答案的,对了就是对了。解题过程可核查验证,有解题套路,有海量题库,在token世界里推理就行,不涉及物理世界。目前AI还没有真正让数学界震惊的独立新证明,是证明了一些埃尔多斯难题,但主要是文献查找、简单技巧组合。这说明,AI是解题高手,只是还不如人类最顶尖的数学家,这些人能证明大问题、开创新领域。
3. AI作为解题高手已经很强大,逻辑能力强大到逆天了。数学研究阳春白雪,经济意义不大,但软件编程影响很大!什么是软件编程?其实也有信息奥赛,也和数学题一样,确定答案,编码跑通了验证结果,有算法套路,有海量代码与leet-code之类的题库,比数学题训练素材还多。编码也是在token世界里做事,与物理世界通过硬件分隔。因此,AI奥数牌、信息奥赛金牌都没有问题。什么算法问题、编码问题、优化问题,只要像数学题、算法题一样定义明确,AI都能解决得极好。2025年下半年,AI这个能力突破了。有利的是,软件编码比数学题要容易,正确的解法更多,更为开放。
4. 软件工程不是数学题算法题,需要多个模块协作,这让事情复杂了一些。但是,2025年AI最火的概念是Agent,多个智能体协作,正好能解决软件工程的事。有的负责编码,有的负责设计,有的负责测试,分工搭配。还有一个关键的事,人类选择了AI容易理解的Markdown格式,大大简化了训练。几个简单的agents.md,skills/*.md, plan.md,llms.txt文件,就用自然语言定义了AI要干的活。像魔法一样,AI以软件工程的办法快速自动编码,而且不需要干预的时间越来越长。这个事是2025年下半年发生的,个人认为,这相当于2022年末的ChatGPT突破。
5. 美国SaaS软件公司股价大跌,就是因为AI软件编码的突破是真实的。Claude演示性地花2万美元就做了一个非常复杂的编译器,软件公司没有门槛了,程序员的效率会有上百倍提升。可以确信,软件编码的范式已经变了,人类不用去变成编码专家,而是学习与AI互动,当指挥官一样。等于江湖上出现了1亿个信息奥赛金牌选手免费干活,人类不用自己编码了,干得远不如AI。但人类需要学习如何更新md文件,让AI能长时间自己编码、编译、排错、调试。
6. 人类的最后堡垒,是品味。AI解题编码一流,但软件除了功能,更关键的是品味,让人们用得舒服。AI可以做出100个软件版本,但不知道哪个好,人类知道,让AI调整。这让人觉得庆幸,AI还只是在token世界里混,没有感觉。明显的事实是,AI写不出很好的小说、博文。而这是人类的出路,有灵魂、有品味,指挥AI干活。如果人麻木地当程序员,不会有好出路了。
7. 还要警惕“美国AI不行被中国追上”的思潮。技术是客观的,突破就是突破了。我感觉,中国开源AI很优秀,但相比美国AI还缺了一些应用生态,算力也不足,能不被拉开很大差距已经不错了。这次软件编码的突破,是美国公司引领的,Anthropic成为近期最火的公司,找对了AI编程的方向。希望中国开源AI在编程上也取得突破,把自动编程魔法展示出来。例如把美国流行工业软件,用AI编程迅速完成国产化。




亚洲视觉科技研发总监




