据The Information消息，曾投出Perplexity等知名AI公司的B Capital正在就最新一轮目标5000万美元的融资展开谈判，并可能领投本轮。 同时，她也拿奖到手软： ...

教育从业者年度必读丨《教育科技这一年：教育+AI新纪元》火热销售中，点击文末小程序购买！“学习不应该是枯燥的。”来源|多知作者|王上视频制作|张蔚斐“一句话即可生成个人专属教学/讲解视频”，这是专门针对K12阶段开发的教育AI工具VideoTutor ...

本科期间的论文已经发表在《美国数学会会报》、《拉马努金期刊》等刊物。2021年获得牛津大学罗德奖学金，成为仅有的4名中国获奖者之一…… 换句话说，Axiom的AI将专注于数学领域，通过学习严格的逻辑推理和数学证明的过程，能够像数学家一样构建和验证形式化证明，并保证结果的准确性和严谨性。