2026年7月23日 AI/科技情报

陶哲轩与ChatGPT就雅可比猜想反例进行对话，探讨数学难题。

Simon Willison用“鹈鹕骑自行车”的SVG生成作为AI模型测试，引发关于AI实验室可能过度优化模型性能的讨论。

MCP服务器存在ANSI转义注入漏洞，攻击者可利用此漏洞向AI模型隐藏指令，而对人类用户可见。

Buzz是一个可自托管的协作工作空间，人类与AI代理在同一房间内共同工作，支持通过URL访问的社区，每个社区拥有独立的状态和权限。

World Monitor推出实时全球情报仪表盘，集成了AI驱动的新闻聚合、地缘政治监控和基础设施跟踪功能。

该资讯介绍了如何成为Diego Rodrigues de Sa e Souza的赞助者，支持他的开源工作。

将WiFi转换为空间智能/感知系统，能穿透墙壁检测人体、呼吸和心率，无需摄像头或可穿戴设备。

推出名为“CAD Skills”的技能库，用于生成、检查、获取、切片和传递CAD和机器人描述文件。

Chris Garry，一位东京的工程师，致力于让开源技术更易于大众获取，目前已有4位赞助者支持他的工作。

Harper是一款新的英语语法检查工具，旨在解决Grammarly等现有工具的不足，如价格昂贵、缺乏上下文、隐私问题等。

Pumpkin-MC是一个以人为中心、社区主导的倡议，目前由一家赞助商资助其运作。

LikeC4 是一款架构即代码的 DSL 和工具链，支持系统图准确、交互式和版本控制，目前拥有 2.9k GitHub 星标，40k+ 月度下载量和 23k IDE 安装量。通过赞助，项目将获得更快的发布、由实际需求驱动的功能和可持续维护。

Kronos是一个开源的金融蜡烛图语言基础模型，基于45个全球交易所的数据训练，旨在处理金融数据的独特和高噪声特性。

推出了一款AI与玩家平等参与的MMORPG游戏，AI和玩家使用相同接口连接游戏世界，遵循相同规则，无差别互动。

Pi Web是一个本地Web UI，用于pi编码代理，支持会话浏览、实时聊天、模型配置、技能管理和项目文件预览等功能。

citrolabs/ego-lite 是一款支持用户与AI代理并行工作的浏览器，旨在解决传统自动化框架中浏览器操作和登录问题。

阿里开源AI代码审查工具Open Code Review，支持多语言，可识别数百万代码缺陷。