260605-这个24岁女孩造出了能拿满分的AI数学家
【EO访谈】22岁少女获硅谷豪投2100万美元，MIT天才少女创业揭秘
对洪乐潼的4小时访谈：AI for Math、把数学变成Lean、数学天书中的证明、直觉、被创造的与被发现的
AI数学家的崛起：Axiom与自动化定理证明创新
数学专业劝退？顶尖数学系两年半毕业直博，肺腑之言
胡渊鸣：Meshy AI，太极，MIT，清华姚班，图形学，物理仿真模拟，开源，商业化，勇气 ，智慧 ｜ WhynotTV Podcast #2
22 岁，她凭什么让硅谷顶级风投集体“梭哈”？MIT天才少女的创业启示录【中英字幕】
00后 中国天才少女 挑战 AI For Math，创办Axiom拿到16亿美元估值
对话Kimi创始人杨植麟：K2、Agentic LLM、缸中之脑、艰难的泛化、用L4解决L3、长文本影响智商、“站在无限的开端”
260610-全球最年轻女白手起家亿万富翁：她如何用预测市场颠覆金融
甲小姐对话北大董彬：AI for Math的无尽前沿，AI时代不被替代的志愿……请相信数学！
美国理工博士生聊聊人工智能是不是要长脑子了
硅谷顶级投资人押注这位22岁创始人 | Sola, Jessica Wu【商业财经vol.46】（中英校译）
翁家翌：OpenAI，GPT，强化学习，Infra，后训练，天授，tuixue，开源，CMU，清华｜WhynotTV Podcast #4
陶哲轩在2024年国际数学奥林匹克（IMO）的演讲：AI 与数学
邱月淇：青年科学家奖背后的故事-在波谷中蓄力的笨功夫 |TEDxXuhui2025青年大会
我被MIT哈佛CMU录取了！计算机博士申请季纪实
【清华本科 MIT麻省数学博士】美女学神的成长之路
改变教育行业的AI，已经来了｜美国顶尖私校
00后女生Carina Hong，联手前Meta团队，要造“AI数学家”
