标签:人工智能
尽管 AI 狂热,VC 仍下跌 50%
7月6日(路透社) - 研究公司PitchBook的数据显示,2023年前六个月全球风险投资资金几乎减半,突显出投资者缺乏热情,以及在利率大幅上升的情况下需求减少。 ...
研究比较了GPT和谷歌的搜索性能和用户体验
像GPT这样的聊天机器人已经在某些程度上补充并取代了传统搜索引擎的角色。最近的一项研究试图更多地了解它们在效率和质量方面的比较。 最近的一项研究比较...
Notion AI 是生产力工具:这是他们对GPT做的回应
Notion AI是Notion 的订阅扩展,它使用Anthropic的Claude语言模型。 与向用户显示空白页面的聊天 GPT 不同,Notion AI 的优势在于它会在用户开始新页面时提...
Microsoft的多模态模型CoDi :通过可组合扩散生成文本、图像、视频和音频
近日Microsoft研究人员发布了一种多模态模型CoDi,这是一种可组合的、基于扩散的人工智能模型,可以同时处理和生成多种模式的内容,包括文本、图像、视频和音...
Recast AI 将冗长的文章变成简短的音频对话播客
Recast AI由专有的LLM提供支持。它将您阅读的任何内容变成对话播客 Recast AI 通过将冗长的文章转化为引人入胜、全面且易于消化的音频对话来改变内容消费...
由 GPT-4 提供支持的Perplexity AI是 GPT 的免费且更好的搜索伴侣
Perplexity 是一个交互式 AI 搜索伴侣,利用 GPT-4 的强大功能提供深度个性化的搜索体验。 Perplexity有一个免费使用的基本工具,还有一个更智能,更智能...
Microsoft推出了Windows 11的AI助手预览
Microsoft正在让早期用户先睹为快,看看其Windows 11的AI助手,Windows Copilot和Bing Chat。该程序作为 Windows 预览体验成员开发人员频道中更新的一部分提...
GPT插件系列篇:一次性取代了几个工作岗位
只需一个提示,就可以获取文章+照片+视频,这就是生产力! 这是可以替代整个团队的多插件: -WebPilot -Image Search -Heygen 步骤1 -进入GP...
研究发现,如果你问对了,LLM可以教你如何sha死你的邻居
研究人员正试图让语言模型特别适应人类的需求,以生成一些令人讨厌的文本。这比较适用于同时处理图像的 AI 语言模型。 来自Google Deepmind,斯坦福大学,...
LeanDojo(精益道场)用LLMs实现定理证明
LeanDojo是一个开源平台,用于使用语言模型证明数学定理。 自动定理证明 (ATP) 是一项为形式逻辑中制定的定理生成证明的任务。它对形式化数学很有用,支...