GPT-5.6 构建者指南发布，助力初创公司打造高效 AI 代理
OpenAI 近日发布了 GPT-5.6 的构建者指南，旨在帮助初创公司利用该模型构建更快、更具成本效益的 AI 代理。指南详细介绍了如何通过更智能的模型选择策略，以及全新的 Responses API 功能，来优化性能并降低运营成本。GPT-5.6 在推理速度和响应质量上有所改进，特别适合资源有限的初创团队。通过该指南，开发者可以学习如何结合模型特性和 API 能力，实现 AI 代理的高效部署。这一举措进一步降低了 AI 应用开发的门槛，加速了创新落地。 #GPT-5.6 #OpenAI #AI代理 #构建者指南 #初创公司 #API #科技新闻
OpenAI 近日发布了 GPT-5.6 的构建者指南，旨在帮助初创公司利用该模型构建更快、更具成本效益的 AI 代理。指南详细介绍了如何通过更智能的模型选择策略，以及全新的 Responses API 功能，来优化性能并降低运营成本。GPT-5.6 在推理速度和响应质量上有所改进，特别适合资源有限的初创团队。通过该指南，开发者可以学习如何结合模型特性和 API 能力，实现 AI 代理的高效部署。这一举措进一步降低了 AI 应用开发的门槛，加速了创新落地。 #GPT-5.6 #OpenAI #AI代理 #构建者指南 #初创公司 #API #科技新闻
AI爬虫遭遇“空心化”：四分之一YC初创公司首页对AI爬虫仅显示空白壳
一项针对AI爬虫可读性的最新调查显示，Y Combinator 2025年秋季批次145家初创公司中，有25.5%的首页在GPTBot、ClaudeBot和PerplexityBot等爬虫访问时，只返回一个空的客户端渲染外壳，没有任何标题或产品描述。相比之下，对455家成熟SaaS公司进行相同测试时，这一比例仅为2.9%，两者差距达8.9倍。该调查由ReadableByAI Index于2026年8月8日完成，采用统一数据中心IP对每个站点进行两次抓取，一次以普通浏览器UA，另一次以12种爬虫UA。调查排除了返回非200状态码的站点，并严格区分了内容差异而非权限差异。这一现象暴露出初创公司普遍依赖客户端渲染，导致AI爬虫无法抓取有效信息，可能影响其在AI搜索引擎和训练数据源中的可见性。报告也承认了方法局限，如无法区分真实爬虫和冒充者，以及站点可能根据IP范围而非UA提供不同内容。 #AI爬虫 #YC初创公司 #SaaS #客户端渲染 #可读性 #SEO #科技调查 #数据抓取 #GPTBot #ClaudeBot
一项针对AI爬虫可读性的最新调查显示，Y Combinator 2025年秋季批次145家初创公司中，有25.5%的首页在GPTBot、ClaudeBot和PerplexityBot等爬虫访问时，只返回一个空的客户端渲染外壳，没有任何标题或产品描述。相比之下，对455家成熟SaaS公司进行相同测试时，这一比例仅为2.9%，两者差距达8.9倍。该调查由ReadableByAI Index于2026年8月8日完成，采用统一数据中心IP对每个站点进行两次抓取，一次以普通浏览器UA，另一次以12种爬虫UA。调查排除了返回非200状态码的站点，并严格区分了内容差异而非权限差异。这一现象暴露出初创公司普遍依赖客户端渲染，导致AI爬虫无法抓取有效信息，可能影响其在AI搜索引擎和训练数据源中的可见性。报告也承认了方法局限，如无法区分真实爬虫和冒充者，以及站点可能根据IP范围而非UA提供不同内容。 #AI爬虫 #YC初创公司 #SaaS #客户端渲染 #可读性 #SEO #科技调查 #数据抓取 #GPTBot #ClaudeBot
Rails 基金会发布 AI 编程代理基准测试项目“Agents on Rails”
Rails 基金会近日委托 Evil Martians 启动了一项名为“Agents on Rails”的持续基准测试项目，旨在评估当前主流 AI 编程代理（包括前沿模型和开源模型）在 Ruby on Rails 代码库上的实际表现。项目分阶段推进，第一阶段已发布，聚焦于原子任务，测试模型在准确性、速度、token 消耗和成本等方面的表现，涉及 8 个不同模型。初步结果显示，Rails 因“约定优于配置”原则与 AI 配合良好，token 效率较高。后续阶段将测试更复杂的多步骤任务，并计划开源全部任务、方法和运行工具。排行榜将随着新模型发布而持续更新，为开发者提供选型参考。 #Rails #AI编程 #基准测试 #Ruby #EvilMartians #开源 #技术新闻 #编程工具
Rails 基金会近日委托 Evil Martians 启动了一项名为“Agents on Rails”的持续基准测试项目，旨在评估当前主流 AI 编程代理（包括前沿模型和开源模型）在 Ruby on Rails 代码库上的实际表现。项目分阶段推进，第一阶段已发布，聚焦于原子任务，测试模型在准确性、速度、token 消耗和成本等方面的表现，涉及 8 个不同模型。初步结果显示，Rails 因“约定优于配置”原则与 AI 配合良好，token 效率较高。后续阶段将测试更复杂的多步骤任务，并计划开源全部任务、方法和运行工具。排行榜将随着新模型发布而持续更新，为开发者提供选型参考。 #Rails #AI编程 #基准测试 #Ruby #EvilMartians #开源 #技术新闻 #编程工具
AI生成假医生视频诱导老年人停药，危害健康
据安全研究员调查，过去数月内，一个由约150个针对老年人的虚假医疗频道组成的网络正在通过AI生成内容传播有害医疗建议。这些频道利用ChatGPT等工具伪造“心脏外科医生”等专家形象，制作短视频提供所谓“自然疗法”，并鼓励患者放弃正规药物。以一位72岁糖尿病患者为例，他在观看一段AI生成的“克莱尔医生”视频后，逐步减少降压药并停用他汀类药物，最终被其真实医生发现。调查发现，这些频道几乎全部由AI生成，视频中充斥着编造的医学声明、虚假案例和引用，且难以进行事实核查。研究者指出，这些内容不仅误导老年人，还可能导致其做出危害健康的医疗决策，性质恶劣。 #AI假医生 #医疗诈骗 #老年人健康 #虚假医疗信息 #AI安全 #社交媒体 #健康风险 #ChatGPT滥用
据安全研究员调查，过去数月内，一个由约150个针对老年人的虚假医疗频道组成的网络正在通过AI生成内容传播有害医疗建议。这些频道利用ChatGPT等工具伪造“心脏外科医生”等专家形象，制作短视频提供所谓“自然疗法”，并鼓励患者放弃正规药物。以一位72岁糖尿病患者为例，他在观看一段AI生成的“克莱尔医生”视频后，逐步减少降压药并停用他汀类药物，最终被其真实医生发现。调查发现，这些频道几乎全部由AI生成，视频中充斥着编造的医学声明、虚假案例和引用，且难以进行事实核查。研究者指出，这些内容不仅误导老年人，还可能导致其做出危害健康的医疗决策，性质恶劣。 #AI假医生 #医疗诈骗 #老年人健康 #虚假医疗信息 #AI安全 #社交媒体 #健康风险 #ChatGPT滥用
AutoProver：AI Agent与形式化方法结合，自动推断意图并验证代码无bug
AutoProver是一款利用AI Agent与形式化方法自动推断代码意图、生成规范并证明无bug的工具。它解决了传统测试难以发现逻辑错误、AI生成代码不确定性强、以及形式化验证需要专业知识等难题。AutoProver通过读取代码文档或设计文档，自动将自然语言意图转换为形式化属性，再借助Certora Prover生成测试和证明规则。专用AI Agent负责执行测试、故障排查，并自动报告代码错误、设计缺陷及属性验证结果。用户可通过反馈机制接受或拒绝结果，系统随之迭代优化，不断加深对代码库的理解。该工具无需用户具备规范编写经验，能显著提升软件安全性和开发效率。 #AutoProver #AI #形式化验证 #代码安全 #软件工程 #自动化测试 #科技
AutoProver是一款利用AI Agent与形式化方法自动推断代码意图、生成规范并证明无bug的工具。它解决了传统测试难以发现逻辑错误、AI生成代码不确定性强、以及形式化验证需要专业知识等难题。AutoProver通过读取代码文档或设计文档，自动将自然语言意图转换为形式化属性，再借助Certora Prover生成测试和证明规则。专用AI Agent负责执行测试、故障排查，并自动报告代码错误、设计缺陷及属性验证结果。用户可通过反馈机制接受或拒绝结果，系统随之迭代优化，不断加深对代码库的理解。该工具无需用户具备规范编写经验，能显著提升软件安全性和开发效率。 #AutoProver #AI #形式化验证 #代码安全 #软件工程 #自动化测试 #科技