证明辅助语言

了解陶哲轩最新发起的众包数学研究项目，探讨AI辅助证明数学研究的可行性，以及证明辅助语言在数学研究中的应用。了解如何利用众包和自动化工具进行数学探索，以及对现代数学问题的探索和评估。 【新智元导读】最...