oogle在2019年，立项成立了创建拉马努金机的项目。得益于近些年人工智能技术的发展，拉马努金的项目运行的还算不错。所谓拉马努金机，其实就是训练一个人工智能算法，来模仿拉马努金的思考方式，然后生成一堆的数学公式，让人类科学家们去证明这些公式的正确性。人类科学家给AI当助手，去证明AI靠直觉写出来的公式的正确性。据说，这个项目已经取得了不错的进展