AI 写完代码，谁来验证？手淘 TEKO “写—验—修”自主闭环的工程实践｜QCon上海
资讯摘要
点击查看原文>
更多资讯
Compiling Expert Procedures into Verified Programs: When a Small Model Is Enough
独家｜库克确认苹果国行 AI，10 月底上线测试版！曾获李泽湘、明势资本投资，这家公司想做一台会“掌镜”的摄影机器人｜早期项目美国银行雇佣千名合同工修复 AI 工具发现的软件漏洞热门中概股美股盘前涨跌不一，阿里巴巴跌超1%
Solana广告登陆上海外滩大屏：CZ：真是令人惊叹共建共享，智联丝路——开源中国与吉尔吉斯斯坦-土耳其玛纳斯大学签署《中国—中亚人工智能共建共享合作备忘录》美国9月批发物价同比大涨6.3%，创2022年以来最大涨幅基元律动宣布开发者入驻超30万，开启双11预售福利9月我国动力和储能电池销量为222.7GWh，同比增长52%
大模型「土木系」终翻身：AI Infra 年薪冲到 800 万？财政部向金融央企注资事项迎新进展香港金管局公布“ART”框架，推动银行业负责任应用人工智能
全球第一次，AI无需医生把关直接开药，这是好事还是坏事？*ST萃华：收到终止上市决定，预计最后交易日期为11月12日立讯精密：截至2026年10月15日，回购成交总金额约10亿元消息称美国和墨西哥关税协议谈判陷入停滞
一家明星AI独角兽破产：烧光180亿在高价值场景跑通技术与落地双闭环，若愚科技完成亿元级Pre-A轮融资
技术没有捷径：十年 1.3 万亿研发投入，华为选择走自己的路
拒绝千篇一律的线框图！我用 Axure 变量 + 中继器复刻坦克大战，揭秘高阶交互的底层逻辑天猫双11将于10月20日晚8点开卖华泰证券：维持美联储10月暂缓加息，12月加息1次的判断恒生科技指数跌幅扩大至3%国铁广州局五年累计到发旅客超52.1亿人次两市融资余额减少313.25亿元半日主力资金加仓电子板块，抛售银行板块工信部等三部门联合调查有关车辆刹车踏板支架断裂问题美国国际贸易委员会作出晶体硅光伏电池双反产业损害终裁阶跃 Step 5 Preview 权重开放，600B 稀疏 MoE、面向长程 Agent 任务设计
独家｜库克确认苹果国行 AI，10 月底上线测试版！曾获李泽湘、明势资本投资，这家公司想做一台会“掌镜”的摄影机器人｜早期项目美国银行雇佣千名合同工修复 AI 工具发现的软件漏洞热门中概股美股盘前涨跌不一，阿里巴巴跌超1%Solana广告登陆上海外滩大屏：CZ：真是令人惊叹共建共享，智联丝路——开源中国与吉尔吉斯斯坦-土耳其玛纳斯大学签署《中国—中亚人工智能共建共享合作备忘录》美国9月批发物价同比大涨6.3%，创2022年以来最大涨幅基元律动宣布开发者入驻超30万，开启双11预售福利9月我国动力和储能电池销量为222.7GWh，同比增长52%大模型「土木系」终翻身：AI Infra 年薪冲到 800 万？财政部向金融央企注资事项迎新进展香港金管局公布“ART”框架，推动银行业负责任应用人工智能全球第一次，AI无需医生把关直接开药，这是好事还是坏事？*ST萃华：收到终止上市决定，预计最后交易日期为11月12日立讯精密：截至2026年10月15日，回购成交总金额约10亿元消息称美国和墨西哥关税协议谈判陷入停滞一家明星AI独角兽破产：烧光180亿在高价值场景跑通技术与落地双闭环，若愚科技完成亿元级Pre-A轮融资技术没有捷径：十年 1.3 万亿研发投入，华为选择走自己的路拒绝千篇一律的线框图！我用 Axure 变量 + 中继器复刻坦克大战，揭秘高阶交互的底层逻辑天猫双11将于10月20日晚8点开卖华泰证券：维持美联储10月暂缓加息，12月加息1次的判断恒生科技指数跌幅扩大至3%国铁广州局五年累计到发旅客超52.1亿人次两市融资余额减少313.25亿元半日主力资金加仓电子板块，抛售银行板块工信部等三部门联合调查有关车辆刹车踏板支架断裂问题美国国际贸易委员会作出晶体硅光伏电池双反产业损害终裁阶跃 Step 5 Preview 权重开放，600B 稀疏 MoE、面向长程 Agent 任务设计