AxiomProver 的功能越来越强大。 @axiommathai 的粉丝群还在不断壮大。 我很高兴地宣布，Ken Ono 教授（@KenOno691）已加入 Axiom，担任创始数学家和第 15 位全职员工。 他辞去了弗吉尼亚大学教务长 STEM 顾问的终身职位，加入我们，共同打造人工智能数学家。 以下是肯的故事。(1)
五年前，肯给了我一个机会，让我这个大一新生进入他著名的数论本科生科研项目。 那是我人生中最具变革性的经历之一——我之前一直参加数学奥林匹克竞赛，那个夏天让我真正了解了数学研究是什么样的。(2)
为了确保我有经济能力参加，他授予我拉马努金精神奖学金，该奖学金以自学成才的天才拉马努金的名字命名，肯花了数十年时间研究和扩展拉马努金的大量著作。 后来，他指导我解决了拉马努金理论中的一些未解猜想。(3)
加州大学伯克利分校教授、美国数学学会前主席肯·里贝特称肯是“数学界一位传奇人物”。 没错。肯的成就无所不包，从证明分割函数的深奥成果，到指导奥运游泳运动员，再到制作一部关于拉马努金的好莱坞电影。(4)
为什么要这么做？在接受《华尔街日报》独家专访时，肯的解释比我能说的要好得多： “我有幸参与改变世界实际运行的方式。作为一名纯粹数学家，这种情况很少发生。”（5）
事实上，当我们创立 Axiom 时，我坚信人工智能在数学发现领域拥有改变一切的力量——从我们对宇宙和大脑的理解，到我们对现在的模拟和对未来的规划。(6)
拉马努金独自在印度工作，他在笔记本上写满了定理，而数学界花了数十年才完全理解这些定理。 Axiom公司正在打造的人工智能数学家不会取代下一个拉马努金——它将赋能于他们，与他们合作，并以前所未有的规模放大他们的才华。(7)
Axiom 的这套 4 个月前推出的系统，在精益生产中无需人工干预就解决了 Erdős 问题 124 和 481。 证明的代码，就像拉马努金直觉的魔力一样，在屏幕上实时展开。 致我的科学同仁们：数学发现的未来已经到来。 我希望你能加入我们。(8)
阅读今天早上《华尔街日报》的更多报道： https://t.co/Fpk9hKBIby (9)