“开源工具”的搜索结果
加州理工华人用AI颠覆数学证明！提速5倍震惊陶哲轩，80%数学步骤全自动化
新智元报道了加州理工学院团队在形式化数学工具Lean Copilot方面的最新进展。Lean Copilot是一个自动化数学证明工具，能够辅助数学家进...
AI时代新风口！吴恩达亲授智能体四大设计模式
吴恩达，人工智能领域的重量级人物，最近在其博客中连续发表了关于AI智能体的系列文章，强调了智能体在AI时代的重要性。他认为，智能体...
全面突围，谷歌昨晚更新了一大波大模型产品
谷歌在 Google’s Cloud Next 2024 大会上发布了一系列 AI 相关的更新和产品，其中包括 Gemini 1.5 Pro、CodeGemma、以及首款自研 Arm 处...
你花钱想消除的 AI 水印，其实也是虚假内容的克星
近几个月来，深度伪造（deepfakes）或人工智能生成内容的新闻报道层出不穷，涉及多个知名人物，如泰勒·斯威夫特、汤姆·汉克斯和美国总统...
超越英伟达！字节跳动MegaScale如何实现大规模GPU的高效利用？
在2024年2月，字帖跳动发布了一篇关于大语言模型训练框架的论文《MegaScale: Scaling Large Language Model Training to More Than 10,0...
免费 AI “神器”系列第五弹：斯坦福洗碗机器人爆火，字节版DALL·E模型登上开源榜单前三｜钛媒体AGI
文章介绍了五款创新的人工智能（AI）应用，这些应用在生成式人工智能（AIGC）领域具有很高的价值。这五款应用分别是：1. 斯坦福AI“螃蟹”...
全新开源AI代码工具诞生！超越谷歌DeepMind旗下AlphaCode
文章首先介绍了AlphaCodium的诞生背景，它的开发受到了AlphaCode和AlphaCode 2的启发，但已经超越了它们，引起了广泛关注。AlphaCodium...
Amphion：用AI创造你的声音，让世界听见。
Amphion为研究人员提供了强大的研究工具，也为工程师们提供了一个实用的开发环境。它在音频、音乐和语音生成领域展现出了雄心，预示着未...
1
2
