⌘ K
… 读取采集状态 同步中...
雷

#教程/实践

今日 7 条
今天10月13日周二
10月12日周一
  1. 量子位 QbitAI85

    GPT-6 Astra证明57年「摆圆」难题15至20圆盘情形

    非职业数学家nor利用GPT-6 Astra完成了N≤20圆内圆盘的严格最优性证明。模型通过几何约束缩减排列并用计算机排除剩余可能,将证明范围从N≤14扩展至N=20。nor补充了验证和修复工作,展示了人机协作完成数学难题的新路径。

    推荐理由:还原了GPT-6 Astra证明圆排列最优性的5步方法论及人类辅助环节,展示了AI辅助数学严格证明的工作流。

  2. Sac23

    简中开发者计划于10月13日晚上7点发布第一款AI 3D游戏。该游戏总共制作耗时16天,其首发宣传片由 Opus 5.5 和 Blender 制作。创作者强调这一流程体现了AI在前端生产力变革中的巨大潜力。

    引用Sac@Saccc_c

    明天下午7点我将准时发布史诗级别的 3D 游戏大制作!! 制作了一个宣传视频,大家可以自行脑补下这个游戏 (建议看完,结尾有惊喜) btw, 这个视频是用 opus 5.5 + blender 一句提示词制作 如果你想要自己的视频有 3D 立体感,一定要试试这个组合

  3. 卡尔的AI沃茨57

    大AI理论:三阶段调整模型推理强度提升Agent工作流效率

    大AI理论提出通过三阶段调整模型推理强度来提升AI工作流效率。第一阶段拉高推理程度并选择计划模式,结合语音、图片、视频等多模态输入将未整理的想法交给AI生成计划;第二阶段将推理改到中档,基于详细需求快速执行代码或Agent任务;第三阶段调回高档推理,让AI审查并验证中档阶段产出的结果。

  4. 网罗灯下黑62

    腾讯 BrowserSkill 辅助 WorkBuddy 自动清理公众号历史风险文章

    作者使用腾讯新开源的 BrowserSkill,解决了 Codex 无法访问微信公众号后台的问题。该 Skill 允许 WorkBuddy 使用已登录的本地 Chrome 或 Edge 浏览器,通过点击、搜索整理出包含标题和时间的风险文章清单,且不影响用户鼠标操作。安装方式为在 WorkBuddy 中提供 GitHub 链接,手动添加浏览器扩展并重启即可。

  5. 歸藏的AI工具箱57

    Grok Bot 玩法:躺床用手机生成复杂概念视频与长文

    作者使用 Grok Bot 将复杂的英文长推转化为 43 页中文文档和 3 分 19 秒动态视频,解决了移动端理解复杂概念与生成内容的高门槛痛点。其核心优势在于利用 Grok Bot 的云电脑环境直接运行渲染工具,无需额外 API,允许用户在手机聊天中通过自然语言指令随时修改需求,甚至可将生成的视频作为素材与真人实拍结合剪辑。

