260605-这个24岁女孩造出了能拿满分的AI数学家
对洪乐潼的4小时访谈：AI for Math、把数学变成Lean、数学天书中的证明、直觉、被创造的与被发现的
AI数学家的崛起：Axiom与自动化定理证明创新
改变教育行业的AI，已经来了｜美国顶尖私校
22 岁，她凭什么让硅谷顶级风投集体“梭哈”？MIT天才少女的创业启示录【中英字幕】
Axiom创始人Carina Hong主题演讲：AI数学家正在攻克数论猜想，形式化验证是关键
数学专业劝退？顶尖数学系两年半毕业直博，肺腑之言
00后 中国天才少女 挑战 AI For Math，创办Axiom拿到16亿美元估值
【清华本科 MIT麻省数学博士】美女学神的成长之路
【EO访谈】22岁少女获硅谷豪投2100万美元，MIT天才少女创业揭秘
260610-全球最年轻女白手起家亿万富翁：她如何用预测市场颠覆金融
美国理工博士生聊聊人工智能是不是要长脑子了
邱月淇：青年科学家奖背后的故事-在波谷中蓄力的笨功夫 |TEDxXuhui2025青年大会
AI助力陶哲轩三个月完成2200万个数学证明
硅谷顶级投资人押注这位22岁创始人 | Sola, Jessica Wu【商业财经vol.46】（中英校译）
00后广州天才少女，瞄准AI数学，0产品目标估值20亿
我是数学天才，但去了MIT发现遍地都是天才
洪乐潼，务工家庭走出00后天才！退学造110亿独角兽，终身教授辞职追随。
00后女生，MIT辍学创业，不到两年融资1.5亿
广州00后天才少女，创业4个月估值20亿
