生成式人工智能和物理学如何助力新型抗生素的设计
研究人员利用生成式人工智能结合物理学模型，设计出新型抗生素候选分子，以应对日益严重的抗微生物耐药性（AMR）危机。该方法比传统药物筛选更快、更精准，有望加速新药研发周期。
标签： 人工智能
马斯克限制特斯拉员工 AI 开支
马斯克给特斯拉员工设定了每周 200 美元的 AI 服务使用上限，以控制因员工滥用 AI 工具而飙升的账单。这一举动与谷歌、Meta 等科技巨头近期纷纷收紧 AI 开支的趋势一致，标志着企业从“鼓励多用 AI”转向“精细化管控”AI 投入成本。
当一部分人开始练习成神：硅谷为什么越来越像一种宗教？
一篇深度分析指出，硅谷科技领袖们借助 AI 等技术愿景，正将公司运营和产品叙事塑造为类似宗教的“信仰体系”——从相信“AGI 即将到来”到推行“数据教条主义”，这不仅是商业策略，更在深刻改变技术信仰与社会信任结构。
Meta「算力过剩」疑云背后：扎克伯格说 AI 进展慢了，AI 负责人新模型说已追上 GPT-5.5
Meta 内部出现严重信息分歧——CEO 扎克伯格承认 AI 智能体进展慢于预期，但 AI 负责人 Alexandr Wang 在同一场会议上宣称下一代模型“Watermelon”基准测试已追平 OpenAI 的 GPT-5.5。同时，Meta 正计划对外出售闲置算力，引发市场对 AI 芯片需求见顶的恐慌，但…
GPU 帝国松动：推理芯片正在重写 AI 算力格局
随着AI进入智能体和推理阶段，通用GPU在成本和延迟上的短板愈发明显，专用推理芯片正从多个技术路径崛起，推动算力市场从“单芯片通用”走向“多芯片分工”的异构时代。英伟达虽未失位，但格局已变。
Claude Mythos 预览版发布后新的严重漏洞激增
近日，在 Anthropic 发布 Claude Mythos 预览版后，Hacker News 用户发现与之相关的严重安全漏洞报告数量显著上升，其中一条评论预测，一旦负责任的披露期结束，还会有更多漏洞被公开。这一事件引发了对AI大模型在快速迭代过程中安全风险管控能力的关注。
Kagi 变更日志（7 月 2 日）：正面、反面和 AI 切换
付费搜索引擎 Kagi 因免费 AI 翻译服务成本飙升，宣布暂时移除该功能并计划将其转为订阅制，引发付费用户对服务权益的争议。
开源人工智能差距图
非营利组织 Current AI 发布了首个“开源 AI 差距图”（Gap Map），系统梳理了全球 421 个核心开源 AI 项目，试图填补业界对开源 AI 生态“家底”缺乏统一认知的空白。这不仅是一张地图，更是一份可公开复用的数据库。
今年您需要的唯一人工智能术语表
TechCrunch 发布了一篇经编辑整理的 AI 术语解释列表，从 AGI 到编程智能体，帮助从业者、投资者和普通读者理清当前 AI 领域最常见的词汇。这不是一次简单的名词罗列，而是对行业快速迭代下语言混乱问题的一次系统回应。
Mistral AI 发布 Leanstral 1.5：Apache-2.0 Lean 4 代码代理模型，解决 672 个 PutnamBench 问题中的 587 个
Mistral AI 于 2026 年 7 月 3 日发布了 Leanstral 1.5，这是一个采用 Apache-2.0 协议开源的 Lean 4 代码代理模型，在极具挑战性的 PutnamBench 数学竞赛题目中取得了 87.4% 的解题率，显著提升了 AI 在形式化数学推理与程序验证领域的能力上限。