爱游戏(ayx)中国官方网站

爱游戏app体育 买球日历 官方公告 球队动态 球星动态 战报 足球联赛赛事 场外花絮 足球联赛掌故 2022足球联赛冠军 图片 精采赛事 场外花絮 官方活动 特色专辑 视频 球星专访 精采花絮 球队活动 足球联赛新闻 比赛集锦 比赛 战报 赛程 数据 积分 球队 一线队 二队 青年队 篮球队 青训学院 青训宗旨 青训学院信息 电竞队 爱游戏体育 董事会成员 俱乐部成员 赞助商 安联球场 夺冠统计 历史 塞本纳大街 国际青年杯 买球文化 体验中心 足球联赛在中国 概览 爱游戏爱体育官网 球迷服务信息
官方活动

爱游戏爱体育官网半夜被AI「吓醒」!57岁导师投奔24岁华人女学霸打造「AI数学

创建时间:2026-01-13 01:38:21


  赛事回顾ღღ◈ღ,体育消息ღღ◈ღ,爱游戏app官网入口【新智元导读】传奇数学家Ken Ono辞去了弗吉尼亚大学终身教职ღღ◈ღ,加入了自己学生Carina Hong创办的Axiom Math芒果视频一二三2021.2021ღღ◈ღ,打造「AI数学家」ღღ◈ღ。促使他做出这一决定的ღღ◈ღ,只因他在一次研讨会上看到了AI在数学研究上的无限可能ღღ◈ღ。

  刚刚爱游戏爱体育官网ღღ◈ღ,57岁的数学教授Ken Ono宣布辞去终身教职ღღ◈ღ,跟随自己24岁的学生Carina Hong追逐「数学超级智能」ღღ◈ღ。

  Ken Ono是目前全球最杰出的数学家之一ღღ◈ღ,对于在弗吉尼亚大学执教的他来说ღღ◈ღ,硅谷AI初创公司好比另一个世界ღღ◈ღ。

  前不久ღღ◈ღ,他还在讲座时调侃AI技术的「神话」ღღ◈ღ,称自己是NI(Naturally Intelligentღღ◈ღ,天生智能)ღღ◈ღ。

  2024年ღღ◈ღ,仍在斯坦福大学攻读博士的Carina Hongღღ◈ღ,在学校附近的一间咖啡馆中萌生了创办Axiom Math的想法ღღ◈ღ。

  Carina Hong在中国广州长大ღღ◈ღ,她在很小的时候就发现了自己对数学的热爱ღღ◈ღ,她曾接受过奥数训练ღღ◈ღ,并从激烈的竞争中脱颖而出ღღ◈ღ。

  作为家族中第一代大学生ღღ◈ღ,Carina Hong大概在十四五岁的时候ღღ◈ღ,就已经把目标锁定了麻省理工学院(MIT)ღღ◈ღ。

  因此ღღ◈ღ,从MIT毕业后爱游戏爱体育官网ღღ◈ღ,她放弃了做对冲基金量化交易员的机会ღღ◈ღ,选择了前往牛津大学攻读神经科学硕士学位ღღ◈ღ。

  正是在斯坦福大学附近的咖啡馆ღღ◈ღ,她结识了Meta的前AI科学家Shubho Sengupta芒果视频一二三2021.2021ღღ◈ღ。

  随后一段时间内ღღ◈ღ,Carina Hong时常想起AMD的CEO苏姿丰对学生的建议ღღ◈ღ:奔向最难的问题ღღ◈ღ。

  于是去年夏天ღღ◈ღ,等Axiom Math的种子轮融资一落地ღღ◈ღ,Carina Hong立刻退学创业ღღ◈ღ。

  Carina Hong的想法是打造一款「AI数学家」ღღ◈ღ,这是一个能够推理已有问题芒果视频一二三2021.2021芒果视频一二三2021.2021ღღ◈ღ、发现新问题ღღ◈ღ,并用形式化证明验证自己工作的AI系统ღღ◈ღ,而不仅仅是给出答案ღღ◈ღ。

  Carina Hong认为数学是打造超级智能的完美试验场ღღ◈ღ,她希望Axiom Math未来能够攻克一些困扰人类数百年的难题ღღ◈ღ,甚至能够提出全新的数学猜想ღღ◈ღ。

  毕业后Ken Ono在威斯康星大学ღღ◈ღ、埃默里大学执教多年ღღ◈ღ,并于2019年前往弗吉尼亚大学担任数学系教授ღღ◈ღ。

  Ken Ono以对印度数学奇才拉马努金(Srinivasa Ramanujan)理论的深入研究而闻名ღღ◈ღ,还带领了美国顶尖的本科研究项目爱游戏爱体育官网ღღ◈ღ,培养过10位Morgan Prize得主ღღ◈ღ,Carina Hong就是其中的一位ღღ◈ღ。

  他也许是史上唯一一个出现在啤酒广告里的数论学家ღღ◈ღ,出演了米勒淡啤(Miller Lite)的超级碗广告ღღ◈ღ。

  他曾为UVA游泳队和美国奥运金牌选手提供咨询ღღ◈ღ,运用数学分析和建模为精英竞技游泳运动员提供指导爱游戏爱体育官网ღღ◈ღ。

  Ken Ono还参与制作一部了致敬数学家拉马努金的传记电影《知无涯者》ღღ◈ღ,任该电影的联合制片人兼数学顾问ღღ◈ღ。

  对于他来说ღღ◈ღ,辞掉终身教职ღღ◈ღ,举家搬到数千公里外的硅谷ღღ◈ღ,加入一家初创的AI公司ღღ◈ღ,并不是一个十分令人意外的选择ღღ◈ღ。

  他发现AI在认知任务ღღ◈ღ、解决已知问题上表现惊人ღღ◈ღ,但一旦涉及需要直觉与抽象思维的创造力部分ღღ◈ღ,比如在纯数学领域仍显得笨拙ღღ◈ღ。

  当时的他受邀参加一次测试AI模型的活动ღღ◈ღ,作为参与这次活动的30位数学家之一ღღ◈ღ,他们需要提出研究级难题来考验AI模型ღღ◈ღ。

  作为教务长在STEM事务上的顾问ღღ◈ღ,Ken Ono花在处理政治相关事务上的时间也越来越多ღღ◈ღ,做数学的时间却越来越少爱游戏爱体育官网ღღ◈ღ。

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

  Axiom Math创办几天后ღღ◈ღ,Google DeepMind和OpenAI的模型在国际数学奥林匹克竞赛夺金ღღ◈ღ,令全球数学圈沸腾ღღ◈ღ。

  为了确立自己的竞争优势ღღ◈ღ,Carina Hong迅速组建了一支由杰出的人工智能与数学专家组成的团队ღღ◈ღ,其中许多人来自Meta的FAIR实验室ღღ◈ღ。

  核心成员包括Francois Chartonღღ◈ღ,他因解决了一个百年数学难题而闻名ღღ◈ღ;Hugh Leatherღღ◈ღ,是代码生成领域深度学习的早期先驱之一ღღ◈ღ。

  随后ღღ◈ღ,Ken Ono带着妻子举家搬到数千公里外的硅谷ღღ◈ღ,正式成为Axiom Math的第15名员工ღღ◈ღ,担任创始数学家ღღ◈ღ。

  他会设计那些只有真正理解数学原理才能解决的代表性问题ღღ◈ღ,同时制定评估系统表现的基准ღღ◈ღ,帮助模型找到前进方向ღღ◈ღ。

  Ken Ono认为ღღ◈ღ,这些工作好比制作航海图ღღ◈ღ,想要发现新大陆ღღ◈ღ,就要先知道自己在哪儿ღღ◈ღ、哪些地方已经被探索过ღღ◈ღ。

  Carina Hong表示ღღ◈ღ,Ken Ono是许多数学学生的偶像ღღ◈ღ,他在Axiom Math遇到了许多和他年龄相仿的同事ღღ◈ღ。

  正是这种持续探索的渴望ღღ◈ღ,让他与很多其他顶尖的研究者一起芒果视频一二三2021.2021ღღ◈ღ,在Axiom Math寻找自己的「传世之作」ღღ◈ღ。