综合
7*24 快讯
AI科普
合作
全部
英雄令
项目方
开发者
产品方
投资者
2025年,世界级数学家小野肯辞去弗吉尼亚大学终身教职,全职加入硅谷AI初创公司Axiom,担任创始数学家。这家公司由他的学生、24岁的华人女生洪乐潼创立,专注于开发解决实际数学问题的AI技术。洪乐潼是斯坦福数学博士辍学生,曾获IMO金牌及多项数学荣誉。Axiom近期解决了Erdős问题#124和#481,在数学界引发轰动。公司成立不久即获3亿美元估值,吸引了顶尖专家加盟,包括前Meta研究员François Charton。师生携手创业,目标是破解困扰人类数世纪的数学难题,推动AI在数学领域的突破。
原文链接
加载更多
暂无内容