新闻资讯

新闻资讯2026-05-05PPISO Goedel-Prover – 自动化数学问题的形式证明生成开源... Goedel-Prover（哥德尔证明器）是普林斯顿大学、清华大学、清华大学等机构推出的开源大型语言模型（... 阅读全文1 新闻资讯2026-05-19PPISO CineMaster – 快手推出的文本到视频生成框架，具备... CineMaster 是快手推出的具备3D感知能力的文本到视频生成框架。类似于视频版的ControlNet，支持用户... 阅读全文1 新闻资讯2026-06-08PPISO GAS – 卡内基梅隆联合上海 AI Lab 等推出的单图生成... GAS（Generative Avatar Synthesis from a Single Image）是卡内基梅隆大学、上海人工智能实验室和... 阅读全文1 新闻资讯2026-06-08PPISO 星声AI – AI播客工具，支持输入文字、URL等自动生成... 星声AI是AI播客生成工具，为用户提供播客内容的生成、编辑和发布服务。用户可以通过输入文字、网页... 阅读全文1 新闻资讯2026-06-01PPISO OpenThinker-32B – 斯坦福、UC 伯克利等机构联合开... OpenThinker-32B 是斯坦福、UC 伯克利、华盛顿大学等机构联合开发的开源推理模型，拥有 328 亿参数... 阅读全文1 新闻资讯2026-05-02PPISO Social Media Agent – AI社交媒体内容管理工具，输... Social Media Agent是智能的社交媒体内容管理工具，基于输入的URL内容生成Twitter和LinkedIn帖子。... 阅读全文1 新闻资讯2026-06-01PPISO 问小白上线DeepSeek-R1满血版，实测为官网最佳平替！ 最近用DeepSeek的时候，还没提几个需求呢，就开始“服务器繁忙，请稍后再试”，真是让人着急上火！... 阅读全文1 新闻资讯2026-05-20PPISO Matrix-Zero – 昆仑万维推出的世界模型 Matrix-Zero是昆仑万维推出的世界模型，包含两款子模型：3D场景生成大模型和可交互视频生成大模型。... 阅读全文1 新闻资讯2026-05-15PPISO LeetTools – AI知识库管理工具，自动收集网络信息生... LeetTools 是高效的人工智能文档工作流工具，专为提升知识工作者的效率而设计。能自动从互联网收集... 阅读全文1 新闻资讯2026-05-05PPISO Sa2VA – 字节跳动等机构开源的多模态大语言模型 Sa2VA是字节跳动联合加州大学默塞德分校、武汉大学和北京大学共同推出的多模态大语言模型，是SAM2和... 阅读全文1 新闻资讯2026-05-27PPISO Meetily – AI会议助手，实时转录自动生成会议总结和... Meetily 是 Zackriya Solutions 推出的隐私优先的 AI 会议助手，能实时捕捉会议音频进行转录，同时... 阅读全文1 新闻资讯2026-05-25PPISO WebLI-100B – 谷歌 DeepMind 推出的1000亿视觉语言... WebLI-100B是Google DeepMind推出的包含1000亿图像-文本对的超大规模数据集，用在预训练视觉语言模... 阅读全文1