OpenAI 最早提出构建「Her」的那个人，刚刚宣布离职创业了。

在探索「数学之美」的路上，人工智能到底走到哪一步了？说到这个话题，可能没人比数学家陶哲轩更懂。

满满一黑板的「天书」，会是「猜想界皇冠」破解的开始吗？

最近，被称为千禧年七大难题之一的黎曼猜想迎来了新突破。

在 AI for Math 领域，如果你一直找不到合适的资源，这份清单或许会有帮助。

数学推理是人类智能中最具挑战性和最具深度的部分。

从青少年时期饱受失明的恐惧，到之后求学、享誉学界并获得各类奖项和荣誉，2024 年阿贝尔奖得主 Michel Talagrand 一路走来诸多不易。

今天，我们分享 X 平台用户 @dr_cintas 使用 Claude 3 （具体版本不详）生成勾股定理动画的用例。