Show HN: Vera——一款利用人工智能对智能合约进行自我审计的开源工具
Vera 是一款开源 AI 工具，能够自动对 DeFi 智能合约进行风险评估，目前已为 Ethena、EtherFi、Spark 等多个主流协议生成了审计报告，它试图降低 Web3 安全审计的准入门槛。
标签： DeepSeek
他们在纽约市的地铁站张贴了虚假的AI广告。其中一条广告上的名称竟是一家真实公司的名字。
本周，纽约两位喜剧演员在曼哈顿地铁站张贴了9幅戏仿AI初创公司的广告海报，其中一条虚构广告“Wireflow”意外命中了真实存在的AI公司。该视频在社交媒体上已收获超过300万次观看，并引发了人们对当前AI广告语术空洞、信息模糊的讨论。
人工智能将分子模拟的速度提升了1万倍
一种新的人工智能方法将分子模拟的速度提升了约1万倍，使得化学家能够在几分钟内完成原本需要数月甚至数年的计算任务。这项技术有望加速药物研发与材料科学领域的关键突破。
苹果公司的 Craig Federighi：Siri 不会成为你的人工智能女友
苹果软件工程高级副总裁 Craig Federighi 和营销主管 Greg Joswiak 在 WWDC 后的访谈中明确表示，新版 Siri 不会扮演 AI 伴侣角色，而是定位为实用工具。此举揭示了苹果与当前大模型公司在 AI 产品哲学上的根本分歧。
OpenAI 正在为本地产品做准备吗？
OpenAI 更新了服务条款，新增了针对客户本地或私有云部署的“授权材料”条款，明确了软件交付、使用限制及合同终止后必须永久删除所有副本的退出条件。这通常意味着相关产品已在筹备中，是值得关注的产品方向信号。
英特尔的AI代工梦想正逐步成为现实。这对英特尔（INTC）股价意味着什么？
消息称Google计划委托英特尔生产超过300万颗TPU芯片，同时NVIDIA正在评估英特尔代工技术，推动英特尔股价单日涨超11%。这一进展将英特尔推入AI算力基础设施的核心制造环节，但估值和执行力风险仍存。
你的播放列表里是否藏着AI生成的音乐？Deezer的新款AI音乐检测器能帮你查明
法国音乐流媒体公司Deezer于2026年6月11日推出一款免费工具，可扫描Spotify、Apple Music、YouTube Music、SoundCloud等平台的播放列表，识别其中由AI生成的曲目。这款检测器通过分析音频信号中的特定频谱峰值来判定歌曲是否来自生成式AI模型如Suno和Udio，旨在帮…
人工智能研究揭示全球气候计划中存在严重不平等
一项利用人工智能分析全球气候计划的研究发现，富裕国家与贫困国家在承诺的减排力度、资金支持和技术转移上存在严重不平等，这种差距可能削弱全球应对气候变化的整体效果。
OpenAI 正在为本地产品做准备吗？
Hacker News 上的一则讨论引发猜测：OpenAI 是否正在通过与戴尔的合作，准备推出本地部署（On-Prem）产品，将 AI 模型运行在企业自己的硬件上，而非完全依赖云端 API。
Show HN：FablePool – 在提示后汇集资金，Fable 公开构建它
FablePool 是一个实验性众筹平台，允许用户为 AI 生成的项目（如代码、设计稿）注入资金，全程公开构建日志。它试图解决“AI 辅助创作是否有价值”和“开源项目如何获得资金”两个老问题，但 HN 社区评价两极：有人认为是“工程剧场”，有人担心这是纯粹的 Token 燃烧。