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精编）
查看原网页
最新新闻
- 2025年12月8日：光明网评论：躲避驾驶“安全提醒”行为不可取
- 2025年12月8日：广州探索科技助残新路径：“意念”轮椅、AI手语翻译点亮残障生活
- 2025年12月8日：曼联引入AI与F1专家革新球探及青训，瞄准青训盈利目标
- 2025年12月8日：狼队球迷计划对阵曼联时比赛15分钟后入场抗议复星国际财团
- 2025年12月8日：齐沃忆2010年伤病与三冠王：与死神擦肩后人生更坚韧
- 2025年12月8日：曼城官方：多库对利物浦的世界波当选队内11月最佳进球
- 2025年12月8日：《自然》发布2025年度十大人物，梁文锋、杜梦然等科技先锋入选
- 2025年12月8日：梁文锋、杜梦然入选《自然》杂志2025年度十大科学人物榜单
- 2025年12月8日：京东外卖回应‘退款不退券’故障：平台担责暖用户
- 2025年12月8日：华为MatePad Edge：二合一平板成科技新亮点
- 2025年12月8日：特斯拉机器人演示引争议：倒地前疑似模仿操作员动作
- 2025年12月8日：赫拉德-马丁出席欧冠赛前发布会 谈位置与皇马比赛感受
- 2025年12月8日：昨日社会热门资讯汇总-早报速览（2025-12-08）
- 2025年12月8日：昨日文化热门资讯汇总-早报速览（2025-12-08）
- 2025年12月8日：昨日科技热门资讯汇总-早报速览（2025-12-08）
- 2025年12月8日：昨日体育热门资讯汇总-早报速览（2025-12-08）
- 2025年12月8日：昨日娱乐热门资讯汇总-早报速览（2025-12-08）
- 2025年12月8日：昨日军事热门资讯汇总-早报速览（2025-12-08）
- 2025年12月8日：昨日财经热门资讯汇总-早报速览（2025-12-08）
- 2025年12月8日：昨日教育热门资讯汇总-早报速览（2025-12-08）
精彩评论（10）