👉👉原文链接👈👈
阅读详细图文，可访问知识库
◇ CogVideoX-5B，开放权重文本转视频 AI 模型问世，尺寸更大、质量更好、成本更低（仅需 12GB GPU 即可运行） 🔗 News
我们开源了CogVideoX系列中一个更大的模型CogVideoX-5B。同时，CogVideoX-2B将采用Apache 2.0 License。我们大幅优化了模型的推理性能，大大降低了推理门槛。现在您可以在GTX 1080TI等较早的GPU上运行CogVideoX-2B，在RTX 3060等主流桌面GPU上运行CogVideoX-5B。
◇ Gemini 的新功能：自定义 Gems 和使用 Imagen 3 改进的图像生成 🔗 News
从今天开始，我们将推出一些新功能，这些功能我们在 Google I/O 上进行了预览。Gems 是一项新功能，它可让您自定义 Gemini，针对您想要的任何主题创建您自己的个人 AI 专家，现在可供 Gemini Advanced、Business 和 Enterprise 用户使用。我们的新图像生成模型 Imagen 3 将在未来几天内面向 Gemini、Gemini Advanced、Business 和 Enterprise 推出。
◇ Midjourney 表示正在“进军硬件领域” 🔗 News
据报道，AI 图像生成平台 Midjourney 在没有任何风险投资的情况下就获得了超过 2 亿美元的收入，现在它正在进军硬件领域。该公司周三在 X 上的一篇文章中宣布了这一消息。该公司透露，其新的硬件团队将设在旧金山。
◇ ComfyUI 发布了 0.10 版本，带来了重大更新 🔗 News
新增模型配置：@Scorpinaus 在 #4565 中为 Model_detection.py 添加了 SD15_Inpaint_Diffusers 模型配置。
后端更改：@simonlui 在 #4562 中对 Pytorch XPU 检查进行了全面检修，并做出了其他小型 XPU 后端的更改。
新贡献者：@Scorpinaus 在 #4565 中首次做出贡献。
完整更新日志：涵盖了从 v0.1.1 到 v0.1.2 的变化。
◇ 陶哲轩在 2024 年第 65 届国际数学奥林匹克上，陶哲轩做了一次 AI 和数学的演讲，非常精彩，从数学使用计算计算机的历史开始讲起，一直讲到大语言模型，干货相当多，尤其适合对数学有兴趣的同学 🔗 News
陶哲轩在 IMO 2024 现场关于 “AI 与数学” 的演讲分享。他从机器辅助计算的传统讲起，包括计算机制作表格、在科学计算中的应用等。近年来，使用计算机进行数学研究有了更具创造性的方式，如证明助手、机器学习、大语言模型等。
证明助手：以四色定理和开普勒猜想的证明为例，说明计算机辅助证明的发展过程，以及形式证明助手在数学研究中的应用，如 Lean 语言在证明定理中的作用。
机器学习：以机器学习在结理论中的应用为例，说明其能为数学研究提供有价值的线索和方向，但建立联系的工作仍需人类完成。
大语言模型：GPT - 4 等大语言模型虽不能解决大多数数学问题，但可作为灵感来源，还可与证明助手结合，如 GitHub Copilot 可辅助编写证明。
陶哲轩认为未来借助 AI 可以以前所未有的规模进行数学研究，但目前 AI 主要用于辅助，我们仍需以传统方式证明定理。
◇ SB 1047 刚刚在加州议会通过。加州拟议的立法影响大型 AI 模型 - 引发了激烈的争论和批评。 🔗 News
SB 1047 刚刚在加州议会通过。加州拟议的立法影响大型人工智能模型，引发了激烈的争论和批评。您可能已经看过多篇专栏文章、推文和文章，在我们撰写本文时，该法案刚刚在几分钟前以最低票数通过了加州议会。
◇ GPTEngineer： AI 开发工程师 几秒钟内创建一个网站 🔗 News
gptengineer.app 使任何人都可以：指定要构建的内容，AI 创建网站并显示它，使用自然语言编辑，一键部署。
如果您有太多想法并希望拥有更多产品 - 您来对地方了。
获取更多全球最新 AI 动态、AI 提效工具，知识题，加入早早聊 AI 咨资讯圈，访问 原文链接 加群备注「 资讯 」...
