Mistral opens Leanstral 1.5 in a bet on machine-checked AI

Runtime 资讯，AI 经济时代面向创始人的独立创业新闻、信号与分析。关注

Arthur Mensch's Paris lab says the Lean 4 model solves 587 PutnamBench problems and found five previously unreported bugs.

添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论