消息称三星考虑按 200 亿欧元估值向 Mistral AI 投资 10 亿欧元

Mistral AI 对于欧洲乃至更广泛地区的人工智能独立性的重要性随着美国政府近期一连串监管措施进一步凸显。

Mistral 首席执行官 Mensch：法国凭平价电力在 AI 竞赛中占据有利位置

由于大规模部署核电站，法国拥有强大的发电能力，去年向其他国家净出口了 92TWh 的电力。

面向数学形式化证明：Mistral AI 发布 Leanstral 1.5 低使用成本开源模型

对于 PutnamBench 数学竞赛问题集中的题目，Leanstral 1.5 的平均解决开支仅有 4 美元，而 Seed-Prover 1.5 需要 300 美元以上，Aleph Prover 也需要 54~68 美元。