➡️
继续阅读
-
transcosmos大宇宙中国20周年:AI能力体系化落地
大宇宙中国庆祝成立20周年,业务覆盖国内十余个城市、服务百余家客户,联络中心从一线延伸至三四线城市,电商服务覆盖营销全链条并建有直播基地。公司自研tran...
-
跟着小螃蟹,看懂 AI 的推理能力 - 编程一生
文章以“小螃蟹选场地”为例说明AI推理:理解是弄清要求,推理是结合事实与条件判断结论;有资料还要会用,缺信息应列为待确认。文章介绍演绎、归纳、溯因三种推理...
-
AI编程成本暴跌,软件野心该放大十倍
AI 把写代码的成本打到了地板上,野心就该跟着变大。 AI 编程降低实现成本,让以前不敢做的项目变得可行,野心应随成本下降而变大。 ## AI 编程让软件...
-
Go 代码也能像数学定理一样被证明?AI 编程时代,形式化验证正在补上最后一块拼图
AI加速代码编写,但正确性验证成为瓶颈。文章介绍Go形式化验证工具Gobra及其底层Viper,通过前置条件、后置条件、循环不变量和权限模型,将程序性质转...
-
从“言传身教”到“触类旁通”:AI既需要“名师指引”,也需要“自我修行”
文章探讨AI从人机“言传身教”转向自学“触类旁通”,关键在于平衡人在环中(HIL)与递归自我改进(RSI)。Claude、GPT-6等模型已能自主编程、科...
-
长安汽车赵非:汽车将成为端侧物理AI规模最大的应用载体 | 2026世界智能网联汽车大会
10月21日,长安汽车董事长赵非在2026世界智能网联汽车大会上演讲,判断汽车将成为端侧物理AI最大载体,预计2027年实现L3级量产、2028年实现L4...