【EO访谈】22岁少女获硅谷豪投2100万美元，MIT天才少女创业揭秘
Axiom创始人Carina Hong主题演讲：AI数学家正在攻克数论猜想，形式化验证是关键
260605-这个24岁女孩造出了能拿满分的AI数学家
22 岁，她凭什么让硅谷顶级风投集体“梭哈”？MIT天才少女的创业启示录【中英字幕】
扎克伯格妻子亲述：AI将在几年内终结所有疾病！
比尔盖茨女儿菲比：我的父亲反对我像他那样辍学去创业。
MIT数学博士：来这儿上学之前，我以为自己是天才
00后广州天才少女，瞄准AI数学，0产品目标估值20亿
甲小姐对话北大董彬：AI for Math的无尽前沿，AI时代不被替代的志愿……请相信数学！
苏妈麻省理工学院MIT博士毕业典礼演讲：大胆梦想，不怕犯错，勇敢向前！[中英字幕]
对姚顺宇的4小时访谈：请允许我小疯一下！在Anthropic和Gemini训模型、技术预测、英雄主义已过去
15岁“小爱因斯坦”拿下量子物理博士，下一步打造超级人类
改变教育行业的AI，已经来了｜美国顶尖私校
AI助力陶哲轩三个月完成2200万个数学证明
【人物访谈】红杉资本合伙人兼首席产品官 Jess Lee：优秀创业者早期都在做什么，以及AI将如何改变消费类应用
UCB AP陈立杰 复杂性理论前沿研讨会：C³ 局部可测试码
DeepSeek 公司深度学习研究员罗福莉早期采访视频
AI数学家的崛起：Axiom与自动化定理证明创新
陶哲轩在2024年国际数学奥林匹克（IMO）的演讲：AI 与数学
对罗福莉的3.5小时访谈：AI范式已然巨变！OpenClaw、智能体框架、Agent范式很吃Post-train、卡的分配比例、巨变下的组织
