AI工具
Elements Claw
ElementsClaw 是阿里达摩院联合中国人民大学、中国科学院大学推出的行业首个超导材料发现 AI 智能体,采用专通融合架构,将 10 亿参数原子基础模型 Elements ...
Leanstral 1.5
Leanstral 1.5 是 Mistral AI 开源的形式化验证大模型,专为 Lean 4 自动定理证明优化。模型采用 119B 参数 MoE 架构,支持 256k 超长上下文与图文输入。
Command Code
Command Code 是 CLI 优先的 AI 编程智能体,核心差异化在于其 Taste(编码品味)持续学习系统。通过自动记录你对代码的接受、拒绝和修改行为,跨项目沉淀个...
SemanticAudio
SemanticAudio 是香港中文大学、LIGHTSPEED、上海交通大学联合推出的音频生成与编辑框架。框架将文本到音频生成拆分为"语义规划"与"声学合成&...