对洪乐潼的4小时访谈：AI for Math、把数学变成Lean、数学天书中的证明、直觉、被创造的与被发现的
AI数学家的崛起：Axiom与自动化定理证明创新
260605-这个24岁女孩造出了能拿满分的AI数学家
00后女生，MIT辍学创业，不到两年融资1.5亿
Demis Hassabis：晚上 10 点到凌晨 4 点，才算开始干活
22 岁，她凭什么让硅谷顶级风投集体“梭哈”？MIT天才少女的创业启示录【中英字幕】
00后广州天才少女，瞄准AI数学，0产品目标估值20亿
【EO访谈】22岁少女获硅谷豪投2100万美元，MIT天才少女创业揭秘
Axiom创始人Carina Hong主题演讲：AI数学家正在攻克数论猜想，形式化验证是关键
邱月淇：青年科学家奖背后的故事-在波谷中蓄力的笨功夫 |TEDxXuhui2025青年大会
广州00后天才少女，创业4个月估值20亿
260610-全球最年轻女白手起家亿万富翁：她如何用预测市场颠覆金融
改变教育行业的AI，已经来了｜美国顶尖私校
陶哲轩在2024年国际数学奥林匹克（IMO）的演讲：AI 与数学
00后的潮汕女孩洪乐潼，公司估值已经21亿了#洪乐潼 #00后创业
【MIT 麻省理工公开课】线性代数习题课
00后女生Carina Hong，联手前Meta团队，要造“AI数学家”
硅谷顶级投资人押注这位22岁创始人 | Sola, Jessica Wu【商业财经vol.46】（中英校译）
【清华本科 MIT麻省数学博士】美女学神的成长之路
「Axiom」一家由数学家「洪乐潼」组成的AI公司融资2亿美元
