57岁数学传奇辞终身教职投身24岁天才少女的AI数学项目

2025年12月8日
news

(图片来自网络)

57岁数学传奇辞终身教职投身24岁天才少女的AI数学项目

57岁数学传奇辞终身教职投身24岁天才少女的AI数学项目

最近,美国一位传奇数学家放下终身教职,为24岁年轻人的AI项目效力。据《华尔街日报》,57岁的顶尖数学家小野健(Ken Ono)辞去弗吉尼亚大学终身教职,加入其24岁学生洪乐潼创办的AI数学公司Axiom Math,成为第15名员工。

核心人物与项目背景:

  • 57岁小野健:美国顶尖数论学家,弗吉尼亚大学前终身教授,研究领域为数论,曾任STEM领域顾问。
  • 24岁洪乐潼:数学“天才少女”,麻省理工毕业后获摩根奖、罗德奖学金,中途退学创办Axiom Math,已完成6400万美元融资,目标是打造“AI数学家”。

Axiom Math的使命是推动“数学复兴”,建立在人工智能、编程语言、数学三大支柱之上,希望通过人机合作加速数学发现。公司研究方向包括大模型形式化定理证明、合成数学数据生成等,已攻克多项数学难题并实现形式化验证。

小野健加入后负责为AI模型设计数学难题、构建能力基准测试等,其独特个人风格(如摇滚式演讲、好莱坞广告)也为公司注入活力。这一案例反映数学界与AI产业结合趋势,也引发关于“人机共写数学”新模式的讨论。

从历史看,AI与数学结合已有长远影响,从1956年Logic Theorist证明定理,到近年Alpha Geometry解IMO题,AI推动数学研究新方向。顶尖数学家加入创业公司的案例,也体现学术与产业结合潮流,虽可能导致高校研究能力暂时性变化,但也加速技术落地。

(声明:该内容经AI精编) 查看原网页

精彩评论(10)

  • 网友10 2025-12-08 16
    学术与产业结合的趋势很正确,能加速技术从实验室到实际应用。
  • 网友9 2025-12-08 16
    对数学和AI结合的商业模式很感兴趣,这类公司有想象力。
  • 网友8 2025-12-08 16
    这种顶尖人才跨界,说明科技发展速度很快,需要不断学习。
  • 网友7 2025-12-08 16
    关注人机共写数学的模式,感觉未来数学研究会有新方向。
  • 网友6 2025-12-08 16
    数学家选了年轻创业公司,这种反差让科技圈更有活力了。
  • 网友5 2025-12-08 16
    AI和数学结合的项目很创新,希望以后能有更多类似案例。
  • 网友4 2025-12-08 16
    从学术到产业,这种跨界合作对学科发展很有帮助,值得关注。
  • 网友3 2025-12-08 16
    没想到数学家也会去创业公司,感觉科技领域越来越无边界了。
  • 网友2 2025-12-08 16
    很厉害,数学和AI结合能产生新突破,对未来教育和工作都有启发。
  • 网友1 2025-12-08 16
    这太震撼了,数学家跨界搞AI,感觉未来科技和学术结合越来越紧密了!
查看“57岁数学传奇辞终身教职投身24岁天才少女的AI数学项目”相关搜索 >

最新新闻

An unhandled error has occurred. Reload 🗙