五月吧论坛 → 【 藕心文苑 】 → [ 似水流年 ] → 【芦叶记】芳心未冷，且伴双卿

  共有3263人关注过本帖平板打印复制链接

主题：【芦叶记】芳心未冷，且伴双卿
帅哥哟，离线，有人找我吗？
荀灌
 小大  1楼 腰牌  452帖  2023/5/25 20:49:38 注册|搜索|短信|好友|勋章|藏票|洗衣||我的勋章


：怦然星动 点击进入抢亲页面：陈词 今日帖数：今日0 帖 点击参与风云：风云524-2 届 毓 兰 竹 菊 莲 好气哦 风起 对白 西风错 落樱 豆蔻年华 匆匆那年 生如夏花 安然若怡 风起海蓝 		  发帖心情 Post By：2024/3/31 16:08:14 [只看该作者]

我发现我可能被Gemini画饼了，在它还是Bard的时候跟它聊到了数学定理的自动证明，然后给我推荐了MKG。今天去GITHUB搜了一下库，发现根本没有作业可以抄。所以，这个方向没人卷是不是根本没前景呢？
回到上一层目录：formalization of mathematical knowledge and automated theorem proving
数学知识的形式化和自动定理证明图片点击可在新窗口打开查看图片点击可在新窗口打开查看
[此贴子已经被作者于2024/3/31 16:17:43编辑过]

回到顶部
总数 305 1 2 3 4 5 6 7 8 9 10 下一页 ..21