用 AI 写 10 万行 Rust 代码：multi-Paxos 引擎的开发经验与契约验证方法 开发者用 Claude Code、Codex 等 AI 工具，在约 4 周内编写了 10 万行 Rust 代码，实现了一个生产级 multi-Paxos 一致性引擎，性能提升 13 倍。核心经验是通过代码契约（前置/后置条件+属性测试）确保复杂分布式系统的正确性，并采用轻量级规格驱动开发替代僵硬的文档流程。 2026-05-20 🔭 科技见闻 18
前OpenAI创始人Karpathy加入Anthropic预训练团队 前OpenAI联合创始人Andrej Karpathy重返大模型前沿，加入Anthropic预训练团队。一个月前他在No Priors播客中曾表达回归意趣。此举被视为AI人才流动的标志性事件，或影响行业对两家公司的认知。 2026-05-20 🔭 科技见闻 6
Google I/O 2026：Gemini 3.5 Flash 成默认模型，AI 搜索迈向「任务执行」 Google I/O 2026 聚焦 AI 全生态：Gemini 3.5 Flash 成为默认模型，月 token 消耗达 3.2 千万亿；Omni 转向多模态生成；AI 搜索从「找网页」变为「找结果」；Android XR 与智能眼镜探索新入口；AI Studio 支持自然语言开发 Android App。 2026-05-20 🔭 科技见闻 9
中国算力平台（北京）上线 算力网跻身国家级基础设施 中国算力平台（北京）5月15日正式上线，已具备算力态势感知监测与供需匹配功能。国务院常务会议近期将算力网与水、电等公共基础设施置于同等位置，国投证券研报指建设国家算力网将带动国产算力产业链快速发展，紫光股份、浪潮信息等本土厂商已推出相关产品。 2026-05-20 🔭 科技见闻 8
谷歌发布Gemini 3.5系列 Omni视频生成实现可交互突破 谷歌在Google I/O大会上发布Gemini 3.5系列模型，轻量级的Flash成本仅为同类模型一半至三分之一，将作为默认模型；重量级Pro预计下月开放。同时推出世界模型Gemini Omni，可生成并交互视频；智能体Gemini Spark下周开放测试。 2026-05-20 🔭 科技见闻 4
谷歌I/O发布搜索框25年最大升级 AI编程工具视频模型齐出 谷歌I/O大会发布搜索框25年来最大升级及多项AI新品，包括Gemini 3.5 Flash编程模型、Antigravity开发平台和Omni多模态生成模型。搜索将加入代理功能，9亿月活用户同比翻倍。付费订阅100美元/月，AI视频将加强Deepfake标注。 2026-05-20 🔭 科技见闻 9
伊朗战争重击AI底层供应链 氦气短缺Cost全面攀升 伊朗战争持续冲击AI供应链。卡塔尔氦气出口受阻，全球供应占比超30%的关键材料告急；能源、运费成本升至历史高位，台积电、富士康、英飞凌等芯片厂商预警盈利能力承压。IDC与William Blair分析师均警告，当前冲击或仅为开端，若霍尔木兹海峡封锁持续，后续影响或进一步扩大。 2026-05-20 🔭 科技见闻 7
00后捐20亿AI算力Token引热议 价值数百元真相几何 郑州西亚斯学院三名00后校友向母校捐赠20亿AI算力Token，实际价值仅数百元。Token是AI大模型的语义计算单元，国内市场竞争已使API价格大幅下降。该批Token将用于AI外贸智能体平台，预计供500名学生使用一个月。校方及支持者认为实用价值大于表面估值，引发网络讨论。 2026-05-20 🔭 科技见闻 6
GitHub Pages通配符DNS配置可被滥用绑定他人域名 安全研究员发现其GitHub Pages域名被滥用：DNS通配符配置导致任何GitHub用户都能在其域名下创建子页面，甚至可能被用于诈骗网站。此问题并非首次出现，但域名所有者难以察觉。 2026-05-19 🔭 科技见闻 5
机制解释学研究发现Qwen 3.5存在可关闭的政治审查电路 研究发现阿里Qwen 3.5-9B中存在可被关闭的政治审查电路。该电路通过三个内部方向向量控制对PRC敏感话题的响应方式：拒绝、转移话题或宣传。基础模型保留事实知识，审查行为系额外叠加。研究者可通过操纵写入层方向向量绕过审查。 2026-05-19 🔭 科技见闻 8