May 5 AI 日报

1️⃣ Grok 推出 Voice Mode，支持语音交互

Grok 宣布其应用现在支持 Voice Mode，允许 iOS 用户和 Android 的 SuperGrok 订阅者通过语音与 Grok 互动。该功能的推出被戏称为“让有声”，引发了关于技术与宗教的讨论。

🔗 Grok 的 X 帖子

---

2️⃣ Justine Moore 启动 AI 生成的 YouTube 频道：ASMR for tech bros

Justine Moore 宣布使用 AI 创建 YouTube 频道，以“ASMR for tech bros”为首个项目。该频道将利用 AI 工具生成脚本、图像、音频和动画，针对技术爱好者提供专属 ASMR 内容。

🔗 Justine Moore 的 X 帖子

---

3️⃣ CAMEL-AI 支持 DeepSeek-Prover-V2，增强形式化定理证明能力

CAMEL-AI 宣布支持 DeepSeek-Prover-V2，提供先进的形式化定理证明功能。用户可通过 CAMEL-AI 框架访问 DeepSeek 的 Lean 4 证明模型，利用最先进的形式化数学推理能力，并实现无缝集成，提升数学 AI 研究和代理开发效率。

🔗 CAMEL-AI 的 X 帖子

---

4️⃣ Hasan 推广 AI 音乐创作工具 TemPolor

Hasan 分享了 TemPolor，一款 AI 驱动的音乐工作室，可根据用户的描述在几秒钟内创作出专业质量的音乐，无需音乐经验。TemPolor 还提供了播放列表、声纹克隆、轨道再生和音乐视频匹配等功能，旨在为用户提供全面的音乐创作体验。

🔗 Hasan 的 X 帖子

---

GitHub 热门项目

Daytona

Daytona 是一个开源的开发环境管理平台，支持一键配置和自动化部署开发环境。它通过简化和标准化工作流程，提升开发者的生产力，适用于团队协作和个人项目。项目支持多种语言和工具集成，可快速启动本地或云端开发环境，采用 Apache-2.0 许可证。

🔗Github链接