数学家吉尔·卡莱盘点OpenAI内部AI模型在数学领域的进展与讲座计划

数学家吉尔·卡莱撰文盘点了OpenAI内部AI模型发布的数学成果，并介绍了自己的巡回演讲计划。卡莱指出，OpenAI发布了由内部AI模型产出的722篇论文手稿（归为372类），涉及马勒猜想、九维博苏克问题、哈德维格尔猜想等数十个前沿数学命题的证明或反例，相关成果仍需数学界进一步核验与消化。他还提到计划利用AI工具协助整理其巡回讲座的详细讲义并改写为博客内容。