AI将是数学家的得力助手,陶哲轩谈AI在证明过程中的潜力
AI将是数学家的得力助手,陶哲轩谈AI在证明过程中的潜力AI 将大大提高数学研究的效率。
来自主题: AI资讯
10654 点击 2024-06-16 18:10
搜索
AI 将大大提高数学研究的效率。
史上最全的「数学人工智能资源」清单出炉了。 陶哲轩,信奉AI将在2026年成为人类数学家的重要合著者,一早便转发了这份清单。
AI for Math 领域,如果你一直找不到合适的资源,这份清单或许会有帮助