1、苹果WWDC2026 AI相关的功能,依旧比较落后,而且仅17Pro以上机型可用,仅部分地区可用,无需关注,只能说聊胜于无吧。
2、Kuse Workflow:AI生成工作流 操作简单,功能强大。能力覆盖n8n的全部能力,有丰富的应用生态。但使用比n8n简单的多的多,不需要接触复杂的节点配置,通过语言描述需求,AI就能自动创建稳定可复用的工作流。工作流支持定时执行,支持事件触发执行。 使用地址:https://app.kuse.ai/f
3、Google提出LEAP:通用大模型无需微调即可做形式化数学证明 LEAP通过Agent框架让通用大模型与Lean编译器持续交互,把复杂定理拆成子目标逐步解决。2025年Putnam竞赛12题全部成功解决,Lean-IMO-Bench证明成功率从不到10%提升至70%,超越具备 IMO 金牌水准的专用系统的48%。 核心思路是用AND-OR DAG管理证明分解,用非形式化蓝图引导形式化代码生成——好的agentic脚手架能让通用模型媲美专用微调模型。 论文:https://arxiv.org/abs/2606.03303
4、微信AI接入小程序 你的小程序可以开放能力给微信AI调用。

5、OpenAI提交招股书 官方推文:https://x.com/OpenAINewsroom/status/2064094175541461220
我开源的Skill 1)原生PPT Skill。适用于任何模型和Agent,使用内置PPT模板生成豪华、可编辑的PPT。 Github:‣ 2)图片PPT转可编辑PPTX文档。可以把GPT和Banana生成的图片还原为可编辑的PPTX文档。 Github:https://github.com/GordenSun/GordenSuperPPTSkills
我的公众号:AI加速派 分享国内可以直接操作的前沿教程,而且教程里的token和key我都承包了,你甚至不用注册账号就能跑通。
