视频来源：https://www.youtube.com/watch?v=D7MG7rldIT8
一个24岁的中国姑娘，带着一群全球顶级的科学家，要用AI开始真正替代数学家做严谨的定理证明了。而且她不仅把这件事做成了，还拿到了16亿美元的估值。这个姑娘叫洪乐潼，广州长大的00后，本科MIT数学物理双学位，牛津神经科学硕士，斯坦福数学+法学博士在读，最后干脆辍学创业，创办了AI for Math领域的明星公司Axiom。更让人震惊的是，一位57岁的美国终身数学教授，放弃了大学的铁饭碗，主动投奔她，心甘情愿成为她团队的一员。
每天更新前沿 AI、科技、科普、知识、常识 等视频，紧跟潮流的同时 逐步“回归常识”，从被 “深度洗脑→不以为然” 的状态中醒悟过来，是我的初心。
