#AI
ChatGPT全面上线GPT-6：免费用户可用，Intelligent UI让回答长出交互界面
GPT-6 已经发布很久了，但 ChatGPT 的"聊天"模式一直用不了。想用它，只能去其他模式，而且每次都要消耗套餐额度。这个限制，现在没有了。
OpenAI 宣布，新的 GPT-6 进入 ChatGPT 的 Chat 标签页。Plus、…
OpenAI 公开 722 篇数学论文：宣称证明准黎曼假设，形式化验证零错误
刚刚，OpenAI 把一个内部前沿模型做出来的数学成果，一股脑放上了 GitHub
来源：OpenAI 官方账号
Github 仓库位于 openai/math，里面收了 722 篇论文，并把结果归成 372 个族，涉及大约 4000 道…
answer-me-with-html：开源 Agent Skill，让 AI 回答变成可视化 HTML 页面
Andrej Karpathy 在 X 上发过的一条帖子。他说，当 LLM 的输出越来越长，跟不上它反而是我们自己。
模型每秒钟能吐出几千个 token，但人类眼球处理长段文本的带宽并没有随着 GPT 的迭代变宽。我们需要的不是更多的字，而…
DESIGN.md：73 家大厂 UI 设计系统全开源，AI 不再写出「AI 味」页面
11.8 万 Star。 把 73 家大厂的界面设计全拆成了文档，AI 读完直接照着出页面。
不用 Figma，不用手写 CSS，前端写页面的活儿，正在被一个 Markdown 文件接管。
▲ 73 家大厂的设计系统，全部整理成 AI 能…
Mistral Large 4 发布：1T 参数 49B 激活，aka「大胖猫」欧洲最强开源模型
今天早些时候，美国那边开源了个 glm5.2 级别的模型
而刚刚，欧洲的希望 Mistral 发布了 Mistral Large 4，aka Le Chonk 大胖猫
Mistral 官方推文
总参数 1.05T，每次只激活 49B，另带…
Skillry：一个人 10 天做到 $3000/月，把「AI 审美」做成一门生意
Skillry（skillry.dev）是一个「有品味」的 Agent Skills 精选库，由中国独立开发者 Yihui（@yihui_indie，X 粉丝 5.8 万）开发运营。2026 年 8 月上线，10 天内从 做到约3000/…
Koharu：本地运行的 AI 漫画翻译器，Rust 打造支持 OCR 识别和智能嵌字
一个用 Rust 写的漫画翻译工具，跑在本地，不用联网也能干活。它把检测文字、识别内容、翻译、抹掉原字这些步骤串成一条流水线，最后帮你把翻译好的文字嵌回图里。
功能特性
• 支持图片、压缩包、PDF 多种格式，能按页排序管理
&…
OpenAI 训练专业工作代理，GPT-6 Astra 联合 Ironclad 推进合同审批自动化
AI真正的下一站，不是更会聊天，而是更会把工作做完。
OpenAI与合同管理公司 Ironclad 的合作，正在把“专业工作”变成训练和评测 AI 代理的新考场。
从合同、规则到审批：专业工作代理需要处理的不只是文…
a16z 最新 AI 应用报告：美国 AI 付费用户仅 4.5%，头部 1% 贡献 20% 消费额
a16z 刚刚发了一份特别有看头的 AI 应用报告。
他们按照 Web 访问量、移动端月活，整理了目前头部的 AI 应用。这次还首次加入了消费者实际付费数据，列出了另外一份 AI 产品消费排行榜。
当然，这种统计肯定没办法做到百分之百准确…
Anthropic 推出网络安全验证计划：三档权限开放 Claude 完整攻防能力
Anthropic刚刚正式解除大模型的网络安全限制，把顶级AI的实战攻防能力开放给经过认证的安全人员。
网络安全天然具有双重用途。能帮防守方修补漏洞的能力，同样能被攻击者用来制作武器。
此前，公开发布的Claude Opus 5.5、Cla…