国内目前至少有九款AI大模型软件，它们分别是：

1. Kimi ：由清华大学与智谱AI联合研发，专注于中文自然语言处理，适用于教育和科研领域。

2. 智谱清言 ：提供多种语言模型，包括中文和英文，支持智能助手和内容创作等任务。

3. 通义千问 ：阿里巴巴达摩院开发，专注于问答系统，适合构建智能客服和教育辅助系统。

4. 文心一言 ：百度基于ERNIE模型开发，具备强大的自然语言理解和生成能力，支持多种语言任务。

5. 豆包AI ：字节跳动基于云雀模型开发，具有强大的语言处理能力和广泛的应用场景。

6. 天工AI ：讯飞推出的一款AI大模型。

7. 讯飞星火 ：科大讯飞推出的认知智能大模型，适用于自然语言理解、对话系统以及内容创作等方面。

8. DeepSeek ：一款测试表现优秀的AI大模型，速度较快，效果也不错。

9. 盘古大模型 ：华为推出的超大规模预训练模型，具备强大的语言理解和生成能力，支持多模态任务。

这些AI大模型在各自的应用领域都有其独特的优势，用户可以根据自己的需求选择合适的模型进行使用。