AI 工具雷达// NavXD.v2LIVE
TUNEDCH ??
RESULTS1
PAGE1 / 1
FREQUENCY · LEAN4

Lean4

AI 工具 · Lean4 频段，本页汇总 1 个相关工具与入口。

已收录工具
1个
本周持平
国内可用
0%
0 / 1
本周新发现
0
扫描中
综合评分
8.4/10
类别平均
◇ FREQUENCY DIAL · UNTUNED
CH 01
scope-non-ai
384
CH 02
tech-cv
364
CH 03
industry-education
198
CH 04
tech-nlp
168
CH 05
price-open-source
135
CH 06
tech-agent
126
CH 07
tech-speech
105
CH 08
industry-medical
93
CH 09
industry-ecommerce
88
CH 10
AI聊天机器人
75
CH 11
type:model
75
CH 12
industry-finance
65
标签
Lean4 1 LongCat 1 Mistral 1 MoE 1 type:model 1 verify:unverified 1 verify:verified 1 形式化证明 1
中国
直接访问0部分可用1需国际网络0
SORT
#001★ 18

LongCat-Flash-Prover #001

美团 LongCat 团队推出的数学形式化证明大模型。

部分可用VIEW