.png)
12月4日，AI初创公司Axiom Math宣布著名数学家Ken Ono加入，担任创始数学家。Axiom致力于开发能推理、发现并证明数学问题的‘AI数学家’，已融资6400万美元，团队包括多位来自Meta等科技巨头的成员。公司模型近期自动完成了两个埃尔德什问题的数学猜想证明。Ken Ono曾长期在威斯康星大学、埃默里大学和弗吉尼亚大学任教，指导过多位摩根奖得主。他坦言，AI在数学领域的表现令他震撼，并希望通过加入Axiom探索‘黑板之外改变世界’的机会。公司创始人洪乐潼为麻省理工毕业生，曾是Ken Ono的学生。Axiom目标不仅限于解决数学难题，还希望将数学AI应用于商业场景，如软件验证、金融工程和物流优化。
原文链接
本文链接：https://kx.umi6.com/article/29728.html
转载请注明文章出处
分享至
打开微信扫一扫
内容投诉
生成图片
.png "29728")
相关推荐
.png)
换一换
中国00后正扎堆改变世界
2025-11-26 09:37:15
清华AI数学家：独立完成理论难题，自动调用基本定理构建证明思路
2025-06-05 10:45:56
警惕AI会员二道贩子！央视曝光无限薅豆包会员隐患：出租方可见全部对话
2026-10-22 11:40:49
字节火山引擎发起Seedance精品AI剧激励计划：月度TOP10单部最高奖20万元
2026-10-19 15:08:17
刚刚，Opus 5.5极速版全面解禁！
2026-10-16 09:56:43
中国机器人羽毛球连打1452拍！拿下吉尼斯，波士顿动力大佬被硬控
2026-10-16 15:12:26
VAST开源实时世界模型EdenLive！单消费级显卡、720P超24FPS
2026-10-18 22:04:56
尘封87年终于解密！GPT-6一夜破解二战时德军无线电密码
2026-10-19 19:20:45
国模Agent第一！MiniMax爆改Flash战力，全时段大肥鱼谷价
2026-10-20 23:53:53
AI硬件出海，别当“背景板”，GTC2026 Shanghai「AI硬件专区」邀你占位
2026-10-20 13:12:18
2026 TMOT首个AI智能体走进电音现场，让听众成为音乐共创者
2026-10-15 18:01:17
68岁亚马逊CTO：别让恐惧，替企业做AI决策
2026-10-16 16:16:24
演员吴越怒斥AI仿冒带货太恶劣 微信视频号回应：账号已永久封禁
2026-10-19 07:40:24
810 文章
1097425 浏览
24小时热文
更多
-
2026-10-22 11:40:49 -
2026-10-22 10:39:20
-
2026-10-22 10:37:52
