陶哲轩

OpenAI o1在门萨智商测试中位居第一，陶哲轩实测发现其成功识别出克莱姆定理，引发业内关注。该测试结果具有参考性，预示着o1在数学研究中可能具有重要应用价值。 【新智元导读】OpenAI o1，在...

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