BFS-Prover
BFS-Prover 是字节跳动豆包大模型团队推出的基于大语言模型(LLM)的自动定理证明系统,通过改进传统的广度优先搜索(BFS)算法,结合专家迭代、直接偏好优化...
I2V-01-Director
I2V-01-Director 是海螺AI最新推出的突破性AI视频生成模型,模型支持用户通过自然语言指令控制镜头运动,将创意转化为具有电影质感的视频作品。支持精准的镜...
Claude Code
Claude Code 是 Anthropic 推出的智能编程工具,目前作为研究预览版限量开放。Claude Code能直接在终端中理解并操作代码库,支持搜索和阅读代码、编辑文件、...