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 #形式化验证 #代码安全 #软件工程 #自动化测试 #科技
Forklane AI 发布公共测试版，支持人类与AI代理协同编程
Forklane AI 宣布推出公共测试版，免费向所有团队开放。该平台允许人类工程师和 AI 代理在同一代码库中并行工作，从同一任务板领取任务，并声明文件所有权，避免重复劳动和合并冲突。通过“/claim”机制，代理在修改文件前声明所有权，重叠时提前预警；共享任务板让所有成员清晰了解任务状态；当代理遇到只有人类知道的问题时，可发起“PeerAsk”等待回答。公共测试版提供完整功能，包括实时会话、云实例、内联审查、CLI 和 TUI 工具，每个账户限制：2个自有项目、5个可加入项目、5个同时运行会话、每周20小时计算。付费计划将在后续公布。 #Forklane #AI编程 #人机协作 #公共测试版 #开发者工具 #协同开发 #AI代理
Forklane AI 宣布推出公共测试版，免费向所有团队开放。该平台允许人类工程师和 AI 代理在同一代码库中并行工作，从同一任务板领取任务，并声明文件所有权，避免重复劳动和合并冲突。通过“/claim”机制，代理在修改文件前声明所有权，重叠时提前预警；共享任务板让所有成员清晰了解任务状态；当代理遇到只有人类知道的问题时，可发起“PeerAsk”等待回答。公共测试版提供完整功能，包括实时会话、云实例、内联审查、CLI 和 TUI 工具，每个账户限制：2个自有项目、5个可加入项目、5个同时运行会话、每周20小时计算。付费计划将在后续公布。 #Forklane #AI编程 #人机协作 #公共测试版 #开发者工具 #协同开发 #AI代理
Forklane AI 公测版上线，实现人与AI代理同场协作编码
Forklane AI 宣布推出公开测试版，免费向所有团队开放。该平台打破了传统单用户编码工具的限制，允许人类工程师与AI代理在同一代码库中并行工作，共享任务板。通过“/claim”机制，代理在修改文件前预先声明，冲突在早期即被预警，避免合并时发现碰撞；共享任务板让所有成员（人或代理）实时了解任务状态；当代理遇到只有人类能解答的问题时，通过PeerAsk机制暂停等待，答案直接进入上下文后继续运行。公测期间所有功能免费，每个账户限制2个自有项目、5个可加入项目、同时运行5个会话、每周20小时计算资源。付费计划将在后续公布。 #ForklaneAI #AI代理 #协作编码 #公测 #开发者工具
Forklane AI 宣布推出公开测试版，免费向所有团队开放。该平台打破了传统单用户编码工具的限制，允许人类工程师与AI代理在同一代码库中并行工作，共享任务板。通过“/claim”机制，代理在修改文件前预先声明，冲突在早期即被预警，避免合并时发现碰撞；共享任务板让所有成员（人或代理）实时了解任务状态；当代理遇到只有人类能解答的问题时，通过PeerAsk机制暂停等待，答案直接进入上下文后继续运行。公测期间所有功能免费，每个账户限制2个自有项目、5个可加入项目、同时运行5个会话、每周20小时计算资源。付费计划将在后续公布。 #ForklaneAI #AI代理 #协作编码 #公测 #开发者工具
This media is not supported in your browser
VIEW IN TELEGRAM
Clixad 发布免费 AI 编程代理，通过广告积分替代订阅费
Clixad 是一款在终端中运行的 AI 编程代理，无需信用卡或订阅即可使用。它能够读取项目文件、编写代码、执行命令，每次修改前会显示差异并等待用户确认。注册即获 5000 积分，积分可通过完成广告商提供的表单或调查来赚取，广告商支付的费用大部分转化为用户积分，公司仅抽取少量分成。积分可用于调用 Claude Opus 5 和 Kimi K2 等模型，所有模型无层级限制。该工具旨在降低 AI 编程助手的使用门槛，彻底免费，用户也可选择观看赞助商文字来缓慢积累积分。 #Clixad #AI编程 #免费工具 #广告赞助 #终端 #编程助手 #开源
Clixad 是一款在终端中运行的 AI 编程代理，无需信用卡或订阅即可使用。它能够读取项目文件、编写代码、执行命令，每次修改前会显示差异并等待用户确认。注册即获 5000 积分，积分可通过完成广告商提供的表单或调查来赚取，广告商支付的费用大部分转化为用户积分，公司仅抽取少量分成。积分可用于调用 Claude Opus 5 和 Kimi K2 等模型，所有模型无层级限制。该工具旨在降低 AI 编程助手的使用门槛，彻底免费，用户也可选择观看赞助商文字来缓慢积累积分。 #Clixad #AI编程 #免费工具 #广告赞助 #终端 #编程助手 #开源
AI声明证据检查工具发布，专为B2B工作流设计
一款名为"AI Claim Readiness Checkpoint"的付费实验性Apify Actor正式上线。该工具旨在对AI工作流声明进行软性的确定性软件发布证据检查，确保在推广、发布或交接前拥有足够的支撑证据。它不依赖AI模型判断声明真伪，而是通过固定版本的政策预设，对提交的测试和审查元数据进行评估，并生成可重现的证据包。当前测试版仅支持"software_release_basic_v1"预设，要求使用显式UTC时间戳，且适配器不会使用系统时钟、编造缺失证据或修改状态。每个付费单位对应一次完整的、已验证的机械评估及其可重放的输出包。该工具面向专业和B2B用户，旨在提升AI工作流程的可靠性和透明度。 #AI #证据检查 #工作流 #Apify #工具发布
一款名为"AI Claim Readiness Checkpoint"的付费实验性Apify Actor正式上线。该工具旨在对AI工作流声明进行软性的确定性软件发布证据检查，确保在推广、发布或交接前拥有足够的支撑证据。它不依赖AI模型判断声明真伪，而是通过固定版本的政策预设，对提交的测试和审查元数据进行评估，并生成可重现的证据包。当前测试版仅支持"software_release_basic_v1"预设，要求使用显式UTC时间戳，且适配器不会使用系统时钟、编造缺失证据或修改状态。每个付费单位对应一次完整的、已验证的机械评估及其可重放的输出包。该工具面向专业和B2B用户，旨在提升AI工作流程的可靠性和透明度。 #AI #证据检查 #工作流 #Apify #工具发布