29
5月
重点·来源 · x.com·2026/05/29
Google DeepMind推出AlphaProof Nexus，AI智能体推进研究级数学证明
Google DeepMind发布AlphaProof Nexus，这是一个由Gemini驱动的智能体框架，旨在通过形式化证明搜索来推进研究级数学。
29
5月
重点·来源 · x.com·2026/05/29
Google AI推出创意工作流新工具，包括Google Pics
Google AI与艺术家、设计师和开发者合作，推出了解决创意工作流实际问题的新AI工具，其中包括Google Workspace中的全新图像创建和编辑工具Google Pics。
29
5月
重点·来源 · github.com·2026/05/29
Ollama v0.30.0架构更新，直接支持llama.cpp和GGUF
Ollama的v0.30.0版本改变了架构，直接支持llama.cpp并兼容GGUF文件格式，同时使用MLX加速Apple设备上的模型推理。
29
5月
重点·来源 · github.com·2026/05/29
llama.cpp更新b9383，新增Granite 4.1聊天模板并改进多平台支持
llama.cpp的b9383版本更新新增了Granite 4.1聊天模板，并优化了macOS、iOS和Linux等多个平台的支持。
29
5月
趋势·来源 · www.reddit.com·2026/05/29
MONET：发布超1亿高质量图像与文本数据集
一个名为MONET的全新数据集已发布，包含超过1亿张高质量、精选图像及其标题和元数据，并采用Apache 2.0许可。
29
5月
搞钱·来源 · www.producthunt.com·2026/05/29
Memori：为AI代理提供持久化记忆
Memori是一款在Product Hunt上发布的产品，旨在为AI代理提供基于跟踪而非仅对话的持久化记忆能力。
29
5月
搞钱·来源 · www.producthunt.com·2026/05/29
Pitch Agent：数秒内生成品牌演示文稿
Pitch Agent是一款在Product Hunt上发布的产品，能够帮助用户在几秒钟内生成符合品牌规范的演示文稿。
29
5月
搞钱·来源 · www.producthunt.com·2026/05/29
Revolte：软件工程AI工具
Revolte是一款在Product Hunt上发布的软件工程AI工具，旨在帮助开发者提升软件开发效率和质量。
