17aitech — hub console
➜ whoami

# AI 信息 Hub — 资讯 · 教程 · 项目,连接人与快速变化的 AI

17aitech.com --status=active --posts=116 --since=2021
>
LIVE电报流15 个渠道巡检中 · 文字+视频 · 今日已入库 28 条进入电报流 →
16:02量子位清华姚期智团队新作:代数世界模型,让AI像牛顿一样思考AI 解读 · 清华姚期智、袁洋团队提出代数世界模型AWM,让大模型经探索、抽象与形式化证明自主推导世界规律。#姚期智团队 #代数世界模型 #ARC-AGI-3 #Lean 4 #范畴论
关键要点×4
  • AWM把游戏对象、关系与规则抽象成代数世界,借助大模型数学能力理解并推理
  • 借鉴范畴论的投射极限与归纳极限,将Python假设迭代凝练为Lean 4可自动检验的断言
  • 在ARC-AGI-3上,基于Opus 5的AWM以99.9%分数通关183关,平均动作数仅为人类基准43%
  • 无解关卡测试中AWM两次尝试即证明当前步数无解且多一步可胜,而顶级模型12次里仅5次判断正确
15:50量子位老牌便利店机器人售货折戟:实验室锤炼上万次,货架前还是摔瓶子AI 解读 · 红旗连锁研发16个月后终止机器人无人售货系统,称真实门店抓取能力未达商业化标准#红旗连锁 #机器人无人售货 #零售机器人 #具身智能 #云值守
关键要点×4
  • 项目因投入产出比等因素终止,转向24小时云值守
  • 真实货架中抓取易失误,玻璃瓶等商品仍会摔碎
  • 零售机器人多仅能取货互动,仍需人工补货和运维
  • 全国已有超100个机器人零售仓或相关布局
14:36雷峰网吉利Q3营收近千亿,在英国跨过新手期AI 解读 · 吉利第三季度营收近千亿元,EX5开启英国市场进口流程#吉利 #EX5 #英国市场 #布里斯托港 #PDI检测
关键要点×4
  • 2025年11月,1000辆EX5从中国抵达布里斯托港
  • 进口车辆须接受PDI检测,核查运输损伤
  • 检测包括激活车机软件、核查配件及充电测试
  • 完成检测后,车辆将分拨至英国各经销商
12:18量子位Jev新成果,再次引爆开源AI 解读 · TypeSafe AI与Treg开源融合Jev的找人工具,成本较Clay低超85%。#Jev #TypeSafe AI #Treg #Clay #人员搜索
关键要点×4
  • 工具获6400个Star,支持接入多款Agent
  • 最低0.0089美元可查一个工作邮箱
  • 292人测试中找到289个邮箱,仅花1.49美元
  • B2B拓客任务正确率由43%升至78.2%
07:15Simon WillisonHow We Took Over ChatGPT AccountsAI 解读 · 研究人员披露了针对ChatGPT参数实现的漏洞,可导致用户账户被接管。#ChatGPT #OpenAI #账户接管 #参数漏洞 #漏洞利用
关键要点×3
  • 研究人员发现ChatGPT参数实现存在可利用缺陷
  • 攻击者可利用该漏洞接管ChatGPT账户
  • 相关参数模式此前曾被OpenAI以其他名称称呼
06:10Simon Willisondatasette-llm 0.1a9AI 解读 · datasette-llm 发布 0.1a9 版本,先行优化 Datasette Agent 使用体验#Datasette #Agent #0.1a9 #版本发布 #体验改进
关键要点×3
  • datasette-llm 0.1a9 版本已发布
  • 本次包含一项小幅用户体验改进
  • Datasette Agent 的更大规模升级仍在推进
05:41TechCrunch AIApple CEO says the company doesn’t ‘want to ship AI for AI’s sake’AI 解读 · 苹果CEO John Ternus称将把AI用于新产品,但不会单纯为AI而发布,用户喜爱才是标准。#Apple #John Ternus #Siri #智能代理 #人本产品
关键要点×4
  • Ternus于9月正式出任苹果CEO,并表示认同公司当前AI定位。
  • 苹果曾延迟推出更强大的Siri,该版本已于今年夏季上线。
  • 他称新产品会利用AI,让用户无需察觉背后是AI还是传统软件。
  • 面对智能代理可能弱化应用价值的担忧,他强调产品创作仍具人文属性。