天气 
2026-04-05
洪乐潼热衷于用AI来做数学。她认为数学能创造价值，因为它能自我验证、自我检查。这位25岁的广州女生毕业于麻省理工学院和牛津大学，从斯坦福辍学创业，数周前刚拿下2亿美元融资，估值达16亿美元。
2025年，DeepSeek横空出世，洪乐潼感慨团队执行力强，亲力亲为，最珍贵的是那份理想与使命交织的信念。Axiom的创始团队小而专注，有一半来自Meta AI研究院。
洪乐潼的办公室位于硅谷的帕洛阿尔托大学大道，距离斯坦福大学不远。公司取名Axiom（公理），目标是创造“AI数学家”。就是打造能自动验证计算机代码的AI系统，原理类似于数学家证明复杂数学难题。这项技术可以杜绝代码漏洞，借助Lean编程语言，研发出能够从形式上证明答案是否正确的技术。
凭借这个想法，2024年8月，洪乐潼拿下了960万美元种子轮投资。在她的设想中，未来Axiom的产品可服务于对冲基金和量化交易公司，快速解决与资产定价、股市预测相关的复杂数学问题。3月中旬，洪乐潼宣布筹集到2亿美元A轮融资。她表示，Axiom虽然小但很强，探索各种更聪明的技术来降低成本，资本效率很高。
猜你喜欢
2025-06-27
年薪2亿欧仍为足坛第一！40岁C罗继续征...
6月26日，据FIFA国际足联消息，40岁的葡萄牙前锋C罗已与沙特联球队利雅得胜利完成续约。C罗于2023年转会加盟利雅得胜利，至今共代表球队出场105次，贡献...
READ MORE
2025-10-24
人民日报点赞“卷尺哥” 城市治理新标杆
近日，深圳一位热心市民“卷尺哥”引起了广泛关注。从2023年3月起，他带着一把卷尺，在深圳的大街小巷穿梭，专门寻找公共设施的问题。令人惊讶的是，他指出的每个问题...
READ MORE
2025-07-01
钟睒睒34亿投资山西女首富 布局重组胶原...
当华熙生物与巨子生物在重组胶原蛋白领域的竞争稍歇，前首富钟睒睒已悄然进入这一赛道。锦波生物发布公告称，其向钟睒睒旗下养生堂定向发行股份募资不超过20亿元，同时创...
READ MORE
2025-07-01
37岁男子糖尿病7年不重视致截肢失明 忽...
37岁男子糖尿病7年不重视致截肢失明 忽视并发症酿悲剧！近日，福建一名37岁的陈先生因长期忽视糖尿病管理而遭受严重后果。七年前，陈先生被确诊为糖尿病患者，但他并...
READ MORE
2025-07-01
湖北咸丰暴雨公交停运学校停课 当地已紧急...
7月1日，湖北恩施咸丰遭遇特大暴雨袭击，咸丰县城4时断电，目前抢修中，当地已紧急转移8000余人。 据咸丰县教育局综合办公室消息，城区学校（含曲江）各走读制学校...
READ MORE最新发布
-
年薪2亿欧仍为足坛第一！40岁C罗继续征战沙特联，续约2年至...
国际新闻, 2025-06-27 -
人民日报点赞“卷尺哥” 城市治理新标杆
国际新闻, 2025-10-24 -
钟睒睒34亿投资山西女首富 布局重组胶原蛋白赛道
国际新闻, 2025-07-01 -
37岁男子糖尿病7年不重视致截肢失明 忽视并发症酿悲剧
国际新闻, 2025-07-01 -
湖北咸丰暴雨公交停运学校停课 当地已紧急转移8000余人
国际新闻, 2025-07-01
