-
数学界巨震！陶哲轩成功用AI工具破解数学猜想
近期，陶哲轩成功利用AI工具形式化了多项式Freiman-Ruzsa猜想的证明，这一成果引起了数学界的广泛关注。他在博文中详细记录了使用Blueprint在Lean4中形式化证明的过程。这一项目历时三周，成功实现了多项式Freiman-Ruzsa猜想的证明...
-
Windows11将以AI替代受欢迎的快捷方式
Microsoft最近在Dev频道中发布了Windows11的预览版本，试图通过替换一个受欢迎的快捷方式来提升操作系统的人工智能功能。据悉，该预览版中的主要特性之一是Copilot的快捷方式，它将位于屏幕右下角，取代了自2009年以来一直存在的“显示桌面”...
-
安装whisper模块踩过的坑
如果你和我一样，通过以下命令安装whisper pip install git+https://github.com/openai/whisper.git 但却出现了fatal: unable to access 'https://github.c...
-
AI绘画5大免费工具
AI现在最火爆的两个方向一个是以ChatGPT为主导的文本生成工具，还有一个就是以Midjourne为主导的文本生成图片工具。 Midjourne 现在基本是都是需要收费的，但确实Midjourne的效果是顶尖的，如果我们只是想试一下 文本生图的过程...
-
亚马逊AI工具Q被“锤爆”：不够精准、侵犯隐私、存在幻觉、泄露数据
不久前亚马逊推出AI工具“亚马逊Q”，它的竞争对手是微软Copilot。业界本来以为亚马逊来势汹汹，Q应该很不错，但最新报告显示，这款AI工具并不成熟，可能还没有准备好。 Q到底有什么问题呢？The Platformer在报道中说，Q不够精准，侵犯隐私，...
-
新AI框架DreamSync:结合图像理解模型的反馈 改善文本到图像合成
来自南加州大学、华盛顿大学、巴伊兰大学和谷歌研究团队的研究人员推出了DreamSync，这是一种新型人工智能框架，致力于解决扩散型文本到图像（T2I）模型中对齐和审美吸引力的问题，而无需进行人工标注、修改模型架构或使用强化学习。 DreamSync的方法是...
-
巴西政治人物承认使用ChatGPT起草新法案，未告知议会
巴西南部城市Porto Alegre最近通过了一项由ChatGPT完全起草的法案，引起了社会的广泛关注。 据Associated Press报道，该市议会成员Ramiro Rosário承认他使用ChatGPT起草了一项旨在防止市政府强制居民支付替换被盗用...
-
借助国内ChatGPT平替+剪映/百度AIGC平台快速制作短视频
系列文章目录 借助国内ChatGPT平替+MindShow，飞速制作PPT 借助国内ChatGPT平替+markmap/Xmind飞速生成思维导图 利用ChatGPT编写Excel公式，对比讯飞星火与ChatGPT对Excel公式的回答...
-
微软 Bing 推出全新「深度搜索」功能：借助 OpenAI 的 GPT-4 提供更全面的搜索结果
微软 Bing 正在引入了一项名为「Deep Search（深度搜索）」的新功能，该功能由 OpenAI 的 GPT-4 驱动，旨在为用户提供针对复杂搜索查询的更相关和全面的答案。微软指出，深度搜索不是替代 Bing 现有的网络搜索，而是一种增强功能，允...
-
国内免费版ChatGPT和AI绘画
一.前言 最近人工智能技术很火热，特别是AI对话和AI绘画这两个领域，可以对用户提出的问题进行分析和理解并给出相应的答案或解决方案，生成高质量、具有艺术价值的绘画作品，功能非常强大。 然而国内使用存在限制，大多数普通用户体验不了，提供一个国内在线网页，...
-
无需魔法，教你Midjourney随意用【内附源码】【示例】
感谢laf提供云资源赞助，小伙伴可白piao用来做测试。 感谢laf团队、白夜、米开朗基杨@sealos.io的热心布道 ，life is short, u need laf : 欢迎你也来加入laf开发。 正好现在laf在做一个活动，一起搞起来...
-
微软必应将推出深度搜索功能：整合GPT-4
快科技12月6日消息，微软公司宣布，将推出必应深度搜索（Bing Deep Search）功能，提供更相关和更全面的答案。 微软强调，深度搜索并不是必应现有网络搜索的替代品，而是一项增强功能。 深度搜索整合了大名鼎鼎的GPT-4，当用户搜索时，GPT-4会...
-
No module ‘xformers‘. Proceeding without it.
浏览器地址栏贴上： https://ghproxy.com/https://github.com/C43H66N12O12S2/stable-diffusion-webui/releases/download/f/xformers-0.0.14.dev0...
-
Meta 的LLaMA是 GPT的竞争对手，如何在 M1 Mac 上使用 LLaMA
目录 第 1 步：下载模型 第 2 步：安装依赖 第 3 步：编译 LLaMA CPP 第 4 步：转换模型 Step5：运行模型 语言模型大战 随着人们对人工智能及其在日常生活中的应用越来越感兴趣，Meta 的 LLaMA、OpenAI 的 G...
-
教你文本生成图片——stablediffusion
今天来点轻松的话题，带大家玩一个用文字生成图片的模型。 相信大家如果关注AIGC领域，对文本生成图片，对Stablefiffusion、DEALL.E应该不陌生。今天给大家介绍的就是基于SD2 finetune出来的一个模型（） 这篇文章不会...
-
七月论文审稿GPT第2版：从Meta Nougat、GPT4审稿到Mistral、LongLora Llama
前言 如此前这篇文章《学术论文GPT的源码解读与微调：从chatpaper、gpt_academic到七月论文审稿GPT》中的第三部分所述，对于论文的摘要/总结、对话、翻译、语法检查而言，市面上的学术论文GPT的效果虽暂未有多好，可至少还过得去，而如果涉...
-
Stable diffusion 训练lora出现报错
今天使用kohya_ss训练lora时出现三个报错，下面是解决办法。 一： 报错 UnboundLocalError: local variable 'pipe' referenced before assignment...
-
AIGC重塑教育 | AI大模型时代
⭐简单说两句⭐ 作者：后端小知识，CSDN后端领域新星创作者|阿里云专家博主 CSDN个人主页：后端小知识 ?GZH：后端小知识 ?欢迎关注?点赞?收藏⭐️留言? 文章目录 引言 AI与教育工作者 教育资源不平衡 这次...
-
AI实战营：生成模型+底层视觉+AIGC多模态 算法库MMagic
目录 环境安装 黑白照片上色 文生图-Stable Diffusion 文生图-Dreambooth 图生图-ControlNet-Canny 图生图-ControlNet-Pose 图生图-ControlNet Animation 训...
-
DDPM详解 AI绘画
话说DDPM DDPM模型，全称Denoising Diffusion Probabilistic Model，可以说是现阶段diffusion模型的开山鼻祖。不同于前辈GAN、VAE和flow等模型，diffusion模型的整体思路是通过一种偏...
-
AI绘图软件Stable Diffusion 安装和使用之二controlnet插件
本期说一下Stable Diffusion非常有名的插件controlnet。同上一篇一样，我们安装b站大佬秋葉aaaki（有的网友戏称他/她是赛博佛祖）的stable diffusion4.2整合包。解压缩以后，打开启动器，见下图，界面比早期版本更好看了...
-
通义千问官网体验入口 AI智能聊天大模型软件app免费下载地址
《通义千问》是一个专门响应人类指令的大模型。它具有强大的语义理解和语言生成能力，能够回答各种问题、提供实用信息、帮助解决问题。这款产品以其高准确性、快速响应、支持多种语言和丰富的功能而著称。《通义千问》在哪里可以体验呢?下面就给大家带来《通义千问》官网体验...
-
什么是AI绘画?
什么是AI绘画 AI 绘画无疑是 AIGC 圈最靓的那个仔! 我们只要输入相关描述性短语，AI就可以生成对应的图片。 它对 工业设计、漫画、效果图渲染和动画制作等行业造成了巨大的冲击。 但目前国内上手学习使用 Al 绘画成本还是相对比较高，比较火的...
-
继GitHub的Copilot收费后，亚马逊推出了 CodeWhisperer，感觉不错哟！
? 优质资源分享 ? 学习路线指引（点击解锁） 知识定位 人群定位 ? Python实战微信订餐小程序 ? 进阶级 本课程是python flask+微信小程序的完美结合，从项目搭建到腾讯云部署上线，打造一个全栈订...
-
玖章算术CEO叶正盛在数据技术嘉年华分享NineData AIGC的应用实践
4月8日下午，为期两天的第十二届数据技术嘉年华（DTC 2023）在北京新云南皇冠假日酒店圆满落下帷幕。大会得到了工业和信息化部电子五所的支持和指导，围绕“开源·融合·数字化——引领数据技术发展，释放数据要素价值”这一主题，通过一场主论坛和十二场专题论坛，...
-
Midjourney 介绍-AI绘画工具
《Midjourney》是一款2022年3月面世的AI绘画工具，创始人是David Holz。 它一款基于浏览器的在线应用程序，因此你无需安装任何软件，只需在浏览器中访问MidJourney的官方网站即可开始使用。 只要输入想到的文字，就能通...
-
大模型版“5年高考3年模拟”来了！6141道数学题，还是多模态的那种
大模型的“5年高考3年模拟”数学题来了，还是加强强强版！ 微软、加州大学洛杉矶分校（UCLA）、华盛顿大学（UW）联合打造全新多模态数学推理基准数据集。 名为“MathVista”。 涵盖各种题型共6141个问题，来源于28个现有的多模态数据集和3个新标...
-
约79%的ChatGPT企业客户来自微软Azure OpenAI合作伙伴关系
根据 UnearthInsight 的估计（数据来源为 Moneycontrol），OpenAI 的生成式 AI 聊天机器人 ChatGPT 的企业客户中，有大约70-79% 是通过 Azure-OpenAI 合作伙伴关系而不是直接来自 GPT-4或其他渠...
-
谷歌I/O大会重磅发布：Bard编码能力优化后仍不支持中文，开发者选择CodeGeeX更佳
谷歌I/O大会今天凌晨发布，打出系列AI组合拳。除了发布升级版语言模型PaLM2之外，Bard能力也要起飞。 凭借改进的数学、逻辑和推理技能，Bard 现在可以帮助生成、解释和调试 20 多种编程语言的代码，开发者们需要输入prompt，来得到完整的...
-
如何在企业中采用生成式人工智能
在企业中嵌入生成式人工智能的用例是什么?它如何帮助减轻重复性管理的负担?它的局限性是什么? 研究机构Gartner公司报告称，在过去三年，全球的风险投资公司在生成人工智能解决方案上投资了逾17亿美元。随着人工智能增强的聊天机器人风靡全球，这种情况只会急...
-
构建生成式人工智能需要的不仅仅是大模型
生成式人工智能(GenAI 的迅速崛起使得企业争相寻找新的创新方法来利用这项技术在商业应用中的力量。许多企业认为，大型语言模型(LLM 已经重塑了人工智能驱动的商业应用程序的构建方式，所需要的只是将数据输入到大型企业的LLM模型中，它就会完成工作。然而，...
-
全球四大会计师事务所在审计中部署AI，辅助初级员工处理复杂任务
事实表明，AI在金融服务领域的应用正在迅速增长，而会计行业的知名公司正在寻求部署这项技术的新方法。 据报道，作为审计业务的一部分，安永开始使用AI帮助发现欺诈行为。在这一消息传出之际，全球四大会计师事务所也在部署AI，帮助初级员工完成更复杂的任务，这表明...
-
BlurOn软件官方体验入口 AI自动马赛克软件哪个好
BlurOn是一款使用NTT Data的AI技术的插件，能够在视频中自动识别脸部、头部、全身、车牌等元素，并以高达99.7%的精度自动添加马赛克和模糊效果。该插件操作简便，安装后即可使用，即使是新手也可以轻松上手。这一功能在电视节目制作、自动驾驶开发、医疗...
-
AI入侵B站鬼畜区！网友辣评：不如传统“活字乱刷术”
11月27日，B站UP主“女孩为何穿短裙”突破传统，投稿一则使用AI合成语音制作的鬼畜视频，标志着AI视频制作正式进入B站鬼畜区。视频播放量截至目前已达167.3万，获得14.5万的点赞和2.8万个投币。 鬼畜视频一直以其独特之处引起关注，其精彩之处在于通...
-
stable-diffusion基础问题记录
一、windows安装 1、启动 如果自己是anaconda，python版本不是3.10.6 conda create -n python_3_10_6 python=3.10.6，创建一个这样的环境 修改webui-user.bat set P...
-
Transformer挑战者出现！斯坦福CMU联合团队，开源模型及代码，公司已创办
现在ChatGPT等大模型一大痛点： 处理长文本算力消耗巨大，背后原因是Transformer架构中注意力机制的二次复杂度。 FlashAttention作者Tri Dao参与提出的新架构，成为有力挑战者，引起大量关注： Mamba（曼巴，一种蛇），在语...
-
whisper技术部署及简单使用
文章目录 安装ffmpeg(解压模式 安装python（源码编译模式） 安装pytorch 安装whisper whisper命令行使用 python调用whisper pip包离线导出安装 whisper是openai开源的...
-
让3D编辑像PS一样简单，新算法GaussianEditor在几分钟内完成3D场景增删改
3D 编辑在游戏和虚拟现实等领域中发挥着至关重要的作用，然而之前的 3D 编辑苦于耗时间长以及可控性差等问题，很难应用到实际场景。近日，南洋理工大学联合清华和商汤提出了一种全新的 3D 编辑算法 GaussianEditor，首次实现了在 2-7 分钟完...
-
艺术家集体诉讼AI公司侵权新进展 新增被告Runway
艺术家集体对三家AI公司提起的侵权诉讼有了新的进展。 原本由三名艺术家Sarah Anderson、Kelly McKernan和Karla Ortiz提起的诉讼，法官在十月份对其中一项侵权指控作出了裁决，令律师团队进行修订。针对法院的关切，律师们提出了修...
-
OpenAI竞争对手Mistral融资近5亿美元，估值达20亿美元，获英伟达和Salesforce支持
彭博社最新报道显示，Mistral AI 正在筹集近5亿美元资金，最终阶段的投资中包括来自英伟达公司和Salesforce公司等重要投资者。这轮融资将Mistral AI的估值推至约20亿美元，使其成为OpenAI的强大竞争对手。 图源备注：图片由AI生...
-
LLMs之LLaMA-2：源码解读(tokenizer.py文件)基于SentencePiece库执行文本的分词和编码/解码操作—在文本生成和处理过程中，将文本字符串与token ID列表之间进行相互
LLMs之LLaMA-2：源码解读(tokenizer.py文件 基于SentencePiece库执行文本的分词和编码/解码操作—在文本生成和处理过程中，将文本字符串与token ID列表之间进行相互转换，以便与深度学习模型进行交互 目录...
-
微软向 30 亿人推出免费的 Seeing AI 应用：帮助盲人和低视力群体了解周围环境
在国际残疾人日这一特殊的日子，微软发布新闻稿宣布，微软最新的人工智能技术驱动下的 Seeing AI 应用程序最新版本现已推出，并首次在 Google Play 商店提供安卓版下载。借助今天的安卓版本发布，Seeing AI 现已支持 18 种语言，并计划...
-
Stable Diffusion的原理
CSDN-markdown语法之怎样使用LaTeX语法编写数学公式 参考视频：【diffusion】扩散模型详解！原理+代码！ 用一颗桃树为你讲清楚 知识点：AI绘图原理 Diffusion扩散模型 Windows深度学习环境搭建：Windows深度学...
-
stable-diffusion-webui 更换 Python 版本
目录 一、原因 二、解决方法 一、原因 stable-diffusion-webui 推荐版本是 Python 3.10 ，如果电脑中安装了其他版本到Python，会警告推荐使用Python 3.10版本。 官方安装教程...
-
AIGC，ChatGPT AI绘画 Midjourney 注册流程详细步骤
AI 绘画，Midjourney完成高清图片绘制，轻松掌握AI工具。 前期准备： ① 一个能使用的谷歌账号 ② 可以访问外网 Midjourney注册 1.进入midjourney官网https://www.midjourney.com 点击左下...
-
【AICG】【Midjourney】AI自动生成图片的初接触
背景 现在是AI 比较流行，公司也推荐学习和了解AI的相关东西。 公司的内部培训中涉及到了Midjourney的简单讲解。 效果 由于我的账号注册的时候过了free窗口期： 现在要我花钱订阅： 只能看看其他人的帖子过过AI生成的瘾。 如图所示：...
-
首批搭载酷睿Ultra处理器！联想小新Pro AI超能本2024官宣
快科技12月4日消息，今天，联想小新官方宣布，小新Pro AI超能本2024将首批搭载全新酷睿Ultra处理器，并号称要挑战酷睿Ultra轻薄平台最强性能”。 从官方发布的海报来看，该款笔记本将会搭载16英寸屏幕，提供有数字键盘，不过官方并未公布确切发布...
-
文心一言官网体验入口 百度AI语言模型免费软件app下载地址
《文心一言》是百度全新一代的知识增强大语言模型，能够与人对话互动，回答问题，协助创作，高效便捷地帮助人们获取信息、知识和灵感。《文心一言》在哪里可以体验呢?下面就给大家带来《文心一言》官网体验入口和免费app下载地址。 点击前往《文心一言》官网体验入口...
-
Kyligence Copilot 亮相第六届进博会，增添数智新活力
11月5日，第六届中国国际进口博览会（以下简称“进博会”）在上海国家会展中心盛大启幕，众多新科技、新成果、新展品亮相本届进博会。作为阿斯利康（AstraZeneca）合作伙伴，跬智信息（Kyligence）携最新 AI 数据分析产品 Kyligence C...
-
Stable Diffusion Web UI + Anaconda环境 + 本地Windows系统部署
Stable Diffusion Web UI + Anaconda环境 + 本地Windows系统部署 最近的很多AIGC模型层出不穷，Stable Diffusion 模型作为一个开源的热门生成式模型，或许对未来的各行各业都能产生深远的影响，了解这...