新智慧报告主编：于远 【新智慧简介】传奇数学家小野肯辞去弗吉尼亚大学终身教职，加入其学生 Karina Hong 创办的 Axiom Math，打造“AI 数学家”。他做出这一决定的动力来自于一次研讨会，在那里他亲眼目睹了人工智能在数学研究中的无限可能性。 57 岁的数学老师小野肯 (Ken Ono) 刚刚宣布，他将辞去长期教师职位，追随 24 岁学生卡琳娜·洪 (Karina Hong) 的脚步，致力于“数学超级智能”。小野肯是世界上最伟大的数学家之一。对于弗吉尼亚大学教授来说，硅谷的人工智能初创公司是另一个世界。在前段时间的一次演讲中，他嘲笑了AI技术的“神话”，并称自己为NI（Naturally Intelligence）。如今，NI 和 AI 正在合二为一。小野肯 (Ken Ono) 举家从弗吉尼亚州迁往千里之外的硅谷lley 加入 Karina Hong 的人工智能初创公司 Axiom Math。 Ken Ono 和 Axiom Math 创始人 Karina Hong 是数学超级智能的支持者。 2024年，Karina Hong还在斯坦福大学攻读博士学位时，她在学校附近的一家咖啡店萌生了创立Axiom Math的想法。这位24岁的年轻人有着近乎“无与伦比”的履历。卡琳娜·洪 (Karina Hong) 在中国广州长大。他在很小的时候就发现了自己对数学的热爱。他正在备战数学奥林匹克竞赛，并在激烈的比赛中脱颖而出。但真正让他着迷的是数学研究和发现。 “数学奥林匹克是一系列的多巴胺剂量，但做研究总是意味着碰壁。这是一种痛苦。我喜欢那种痛苦。”大学生卡琳娜·洪(Karina Hong)是她家庭的第一代成员，她在14、15岁时就已经把目光投向了麻省理工学院(MIT)。 Karina Hong 毕业于密歇根大学三年内获得了弗兰克和布伦尼·摩根奖以及罗德奖学金，这是美国本科生数学研究的最高奖项。罗莎获得奖学金让她有机会在牛津大学继续深造。所以从麻省理工学院毕业后，我放弃了成为对冲基金量化交易员的机会，选择去牛津大学攻读神经科学硕士学位。在牛津期间，我还进行了与深度学习相关的研究。随后，卡琳娜·洪 (Karina Hong) 就读于斯坦福大学，并获得了法学博士学位和数学博士学位。他在斯坦福大学附近的一家咖啡馆遇到了 Meta 的前人工智能科学家 Shubho Sengupta。他们讨论了结合两个领域的想法：人工智能和数学。接下来的一段时间里，韩嘉玲经常想起AMD CEO苏姿丰对学生们说的话。我的建议：尝试更难的问题。 “做数学已经够难的了，但运行数学人工智能就更难了。”所以作为去年夏天，Axiom Math 结束种子轮融资后，Karina Hong 立即辍学并开始了自己的事业。 Shubho Sengupta 在一家咖啡店与她讨论了这个问题，他也成为了 Axiom Math 的首席技术官。当 Karina Hong 辍学创办 Axiom Math 时，她在短短几个月内就完成了 6400 万美元的种子轮融资，估值达到 3 亿美元，并吸引了包括 Shubho Sengupta 在内的前元人工智能研究人员。 Axiom 这个名字来源于“公理”，它是数学中的基本真理，可以在其上建立一套理论。 Karina Hong 的想法是创建一个“AI 数学家”，一个不仅可以提供答案，还可以推理现有问题、发现新问题并通过正式测试验证其行为的 AI 系统。卡琳娜·洪 (Karina Hong) 认为，数学是发展超级智能的完美试验场。他希望未来公理数学能够克服一些困扰人类的问题数百年来，甚至提出了新的数学猜想。投资者 B Capital 称卡琳娜·洪为“数学超级智能的拥护者”。尽管担心人工智能泡沫，数学家们仍然相信人工智能是数学上的突破。我们对实现 kusuru 的潜力越来越乐观。一位非传统的数学家 与天才学生卡琳娜·洪 (Karina Hong) 一样，小野肯 (Ken Ono) 的专业知识也具有传奇色彩。小野健 1968 年出生于费城。小时候，由于父母的压力，他甚至没有完成中学学业。尽管如此，他还是被芝加哥大学录取，并在数学家父亲的影响下爱上了数学。毕业后，他在威斯康星大学和埃默里大学任教多年，并于2019年被任命为弗吉尼亚大学数学系教授。美国数学会前主席肯·里维特 (Ken Rivett) 认为小野肯 (Ken Ono) 是一位数学家。数学领域的传奇人物。小野肯（Ken Ono）因其对印度数学奇才斯里尼瓦萨·拉马努金（Srinivasa Ramanujan）理论的详尽研究而闻名。他还领导了一些全国领先的本科生研究项目，并培养了 10 名摩根奖获得者。卡琳娜·洪就是其中之一。小野健并不满足于“桌面数学”，积极将数学应用到体育和科学传播中。他是唯一一位出现在啤酒广告中的数论学家，并且可能出现在 Miller Lite 的超级碗广告中。他曾为 UVA 游泳队和美国奥运会金牌得主提供咨询，并使用数学建模和分析来指导精英竞技游泳运动员。小野肯还参与了纪念数学家拉马努金的传记电影《知道的人》的制作，并担任该电影的联合制片人和数学顾问。如果你看一下电影《知道的人》（Infinity）的剧照，你就会发现小野肯是一个总是寻求打破界限，勇于打破常规。他决定辞去固定的教师工作，举家搬到千里之外的硅谷，并加入一家人工智能初创公司，这并不令人意外。此外，去年春天所有这些变化的预兆就已经准备好了。这次研讨会帮助小野健找到了“做数学的另一种方法”。 Ken Ono 重点关注人工智能对数学领域的影响。这更多是出于好奇，而不是出于恐惧。他指出，虽然人工智能在认知任务和解决已知问题方面表现出奇的好，但它也可以用于需要直觉和抽象思维的任务，例如纯数学。就创意部分而言，我觉得还是很笨拙。小野肯认为，人类的这种创造力在数学中极其重要。基于这些认识，他最初以为自己的作品至少会稳定几十年。然而，去年春天的一次圆桌会议发生了变化小野肯的心思。当时，他受邀参加一个测试AI模型的活动。作为参加此次活动的 30 名数学家之一，他们被要求提出研究级问题来测试他们的 AI 模型。awaianas，是数学界的传奇人物。当小野健离开神学院时，他的内心受到了巨大的震撼。他觉得最初相对于人工智能的优势正在迅速消失。在他专业之外的领域，模特甚至把他抛在了后面。在接下来的几个月里，小野肯似乎在“哀悼他原来的身份”。他对未来有些迷茫。唯一可以肯定的是，人工智能只会变得更强。突然他有了一个主意。人工智能所展示的是一种不同的数学方法。他们的合作伙伴一直是同事、研究生和才华横溢的本科生，但现在他们有了一个新角色：人工智能。启蒙之后，Ken Ono 每天花一两个小时使用人工智能产生想法。 “我可以“半夜睡不着，就打开手机聊数学，结果发现他的水平高得离谱。”人工智能并不是小野健退学的唯一原因。他担心司法部瞄准高等教育，研究经费面临风险。今年早些时候，弗吉尼亚大学校长在特朗普政府的压力下辞职。作为州长的 STEM 顾问，小野健花在政策问题上的时间越来越多，花在政策问题上的时间越来越少。因此，他决定离开弗吉尼亚大学并加入人工智能，在他看来，这是将数学的影响扩展到校园之外的另一个机会，“我很幸运能够成为改变世界运作方式的一部分。作为一名纯粹的数学家，这是一个独特的机会。”Axiom 员工第 15 名学生决定专注于 AI 后，Ken Ono 立即想起了 Ken Ono 本科研究项目的学生 Karina Hong2020年，Axiom Math成立几天后，谷歌DeepMind和OpenAI模型在国际数学奥林匹克竞赛中获得金牌，令全球数学界兴奋不已。 Robinhood 首席执行官 Vlad Tenev 联合创立的 Harmonic 也引起了人们的关注。捷涅夫表示，数学超级智能即将到来。为了建立竞争优势，Karina Hong 迅速组建了一支由领先的数学和人工智能专家组成的团队。其中许多来自Meta的FAIR实验室。核心成员包括一个世纪前因解决数学问题而闻名的弗朗索瓦·查顿（François Charton）。 Hugh Leather，代码生成深度学习的先驱之一。 Axiom Math 的招聘活动在硅谷引起了轰动，并引起了 Ken Ono 的注意。随后小野肯 (Ken Ono) 与妻子和家人移居千里之外的硅谷，正式成为 Axiom Math 的第 15 名员工，并担任其创始数学家。他们的使命是推动公司的AI模型发挥到了极限。它设计了只有通过真正理解数学原理才能解决的代表性问题，同时开发基准来评估系统性能并帮助模型找到前进的方法。 Ken Ono 认为这些任务类似于创建海图。如果你想发现一个新大陆，你首先需要知道你在哪里以及已经探索过哪些地方。 Karina Hong表示，小野肯是很多数学系学生的偶像，他在公理数学领域认识了很多同龄的同事。吸引这些领先人工智能研究人员的是 Axiom Math 的使命，即利用人工智能加速数学发现。 “即使我们达到超级智能，仍然会有未解决的数学问题”，小野肯说，但他将继续寻找答案。这种对不断探索的渴望促使他与许多其他杰出的研究人员一起创造了他在公理数学领域的“传奇”作品。这就是使我们想要进行调查。参考：https://www.wsj.com/tech/ai/math-ken-ono-carina-hong-axiom-startup-649bc417 秒关注ASI ⭐ 一键点赞、进阶、观看⭐ 让星星发光，屏蔽申志根快推！
特别提示：以上内容（包括图片、视频，如有）由自有媒体平台“网易账号”用户上传发布。本平台仅提供信息存储服务。
注：以上内容（包括图片和视频，如有）由社交媒体平台上唯一专业人士网易号用户上传发布。推出信息存储服务。
