初创公司 Axiom Math 由 24 岁的 Carina Hong 创立，致力于开发能够自主验证逻辑正确性的“AI 数学家”。该公司在 2025 年获得 6400 万美元融资，核心团队汇聚了来自 Meta 和 Google 的顶尖人才以及知名数学家。与主流大模型不同，其系统通过 Lean 编程语言确保推理过程的每一步都可追溯、可检查，解决了 AI 产出结果难以验收的信任难题。通过在 ...

公开资料显示，洪乐潼是广州出生长大的潮汕人。尽管父母并没有接受过高等教育，洪乐潼却自幼展现出不凡的数学天赋，她中学就读于广东名校华南师范附中，多次拿下奥数竞赛奖牌。14岁时，她在草稿纸的边缘写下“MIT”三个字母，激励自己。

在硅谷和华尔街风起云涌的AI创业热潮中，洪乐潼（Carina Letong ...

在全球经济面临结构性变革的关键节点，一家名为【智工元核·Axiom Nexus】的中国科技公司成为资本市场的焦点。据悉，红杉资本、软银愿景基金、淡马锡等超一线投资机构正围绕其展开激烈竞争，首轮融资估值已突破50亿美元，被业内人士称为“定义未来十年工作形态的战略性押注”。

创投圈的00后面孔越来越多了。 投资界获悉，Axiom Math正式完成首轮6400万美元（约合人民币4.6亿元）融资，由B Capital领投，Greycroft、Madrona和Menlo Ventures等机构参与，投后估值3亿美元（约合人民币20亿元）。 缔造Axiom的正是00后洪乐潼（Carina Hong）——在广州出生 ...

创投圈的00后面孔越来越多了。 投资界获悉，Axiom Math正式完成首轮6400万美元（约合人民币4.6亿元）融资，由B Capital领投，Greycroft、Madrona和Menlo Ventures等机构参与，投后估值3亿美元（约合人民币20亿元）。 缔造Axiom的正是00后洪乐潼（Carina Hong）在广州出生长大 ...

DoSTOR存储在线 7月2日国际报道–Axiom 600是一款4机架高的数据控制器，可以将Pillar的多个磁盘（由12个1TB驱动器组成）连接在一起。Axiom 600与Axiom 500一样，最多可以支持65个磁盘组，总容量达860TB。 Pillar公司首席执行官Mike Workman说："人们可以利用现有磁盘组，只要 ...

洪乐潼受访者供图本报讯（记者王兆昱）日前，记者从初创公司AxiomMath联合创始人洪乐潼（CarinaHong）处获悉，该公司开发的AxiomProver系统使用可验证的Lean语言，完成了埃尔德什问题集中第124题和第481题的形式化证明，分别用 ...

IT之家 11 月 22 日消息，Axiom Space 公司前天发布新闻稿，宣布与 KBR 公司联合完成测试 Axiom 舱外机动单元航天服，旨在支持“阿尔忒弥斯”重返月球计划。 图源：Axiom 据介绍，这次测试主要聚焦航天服的真空性能，评估该服装在太空极端温度环境下的热性能 ...

投资者可以进行盘前（美国东部时间上午 4:00 - 9:30） 和盘后（美国东部时间下午 4:00 - 8:00） 交易。做市商和 ECN 严格自愿参与，因此，这些时段的流动性和价格会比较低。在这种环境下，股票价格也可能波动更快。强烈建议在此期间参与交易的投资者使用限价单。