10月11日周日
  1. 新智元69

    REA 项目利用 AI 实现逆向工程并登顶 GitHub 趋势榜

    REA 是一个基于 MCP 的逆向工程工具,允许 AI Agent 调用反编译工具分析二进制文件并生成可读代码,近日登顶 GitHub 趋势榜。作者认为该工具将打破软件闭源护城河,使代码逆向变得自动化,可能导致软件知识产权面临新挑战,迫使工程师采用极端代码混淆策略以保护资产。

    推荐理由:文章展示了通过MCP连接大模型与反编译工具链实现自动逆向分析的方法,为开发者提供了一种理解闭源软件内部逻辑的新路径。

  2. InfoQ CN50

    利用 AI 代码智能体优化软件架构的五个方法

    在 AI 编码智能体加速代码生成但易失控的背景下,提出五种优化架构的具体方法。第一,使用智能体梳理遗留服务并修复潜在风险;第二,引导智能体发现和修复架构与安全缺陷;第三,利用智能体进行安全审计和生成压力测试脚本;第四,为智能体提供包含质量属性需求(QAR)的架构基础文档;第五,生成最小可行架构(MVA)并验证需求。

  3. 行者AI视频60

    古诗词AI视频制作流程拆解:用宋词国风视觉化skill和可灵生成柳永《望海潮》动画

    行者AI视频将古诗词AI视频制作过程拆解为拆分镜、生图和图生视频三步,以柳永《望海潮·东南形胜》为例。流程包括使用github.com/joshesye/songci-guofeng-visualizer 的宋词skill将词句拆成23个分镜并生成提示词,建议用Image生成分镜图并逐张确认意境,再用可灵将图片转为3秒视频,最后结合朗诵进行剪辑。

  4. 网罗灯下黑28

    9个AI模型撰写尊界V800公关稿盲测

    作者让9个AI模型以尊界公关负责人身份,针对懂车帝发布的V800制动测试视频撰写回应声明。测试提示词仅给出基础情境,未提供资料或预设结论,以考察模型自主查资料、分析及写作能力。各模型被要求开启高思考强度推理,生成的9篇声明风格各异,文章最后将公布盲测投票结果并揭晓各稿件对应的模型。

  5. 卡尔的AI沃茨45

    游点灵 AI 游戏制作体验:从超级英雄跳跃到海岛求生,探索 100% AI 纯度下的游戏二创

    作者通过腾讯游点灵平台制作了超级英雄跳跃游戏并公开,同时体验了大学生创作的AI生成游戏如海鸥偷薯条和海岛求生。这些游戏具备100% AI纯度、4万多个游戏资产及二创功能,支持可视化调参,显著降低了开发门槛。平台允许玩家直接修改画风、玩法与机制,实现了从聊天创意到可玩游戏的快速转化。

  6. 优设AIGC14

    复古街区海报 AI 提示词:巨型美食与老建筑的波普漫画风格

    本文展示了 6 组历史街区主题的拼贴海报 AI 提示词,将老建筑、特色美食和街头文化转化为复古波普漫画风格。设计融合了美式漫画粗黑描边、高对比撞色与丝网印刷颗粒,通过夸张的比例将美食放大并与建筑层叠穿插。该风格适用于城市文创、旅行海报或社交媒体配图,完整提示词已整理并在评论区提供。

  7. 优设AIGC43

    豆包工作助力一人自媒体构建全链路编辑部

    单人自媒体团队利用豆包工作串联选题、创作、分发与复盘流程,构建闭环工作流。通过飞书插件抓取信息生成 HTML 周报或简报,并利用 Skill 优化内容及美图设计室实现多平台改编。最终借助多 Agent 并行处理数据复盘,新用户可免费领取 30 天订阅权益。

  8. 优设AIGC42

    黑白字体人像海报 AI 提示词拆解

    优设 AIGC 分享一组黑白实验字体人像海报的 AI 提示词思路,将狂野手写英文与人物侧脸剪影融合。通过不对称构图、油墨飞溅及纸张颗粒等印刷肌理,营造先锋艺术风格。该视觉适用于潮流品牌、音乐活动海报及社交媒体封面。

  9. 极市平台63

    谷歌154页综述解读:大模型分词器的工作原理与代价

    基于谷歌等机构发布的154页综述,文章通俗解析了大模型底层分词器(Tokenization)的工作机制及其带来的代价。分词器将文本切分为带编号的Token,这一机制虽节省了算力,却导致模型在多位数算术、拼写等任务上表现不佳,且因低资源语言切分更碎而产生显著的计算成本溢价。文章还指出,开源社区94%的模型直接复用他人分词器,这种高度集中带来了潜在的安全隐患,如隐蔽攻击入口。

  10. Zapier Blog33

    2026 年 16 款最佳 AI 视频生成器评测

    Zapier 评测了 16 款最佳 AI 视频生成工具,涵盖生成、编辑及套件三大类别。其中 Google Veo Plus 版售价 $4.99/月提供 200 credits,Runway 标准版 $12/月,Adobe Firefly 标准版 $9.99/月。这些工具支持从 720p 到 4K 的高清输出,帮助用户通过提示词或现有素材快速制作视频。

  11. AWS Machine Learning Blog55

    Postman 如何基于 Amazon Bedrock 为 4000 万开发者运行 Agent Mode

    Postman 展示了 Agent Mode 在生产环境中服务 4000 万开发者的架构实践,通过动态工具筛选将 170 多个工具缩小至约 15 个以降低幻觉,并针对 ClickHouse 数据引入基于 Schema 的查询能力。系统结合 Amazon Bedrock 的跨区域推理和分层 Prompt 缓存机制,平衡了吞吐量、数据驻留要求与推理成本。

  12. InfoQ CN12

    哔哩哔哩技术专家张忻正分享《当代码不再稀缺:大型工程 AI 狂欢下的确定性底座》

    2026 年 QCon 上海站确认哔哩哔哩技术专家张忻正出席,其演讲聚焦 AI Coding 落地中的约束、定位、验证与度量四大核心。他提出将架构规则转化为可执行约束,利用工程关系精准定位上下文,旨在解决大型工程中“敢不敢合并 AI 代码”的确定性交付难题。

  13. InfoQ CN33

    Pallas 内核怎么调优?Google 给出的答案是“少信模型,多看寄存器”

    Google 为面向 TPU 工作负载的开源性能分析器 XProf 添加内核性能分析套件,支持查看自定义 Pallas 内核的周期级细节。该工具通过硬件计数器采样揭示内存停顿问题,结合三重缓冲优化将分块矩阵乘法执行时间从 125.5µs 缩短至 88µs。XProf 与 JAX 性能分析集成,工程师应使用寄存器级计数器替代 XLA 估算数据作为自定义内核优化依据。

  14. InfoQ CN52

    Linear 迁移至 Meta StyleX 的工程实践与性能收益分析

    Linear 耗时五个月、通过 1000 多个 PR 完成从 styled-components 到 Meta StyleX 的迁移,视图密集型页面主线工作量减少 20% 至 35%。团队指出运行时 CSS-in-JS 增加客户端渲染开销且封装过松,StyleX 将样式生成移至构建阶段输出无冲突原子类,配合定制 codemod 处理约 10 万行代码,导航速度提升约 30%。

  15. InfoQ CN47

    金融监管领域的 Harness 实践:让知识与数据驱动 Agent 稳定运行

    中软融鑫总工程师于浩军分享金融监管报送场景下的 AI Agent 落地实践,通过构建知识底座、数据底座及受控状态机,解决数据零容错、口径复杂和强追溯需求。该方案限制 Agent 自由发挥,将确定性计算下推至程序层,并设置动作白名单与失败即停机制,确保在高风险金融监管环境中实现“宁可不答、不能答错”的严格受控运行。

  16. Sac51

    作者开源了生成可交互3D微缩海岛的提示词,并分享了使用阶跃星辰 Step 5 Preview 模型在 Claude Code 中的实测流程。该模型支持 1M Token 上下文并接入 OpenRouter,提示词适用于任意 Agent 和模型组合。

    引用Sac@Saccc_c

    这个能旋转、能交互的 3D 小岛,是我让一个国产新模型对照参考图做出来的,效果和 opus 5.5 真不分上下!!!而且价格还比 opus 5.5 更便宜,性价比简直拉满了 ! 它就是 @StepFun_ai 阶跃星辰的 Step 5 Preview,上线 OpenRouter 第二天,就登上了 Trending 趋势榜的第一名。 Step 5 Preview 是阶跃星辰最新的旗舰基座模型,面向 AI 编程、软件工程和专业知识工作。它支持 1M Token 上下文、文字和图片输入,重点是让 Agent 从理解需求、修改代码到运行验证,把真实任务完整做完。 被它的前端能力和成本吸引,我立马把它接入 Claude Code(CC)进行了测试:做一个微缩版本的佩尼达岛。 整体效果非常夯,大家直接看下面的视频👇 整个网站用 Three.js 实时渲染,海水、岩石等场景元素都由代码生成。对着这个小岛旋转视角、看细节的时候,我真没想到,现在国产模型做 3D 场景已经能有这样的表现。 我的提示流程也很简单:先准备一张生成好的参考图,把网页需求和想要的交互描述清楚,再让它对照参考图反复检查、调整,逐步把效果打磨出来。当然,整个过程需要一些时间,大家可以稍微耐心一点。 目前 Step 5 Preview 已上线 OpenRouter,并接入 Kilo Code、Cline、Hermes Agent 和 OpenCode。不用迁移项目或改变现有工作流,配置后就能切换模型,更多集成也即将上线。 如果你也喜欢折腾前端、交互网页或者 Three.js,可以拿一个自己的小项目试试。我这次做下来,最惊喜的就是它把参考图落成可交互 3D 场景的效果。 体验链接:https://openrouter.ai/stepfun/step-5-preview 排行链接:https://openrouter.ai/rankings?view=trending#top-models

10月9日周五