| 查看: 778 | 回复: 0 | |||
[交流]
寻求会lean4的你参与大模型项目
|
|
要求：擅长lean4形式化证明，数论 项目：数学形式化大模型项目 有兴趣的私信我，谢谢大家 发自小木虫IOS客户端 |
回复此楼» 猜你喜欢
寻找合作团队
已经有3人回复
-
同一个分子，一条来自文献，一条来自AI——不告诉你答案，你会选哪条？
已经有9人回复
-
某top大学教授说“能够在市场中兑现的能力才是真能力”无比同意！
已经有13人回复