nature发表了Google关于AlphaGeometrry的论文（https://www.nature.com/articles/s41586-023-06747-5）。关于数学机器证明，有很多大结果，如量词消去法（与之密切相关的Tarski–Seidenberg定理），Buchberger算法，它们之间强弱关系如何，复杂性如何，值得梳理一下。
不好意思，要霸版了
借nature发表的AlphaGeometrry来讨论量词消去法，Buchberger算法以及其他算法等机器证明的工作
版主： verdelite， Tlexander
-
forecasting楼主
- 著名写手
- 帖子： 313
- 注册时间： 4月 17, 2023, 8:26 am