三更被AI「吓醒」！57岁导师投奔24岁华人女学霸

　　Ken Ono以对印度数学奇才拉马努金（Srinivasa Ramanujan）理论的深切研究而闻名，还率领了美国顶尖的本科研究项目，培育过10位Morgan Prize得从，Carina Hong就是此中的一位。

　　他也许是史上唯逐个个呈现正在啤酒告白里的数论学家，出演了米勒淡啤（Miller Lite）的超等碗告白。

　　他曾为UVA泅水队和美国奥运金牌选手供给征询，使用数学阐发和建模为精英竞技泅水活动员供给指点。

　　Ken Ono还参取制做一部了致敬数学家拉马努金的列传片子《知无涯者》，任该片子的结合制片人兼数学参谋。

　　他发觉AI正在认知使命、处理已知问题上表示惊人，但一旦涉及需要曲觉取笼统思维的创制力部门，好比正在纯数学范畴仍显得笨拙。

　　随后，Ken Ono带着老婆举家搬到数千公里外的硅谷，正式成为Axiom Math的第15名员工，担任创始数学家。同时制定评估系统表示的基准，帮帮模子找到前进标的目的。这些工做比如制做帆海图，想要发觉新，就要先晓得本人正在哪儿、哪些处所曾经被摸索过。

　　Carina Hong暗示，Ken Ono是很多数学学生的偶像，他正在Axiom Math碰到了很多和他春秋相仿的同事。

　　Ken Ono是目前全球最精采的数学家之一，对于正在弗吉尼亚大学执教的他来说，硅谷AI草创公司比如另一个世界。

　　为了确立本人的合作劣势，Carina Hong敏捷组建了一支由精采的人工智能取数学专家构成的团队，此中很多人来自Meta的FAIR尝试室。

　　前不久，他还正在时讥讽AI手艺的「」，生成智能）。

　　【新智元导读】传奇数学家Ken Ono辞去了弗吉尼亚大学终身教职，插手了本人学生Carina Hong开办的Axiom Math，打制「AI数学家」。促使他做出这一决定的，只因他正在一次研讨会上看到了AI正在数学研究上的无限可能。

　　方才，跟从本人24岁的学生Carina Hong逃逐「数学超等智能」。

　　Axiom Math开办几天后，Google DeepMind和OpenAI的模子正在国际数学奥林匹克竞赛夺金，令全球数学圈沸腾。

　　Carina Hong正在中国广州长大，她正在很小的时候就发觉了本人对数学的热爱，她曾接管过奥数锻炼，并从激烈的合作中脱颖而出。

　　做出了投身AI的决定之后，Ken Ono立即就想到了Carina Hong，她是Ken Ono正在2020年本科研究项目标学生。

　　对于他来说，辞掉终身教职，举家搬到数千公里外的硅谷，插手一家草创的AI公司，并不是一个十分令人不测的选择。

　　2024年，仍正在斯坦福大学攻读博士的Carina Hong，正在学校附近的一间咖啡馆中萌发了开办Axiom Math的设法。

　　Carina Hong认为数学是打制超等智能的完满试验场，她但愿Axiom Math将来可以或许霸占一些搅扰人类数百年的难题，以至可以或许提出全新的数学猜想。

　　恰是正在斯坦福大学附近的咖啡馆，她结识了Meta的前AI科学家Shubho Sengupta。

　　其时的他受邀加入一次测试AI模子的勾当，做为参取此次勾当的30位数学家之一，他们需要提出研究级难题来AI模子。

　　焦点包罗Francois Charton，他因处理了一个百年数学难题而闻名；Hugh Leather，是代码生成范畴深度进修的晚期之一。

　　恰是这种持续摸索的巴望，让他取良多其他顶尖的研究者一路，正在Axiom Math寻找本人的「之做」。

　　于是客岁炎天，等Axiom Math的种子轮融资一落地，Carina Hong立即创业。

　　做为教务长正在STEM事务上的参谋，Ken Ono花正在处置相关事务上的时间也越来越多，做数学的时间却越来越少。

　　Carina Hong的设法是打制一款「AI数学家」，这是一个可以或许推理已有问题、发觉新问题，并用形式化证明验证本人工做的AI系统，而不只仅是给出谜底。

　　随后一段时间内，Carina Hong时常想起AMD的CEO苏姿丰对学生的：奔向最难的问题。

　　结业后Ken Ono正在威斯康星大学、埃默里大学执教多年，并于2019年前去弗吉尼亚大学担任数学系传授。

　　因而，从MIT结业后，她放弃了做对冲基金量化买卖员的机遇。