新智慧报道主编：于远 【新智慧介绍】传奇数学家小野肯辞去弗吉尼亚大学终身教职，加入其学生Carina Hong创立的Axiom Math，打造“AI数学家”。促使他做出这个决定的是，他在一次研讨会上看到了人工智能在数学研究中的无限可能。就在今天，57岁的数学教授小野健宣布辞去终身教职，追随24岁的学生洪嘉琳追求“数学超级智能”。小野肯是世界上最杰出的数学家之一。对于在弗吉尼亚大学任教的他来说，硅谷人工智能初创公司就像另一个世界。不久之后，他在is演讲中嘲讽了AI技术的“神话”，自称“天生聪明”。如今，NI 和 AI 即将合二为一。小野肯举家迁往数千公里外弗吉尼亚州前往硅谷加入 Carina Hong 的公理数学初创公司。 Ken Ono 和 Axiom Math 创始人 Carina Hong 是数学超级智能背后的人。 2024年，还在斯坦福大学攻读博士学位的Carina Hong萌生了在学校附近的一家咖啡馆建立Axiom Math的想法。这位24岁的年轻人有着近乎“无与伦比”的履历。洪嘉玲 (Carina Hong) 在中国广州长大。他很小的时候就发现了自己对数学的热爱。他参加了数学奥林匹克竞赛，并在激烈的竞争中脱颖而出。但真正吸引他的是数学研究和发现。 “数学奥林匹克竞赛是一系列论文多巴胺激增，但做研究意味着不断碰壁——这是一种痛苦。我喜欢这种痛苦。”作为家里的第一代大学生，洪嘉玲在十四、十五岁的时候就考入了麻省理工学院（MIT）。 Carina Hong 三年毕业于麻省理工学院并荣获弗兰克和布伦尼·摩根奖和罗德奖学金是美国本科生数学研究的最高奖项。获得罗德奖学金使她有机会在牛津继续深造。大学。因此，从麻省理工学院毕业后，他得到了成为一名对冲基金交易员的机会，并选择在牛津大学攻读神经科学硕士学位，同时也做深度学习相关的研究。随后，洪嘉玲前往斯坦福大学攻读法学博士和数学博士学位。正是在斯坦福大学附近的一家咖啡馆，他遇到了 Meta 的前人工智能科学家 Shubho Sengupta。他们讨论了融合人工智能和数学两个领域的想法。接下来的一段时间里，洪嘉玲经常想起AMD CEO苏姿丰对学生说的话。我的建议：回答最困难的问题。 “数学研究已经够难的了，做数学人工智能就更难了。”所以去年夏天，一旦Axiom Math 的融资完成后，Carina Hong 立即辍学创业。 Shubho Sengupta 在一家咖啡店与他讨论问题，后来成为 Axiom Math 的首席技术官。 Nahg Carina Hong 辍学创办 Axiom Math，短短几个月就完成了 6400 万美元种子轮融资，估值达 3 亿美元，并吸引了包括 Shubho Sengupta 在内的前 Meta AI 研究员。 Axiom这个名字来源于“Axioms”，它是可以形成一整??套理论的基本数学真理。 Carina Hong 的想法是创建一个“AI 数学家”，一个可以推理现有问题、发现新问题并使用形式证明来验证其工作的 AI 系统，而不仅仅是提供答案。洪嘉玲认为，数学是开发超级智能的完美试验场。他希望Axiom Math能够在未来克服一些困扰人类数百年的问题，甚至提出新的数学思想。投资者 B Capital 称 Carina Hong 为“推动数学超级智能的人”。尽管人们对人工智能泡沫感到担忧，但数学家们对人工智能在数学领域取得突破的潜力越来越乐观。像他的学生天才洪嘉玲一样的非典型数学家，小野肯的经历也颇具传奇色彩。小野肯1968年出生于费城，小时候迫于父母的压力，连高中都没读完。即便如此，他仍然考取了芝加哥大学，并在数学家父亲的影响下爱上了数学。毕业后，小野肯在威斯康星大学和埃默里大学任教多年，并于2019年前往弗吉尼亚大学担任数学系教授。美国数学会前主席肯·里贝特认为小野肯是数学领域的传奇人物。小野肯 (Ken Ono) 因其对化学的深入研究而闻名。印度巫师斯里尼瓦萨·拉马努金的数学理论。他还在美国领导了领先的本科生研究项目，并培养了10名摩根奖获得者，其中之一是Carina Hong。小野健不满足于“纸上数学”，他积极将数学应用到体育和科学传播中。他可能是唯一出现在啤酒广告中的数论学家，在 Miller Lite 的超级碗广告中担任主角。他为 UVA 游泳队和美国奥运会金牌得主提供咨询，利用数学分析和建模来指导精英游泳运动员。小野肯还参与了向数学家拉马努金致敬的传记片《The Man Who The Know》的制作，并担任asg电影联合制片人和数学顾问。那个男人知道无限）还是一部电影，就可以看到小野肯是一个不断追求打破界限、勇于打破常规的男人。对他来说，辞去终身教职、举家搬家并不是一个令人惊讶的选择。千里之外的硅谷，加入一家初创人工智能公司。而且，这一切的变化，早在去年春天就已经埋下了伏笔。一次研讨会让小野肯找到了“另一种做数学的方法”。 Ken Ono 关注人工智能在数学领域的影响。这更多是出于好奇而不是恐惧。他发现人工智能在认知任务和解决已知问题方面表现得惊人地好，但当涉及到需要直觉和抽象思维的创造性洪水时，比如纯数学，似乎仍然不足为奇。小野肯认为，人类的这种创造力在数学中非常重要。基于这些认识，他原本以为自己的作品至少能稳定几十年。然而，去年春天的一次讨论会议改变了小野健的想法。当时，他受邀参加一个测试AI模型的活动。作为参加该活动的 30 名数学家之一，他们必须提出研究级问题来测试 AI 模型。 K喜欢穿夏威夷衬衫的小野恩是数学界的传奇人物。当小野健离开那次研讨会时，他感到自己的内心受到了深深的震撼。他感觉自己原本的AI优势正在快速消失！而颗粒不是他的专长，模型甚至离开了他。在接下来的几个月里，小野肯似乎“为自己最初的身份感到悲伤”。他对未来有些迷茫。唯一可以确定的是，AI将会变得越来越强大。突然，他顿悟了。人工智能展示的是另一种做数学的方式。过去，他总是有同事、研究生、才华横溢的本科生作为合伙人，但现在合伙人有了新的角色——AI。启蒙之后，小野肯每天花一两个小时思考人工智能的想法。 “我半夜睡不着，就打开手机和他们讨论数学，发现他们的水平高得离谱。”人工智能并不是小野肯背后的唯一因素离开大学。虽然司法部的目标是高等教育，但他担心研究经费受到威胁。今年早些时候，弗吉尼亚大学校长在特朗普政府的压力下辞职。作为教务长在 STEM 事务上的顾问，Ken Ono 花更多的时间处理与政治相关的事务，而花在数学上的时间越来越少。于是他决定离开弗吉尼亚大学，加入人工智能领域。在他看来，这是将数学影响力扩大到校园之外的又一次机会。 “我很幸运能够参与改变世界运作方式的事情。作为一名纯粹的数学家，这是一个难得的机会。”在 Axiom 15 号员工决定投身 AI 领域后，Ken Ono 立刻想到了 Ken Ono 2020 年本科生研究项目学生 Carina Hong。Axiom Math 成立几天后，Oogle Deepmind 和 Openai 模型就在国际数学奥林匹克竞赛中获得了金牌，使全球数学界都获得了金牌。奥巴尔数学社区兴奋不已。 Robinhood 首席执行官 Vlad Tenev 创立的 Harmonic 也引起了人们的关注。特涅夫表示，数学超级智能指日可待。为了建立自己的竞争优势，洪嘉玲迅速组建了一支由优秀的人工智能和数学专家组成的团队，其中许多人来自公平的Meta实验室。主要成员包括因解决百年数学难题而闻名的弗朗索瓦·查顿 (Francois Charton)；休·皮革（Hugh Leather）是代码生成领域深度学习的早期先驱之一。 Axiom Math 的筹款活动在硅谷引起了轰动，并引起了 Ken Ono 的注意。随后，小野肯带着妻子和家人搬到了千里之外的硅谷，正式成为 Axiom Math 的第 15 名员工，担任创始数学家。他的使命是将公司的人工智能模型推向极限。他将设计具有代表性的问题，这些问题只有真正理解原理才能解决。数学原理，同时开发基准来评估系统性能并帮助模型找到前进的方向。小野健认为这些作品就像制作航海图一样。如果你想发现一块新大陆，你首先必须知道你在哪里，以及哪些地方已经被探索过。 Carina Hong表示，Ken Ono是很多数学系学生的偶像，她在Axiom Math认识了很多与她同龄的同事。吸引人工智能顶尖研究人员的是 Axiom Math 的使命——利用人工智能推进数学发现。 “即使我们达到超级智能，仍然会有未解决的数学问题，”小野肯说，但他将继续寻找答案。正是这种对不断探索的渴望，使他与许多其他领先的研究人员一起在 Axiom Math 中找到了他的“传奇作品”。参考：https://www.wsj.com/tech/ai/math-ken-ono-carina-hong-axiom-startup-649bc417秒关注asi ?点赞、转发、一键观看?点亮明星并锁定新致远快推！
特别声明：以上内容（如有则包括照片或视频）由自媒体平台“网易号”用户上传发布。本平台仅提供信息存储服务。注：以上内容（包括图片、视频，如有）由网易号用户上传发布，网易号为社交媒体平台，仅提供视频信息存储服务。
推荐文章
