.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
WAIC 2026｜智象未来发布全球首个无限时长内容创作智能体——vivago R1
2026-07-20 14:15:54
业内首款超算+智算的大规模计算底座，在WAIC上我们找到了
2026-07-22 15:01:30
黄仁勋在日本吃嗨了！什么都吃、狂夸好吃：顺手签下日本首个AI工厂大单
2026-07-21 11:02:25
快速查账！领100美元免费积分，反被Claude偷设陷阱疯狂扣费
2026-07-23 17:58:28
不同模型厂同一家Agentic Infra，AGI时代的地基终于浮出水面
2026-07-20 19:27:19
“败家”的马斯克：卖车赚的钱 全烧给AI了
2026-07-24 00:14:08
小红书大模型IMO满分夺金，第三题解法让冠军选手直呼优雅
2026-07-22 08:44:40
光鉴科技发布具身智能视觉感知方案，为物理AI提供视觉感知基础
2026-07-20 14:17:31
Kimi K3上线48小时：模型爆火，GPU爆肝，会员停售
2026-07-20 13:13:04
成本直降 90%！原来 Kimi K3 叠 Claude Code 还能这么玩
2026-07-23 12:51:59
天立启鸣发布教育AGI白皮书：破解教育“不可能三角”
2026-07-22 12:58:38
789 文章
867767 浏览
24小时热文
更多
-
2026-07-24 00:15:46 -
2026-07-24 00:14:08
-
2026-07-24 00:12:30
