标签：开源工具
加州理工华人用AI颠覆数学证明！提速5倍震惊陶哲轩，80%数学步骤全自动化
新智元报道了加州理工学院团队在形式化数学工具Lean Copilot方面的最新进展。Lean Copilot是一个自动化数学证明工具，能够辅助数学家进行定理证明。最近，该...
全新开源AI代码工具诞生！超越谷歌DeepMind旗下AlphaCode
文章首先介绍了AlphaCodium的诞生背景，它的开发受到了AlphaCode和AlphaCode 2的启发，但已经超越了它们，引起了广泛关注。AlphaCodium采用了流程引擎的方法...
Amphion：用AI创造你的声音，让世界听见。
Amphion为研究人员提供了强大的研究工具，也为工程师们提供了一个实用的开发环境。它在音频、音乐和语音生成领域展现出了雄心，预示着未来的发展方向。通过不...
1
2
