形式化数学证明与AI - 新未名空间

形式化数学证明与AI

版主： verdelite， TheMatrix

回复

5 帖子 • 分页： 1 / 1

TheMatrix楼主: 论坛支柱

2024年度优秀版主
TheMatrix 的博客; 帖子互动： 279; 帖子： 13711; 注册时间： 2022年 7月 26日 00:35

#1 形式化数学证明与AI

引用

帖子由 TheMatrix楼主 » 2025年 1月 13日 16:32

https://zhuanlan.zhihu.com/p/16439034616

wass: 论坛精英

2024年度优秀版主
wass 的博客; 帖子互动： 782; 帖子： 7780; 注册时间： 2022年 7月 23日 22:13

#2 Re: 形式化数学证明与AI

引用

帖子由 wass » 2025年 1月 13日 20:26

删

上次由 wass 在 2025年 1月 14日 06:15 修改。

forecasting: 著名点评; 帖子互动： 363; 帖子： 4431; 注册时间： 2023年 4月 17日 08:26

#3 Re: 形式化数学证明与AI

引用

帖子由 forecasting » 2025年 1月 14日 05:32

TheMatrix 写了： 2025年 1月 13日 16:32 https://zhuanlan.zhihu.com/p/16439034616

老问题吗？
viewtopic.php?t=646035

forecasting: 著名点评; 帖子互动： 363; 帖子： 4431; 注册时间： 2023年 4月 17日 08:26

#4 Re: 形式化数学证明与AI

引用

帖子由 forecasting » 2025年 1月 14日 05:47

TheMatrix 写了： 2025年 1月 13日 16:32 https://zhuanlan.zhihu.com/p/16439034616

可以合并討论

viewtopic.php?t=680989&start=40

TheMatrix楼主: 论坛支柱

2024年度优秀版主
TheMatrix 的博客; 帖子互动： 279; 帖子： 13711; 注册时间： 2022年 7月 26日 00:35

#5 Re: 形式化数学证明与AI

引用

帖子由 TheMatrix楼主 » 2025年 1月 14日 08:57

forecasting 写了： 2025年 1月 14日 05:32 老问题吗？
viewtopic.php?t=646035

这个主要讨论与AI的联系。

回复

5 帖子 • 分页： 1 / 1

回到 “STEM”

Do not share my Personal Information.

底部广告