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

分页： 1 / 1

#1 形式化数学证明与AI

发表于： 2025年 1月 13日 16:32

由 TheMatrix

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

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

发表于： 2025年 1月 13日 20:26

由 wass

删

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

发表于： 2025年 1月 14日 05:32

由 forecasting

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

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

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

发表于： 2025年 1月 14日 05:47

由 forecasting

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

可以合并討论

viewtopic.php?t=680989&start=40

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

发表于： 2025年 1月 14日 08:57

由 TheMatrix

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

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