搜索
近日，由普林斯顿大学牵头，联合清华大学、北京大学、上海交通大学、斯坦福大学，以及英伟达、亚马逊、Meta FAIR 等多家顶尖机构的研究者共同推出了新一代开源数学定理证明模型——Goedel-Prover-V2。
本文第一作者操雨康，南洋理工大学MMLab博士后，研究方向是3D/4D重建与生成，人体动作/视频生成，以及图像生成与编辑。
如今，他创立的公司Rwazi 已获得由 Bonfire Ventures 领投的 1200 万美元 A 轮融资，旨在帮助企业获取市场情报和消费者洞察。
怎么快速判断一个生成模型好不好？ 最直接的办法当然是 —— 去问一位做图像生成、视频生成、或者专门做评测的朋友。他们懂技术、有经验、眼光毒辣，能告诉你模型到底强在哪、弱在哪，适不适合你的需求。
Hi 这里是海辛和阿文~ 前段时间在 X 上看到博主 @sergeantsref 分享了一个 Midjourney 风格代码 --sref 2007748773 ，瞬间被圈粉。
Unify是一款专注于GTM（Go-to-Market）的Agent产品，近日宣布完成了B轮融资。公司在Battery Ventures 领投的本轮融资中筹集了 4000 万美元，估值为 2.6 亿美元。
下架产品再增一员，这次是字节。本期统计 MAU 达到 20 万以上的 AI 社交产品有 32 款，比上一期榜单多出 5 款。
近日，ICCV 2025（国际计算机视觉大会）公布论文录用结果，理想汽车共有 8 篇论文入选，其中 3 篇来自基座模型团队。
AI 不该只是工具，而应该成为团队中的「智能中枢」。2023 年 3 月，微软发布 Office Copilot，掀起 AI 办公革命的第一波浪潮。然而，这场变革止步于简单的「智能助手」或「聊天工具栏」的辅助层面，受限于软件割裂、缺乏上下文记忆与协作能力，Copilot 式插件未能从根本上重构办公逻辑。
马斯克xAI整活的AI Waifu，已经让全网沦陷了！这个二次元女友会说、会撩，还具有多种不适合在工作场合展示的功能，亟待广大网友们探索。