金十数据 闪电资讯
@jin10light
22.2K
subscribers
2.58K
photos
2
videos
137
files
14.5K
links
金十数据, 一手时政&财经&币圈 数据24H极速推送！中文时政财经圈顶级付费文章！关注频道，洞悉世界！
Download Telegram
Join
金十数据 闪电资讯
22.2K subscribers
金十数据 闪电资讯
Mistral发布Leanstral：Lean4首个开源代码Agent，生成代码同时输出形式化证明
#Mistral
AI
#Leanstral
#FLTEval
金十数据 闪电资讯
定理证明也开始卷成本：Mistral开源Leanstral 1.5，每题约4美元
#Mistral
AI
#Leanstral
1.5
#Rust
