你知道程序员再过几年会没落？
《ComputerWorld》杂志曾经写过一篇文章，说“编程到1960年就会消失”，因为IBM开发了一种新语言FORTRAN，这种新语言可以让工程师写出他们所需的数学公式，然后提交给计算机运行，所以编程就会终结。图片又过了几年，我们听到了一种新说法：任何业务人员都可以使用业务术语来描述自己的问题，告诉计算机要做什么，使用这种叫做COBOL的编程语言，公司不再需要程序员了。后来，据说IBM开发出了一门名为RPG的新编程语言，可以让员工填写表格并生成报告，因此大部分企业的编程需求都可以通过它来完成图片在80年
《Computer World》杂志曾经写过一篇文章，说“编程到1960年就会消失”，因为IBM开发了一种新语言FORTRAN，这种新语言可以让工程师写出他们所需的数学公式，然后提交给计算机运行，所以编程就会终结。
图片
又过了几年，我们听到了一种新说法：任何业务人员都可以使用业务术语来描述自己的问题，告诉计算机要做什么，使用这种叫做COBOL的编程语言，公司不再需要程序员了。
后来，据说IBM开发出了一门名为RPG的新编程语言，可以让员工填写表格并生成报告，因此大部分企业的编程需求都可以通过它来完成
图片
在80年代和90年代，随着组件和图形化开发的出现，业务人员可以通过拖拖拽拽的方式轻松地开发出程序
进入二十一世纪，又出现了Low Code, No Code，既然都没有代码了，那就更不需要程序员了。
事实真相是怎样的呢？
编程并没有被终结，相反，门槛不断降低，导致程序员数量越来越多
现在终极大Boss——大模型——来了，它和之前的新技术，新语言都不同，不用人去写代码，而是直接生成代码。
它能否终结编程，淘汰程序员呢？
首先，我们必须承认，业界顶尖的AIGC工具，如GPT-4，现在已经具备了非常强大的代码生成能力。如果您还对此持有异议，欢迎阅读我之前写的几篇文章，《AI可以生成95%的代码》
网上也有人用GPT-4，Midjourney,DALL·E 3 生成了一个类似愤怒的小鸟这样的游戏："Angry Pumpkins”，效果让人惊叹！
然而，AIGC生成的代码并不能完全保证无懈可击，也无法保证其准确性，因此程序员需要进行检查和调试，并在发现问题后引导其进行修改，这是一件相当繁琐的工作
熟练掌握GPT-4这类工具可以让程序员成为超级个体
很多人没有意识到的是，写代码只是软件开发的一个环节。在写代码之前，还有需求分析和设计（包括架构设计和详细设计）需要完成
AIGC在详细设计方面取得了显著进展，但在架构设计方面尚有待提升。您可以阅读《AI开始威胁程序员的核心能力了！》一文来了解具体案例
随着AIGC的快速迭代，在5~10年内，也许能出现有着强大设计能力和代码生成能力的AI，但是AIGC很难翻越最后一座大山：需求分析。
了解客户的需求是一项困难的任务。你需要熟悉他们所在的领域、业务和流程，通过不断的交流和确认，才能大致弄清楚他们需要什么
很多时候，客户只有看到软件成品才会恍然大悟：哦，原来我需要的功能不是这样的
市面上出现的所有的编程相关的AI工具，如GitHub Copilot，Amazon CodeWhisperer，都无法直接从客户需求生成代码，都需要程序员用行话精确地告诉它要做什么事儿才行。
简单来说，从客户需求直接到代码生成，这条路不通。
从详尽的软件规范说明书到代码，非常有望实现
所以有人搞了一个新型的外包公司，专门用AI生成代码，希望能用更低廉的成本对其他公司进行降维打击。
唯有人与人之间才能交流需求，如果不能实现普适人工智能，需求分析这一任务是无法被AI所解决的
人工智能的普遍应用时间难以确定
在《机器之心》中，库兹韦尔展示了一张计算力增长的图表
图片
从20世纪到21世纪，计算力呈指数增长，按照这个趋势，在2025年左右，1000美元的个人计算机的计算能力就可以达到人类大脑的水平。
到2060年，计算力能超过所有人类大脑的总和。
不过，计算力的达到人类大脑的水平，并不意味着智能也能达到人类的水平。
人脑中的神经元数量大约为1000亿。每个神经元平均约有1000个连接，共计100万亿个连接。
所有连接可以进行同步计算，这是一种相当强大的并行处理能力。
现在人们试图使用神经网络来模拟人脑，但是当神经元足够多以后，它到底是如何工作的，为什么展示出了“智能”的行为，人类还是一头雾水，只能用个词--涌现--来模糊地描述它。
所以库兹韦尔建议研究人的大脑，利用磁共振成像扫描仪等技术窥探大脑内部。随着技术不断更新换代，扫描分辨率和扫描速度不断提高，无创、非侵入式扫描活人大脑最终变得可行。
根据扫描得出的信息，绘制出具体位置、相互之间的连接、体细胞的成分、轴突、树突、突触前囊泡以及其他神经部分。然后整个脑组织就可以在一台内存足够大的神经计算机中被重造出来，大脑中的存储内容也可以被重造。
这一天不知道什么时候才能到来，所以现在不用对AI的威胁忧心忡忡，只要能驾驭AIGC这个工具，让他为自己所用，就可以继续安心地去搬砖了。
华盛顿大学团队构建TheoremGraph，从arXiv提取1170万条定理陈述，利用Lean证明库获取388k形式化声明，通过slogan嵌入匹配和GPT-5.4裁决，确认47952对跨模态对应，有效连接非形式化与形式化数学知识，推动数学推理研究。
西伯利亚神经网络公司研究团队在arXiv发布预印本，测试了17个小模型在俄语RAG问答系统中的表现。结果表明，Qwen3系列小模型在答案质量上接近GPT-5-mini，且可在普通电脑CPU运行。但CPU推理速度较慢，实际应用需在速度与质量间取舍。
不谈智能体，客户都不见你。腾讯云副总裁、腾讯云智能负责人、腾讯优图实验室负责人吴运声在采访中坦言。这意味着，如今提供云服务，若没有智能体相关的硬核能力，已难以打动客户。在2025腾讯全球数字生态大会上，腾讯云给出了自己的回应：正式发布智能体开发平台3.0（ADP3.0），并宣布腾讯优图实验室的关键智能体技术将逐步开源。据悉，该版本历经近三个月集中迭代，累计上线近600项功能，在RAG能力、Workflow流程、多智能体协作、应用评测及插件生态等方面实现全面升级。更值得关注的是，腾讯云透露未来数月将持续开源
一群机械臂手忙脚乱地自己干活，彼此配合、互不碰撞。科幻大片场景真的走入现实了。优雅，实在是优雅。△视频中为4个机械臂，在仿真环境下4个安装在桌子上，另外4个安装在天花板上。这就是发表在Science子刊ScienceRobotics上，由DeepMind、IntrinsicAI和UCL等研究机构共同提出的最新成果——RoboBallet（机器芭蕾）。RoboBallet创新性地将图神经网络（GNN）用于强化学习，作为其策略网络和状态-动作价值估计，以解决多机器人（机械臂）
近日，兄弟（中国）商业有限公司宣布其智能刺绣设计应用“畅享绣”已完成iOS系统适配及操作体验优化，现已正式上线AppStore。苹果用户可通过iPhone或iPad设备，便捷地将手绘图案转化为刺绣作品，以科技力量赋能传统工艺，开启全民创意刺绣新纪元。此次iOS版本的发布，意味着“畅享绣”已全面覆盖安卓与苹果两大移动平台，使更多用户能够随时随地享受刺绣的乐趣。该应用程序致力于降低专业门槛，让每一位用户都能成为生活中的艺术创作者。以往，个性化刺绣需要依赖专业软件，操作繁琐。而“畅享绣”只需
只需动动嘴，就能操控GUI代理？由美团与浙江大学联合推出的GUIRoboTron-Speech——让你彻底解放双手，直接对设备“发号施令”。这是首个可以直接通过语音指令和屏幕截图进行端到端（End-to-End）决策的自主GUI智能体，致力于为用户提供更自然、高效且无障碍的人机交互方式。从文本到语音，智能代理的新一轮进化目前，基于大语言模型（LLMs）的自主GUI智能体已经能够通过文本指令自动完成跨应用、多步骤的复杂操作，显著提升用户效率。然而，这种依赖文本输入的方式在某些场景中存在明显局限
2025年CVPR会议：首届具身智能通用机器人操作研讨会及挑战赛(GRAIL)全球顶级计算机视觉与人工智能会议CVPR将于2025年6月11日至15日在美国田纳西州举行。届时，INRIA、华盛顿大学、MBZUAI等顶尖机构将联合举办首届具身智能通用机器人操作研讨会和挑战赛(GRAIL)。该研讨会旨在攻克机器人操作的通用性难题，推动通用机器人技术发展。研讨会亮点：聚焦挑战：真实世界机器人操作面临诸多挑战，例如处理多样化物体、适应不同场景变化以及执行未知任务。GRAIL研讨会将汇聚计算机视觉、
比特现金（BCH）的未来发展前景看好。凭借其可扩展性、支付采用、价值存储、智能合约和坚实的社区支持，比特现金有望在多个领域取得显著发展，成为一种多功能且广泛使用的加密货币。
ACH 总共发行了 10 亿枚，用于支付网关费用、治理投票和质押奖励。ACH 基于 BEP-20 标准，采用 PoS 机制，可通过私募、公募和生态系统分配获取，其价值受服务需求、实用性和市场趋势影响，可在币安、火币等交易所购买。
Windows 10 是一款微软推出的经典操作系统，拥有硬件兼容性与多任务处理能力。它更偏向把系统状态查看和常用调节动作放在一起，适合需要持续观察和微调设备状态的场景。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
