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日：博世吴永桥：智驾成为标配后，AI座舱将成主战场
- 2025年12月8日：57岁周涛当众“变脸”：给流量明星和粉丝上了一课
- 2025年12月8日：杨幂离婚7年喜讯频传，成为前夫‘高攀不起’的存在
- 2025年12月8日：C罗携乔治娜海滩度假，婚礼场地敲定马德拉岛，感情生活获广泛关注
- 2025年12月8日：新款长安逸动申报图曝光 提供插混/混动两种动力版本
- 2025年12月8日：奇瑞风云T9L明年一季度上市 带来新外观与配置亮点
- 2025年12月8日：新款比亚迪海豹06 EV申报图曝光 外观调整与动力升级
- 2025年12月8日：李连杰回应传闻：否定换心换血，揭露回春是修容化妆
- 2025年12月8日：李小龙85周年冥诞，胞弟罕见爆料当年趣事与实战经历
- 2025年12月8日：孙坚力捧文章引发争议，删文后舆论持续发酵
- 2025年12月8日：濮存昕孙女短剧首秀引争议，老艺术家站台成舆论焦点
- 2025年12月8日：比亚迪海豹07 EV申报公示 搭载激光雷达与240kW电机
- 2025年12月8日：受贿2.36亿余元，十四届全国政协原常委苟仲文一审被判死缓
- 2025年12月8日：智元第5000台通用具身机器人量产下线 灵犀X2交付黄晓明工作室
- 2025年12月8日：智元第5000台人形机器人‘灵犀X2’量产下线 成熟具备批量出货能力
- 2025年12月8日：奥迪E7X纯电大型SUV曝光 豪华电动市场再添新成员
- 2025年12月8日：奇瑞风云T8申报图曝光：封闭前脸设计+101公里纯电续航
- 2025年12月8日：车长超5米/增程动力 智己LS8申报图曝光
- 2025年12月8日：吉利汽车陈政：部分车企为博流量模仿设计 争议中国车设计高度
- 2025年12月8日：奇瑞新款风云T9插混版曝光：油耗低至0.77L，7座布局升级
精彩评论（10）