实体
chat.mistral.ai
chat.mistral.ai
PulseAugur coverage of chat.mistral.ai — every cluster mentioning chat.mistral.ai across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 0
层级分布 · 90 天
主题
情绪 · 30 天
2 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
用户比较 ChatGPT、Mistral AI 和 Brave AI 聊天的伦理问题
一位用户正在寻求比较几种大型语言模型的免费模式版本的伦理考量，特别是 ChatGPT、Mistral AI 的聊天界面和 Brave Search 的 AI 聊天。该提示旨在从伦理角度评估这些模型如何处理用户查询，涉及隐私、大型科技公司角色、数据中心和气候影响等问题。
-
Mistral AI 发布 Leanstral 1.5 用于形式化验证任务 · 跟踪 5 个来源
Mistral AI 发布了 Leanstral 1.5，这是一个为 Lean 4 编程语言和形式化验证任务设计的开源代码代理模型。该更新模型拥有 1190 亿总参数，每个 token 有 65 亿活跃参数，并支持 256k token 上下文长度，可处理文本和图像输入。Leanstral 1.5 在 miniF2F 和 PutnamBench 等基准测试中表现出最先进的性能，并已被用于识别软件存储库中先前未知的错误。