北京悉之智能科技有限公司

我们是一家主攻自动解题的科技公司。
我们自研的NLP模型，在自动解题领域的自然语言理解、知识推理、文本生成等任务下都是表现*好之一。
我们在北美市场成功落地了自动解题+可交互AI教师产品。
希望在这波ChatGPT科技大热潮下，我们能成为AI产业对教育的革命的推动者。同时，我们也热忱的希望能够在帮助AI获得逻辑与推理能力上做出贡献。
我们曾获真格、经纬、启明等一线VC超4000万美金融资，核心创始团队来自清华北大，曾入选2019福布斯中国、2020福布斯亚洲U30精英年度榜单，曾获互联网+大赛全国金奖、 清华大学创新创业大赛冠军。
【核心技术—认知架构】
- 我们的产品解题能力超过所有同类竞品，竞品包括谷歌（旗下Socratic）及微软（Microsoft Math Solver）。同时，不同于绝大多数解题软件仅为用户提供答案与解析，我们是*家通过多模态引擎实现AI教师交互式讲解的产品。
- 为此，我们构建出了一套AI可理解的抽象语言—认知架构。作为极少数搭建出独创的可计算抽象语言的公司，相比于竞品【如：Wolfram语言及其产品Mathematica】，我们在数学这一垂直领域下极大地拓展了可计算语言的能力范围，使其从简单的数值、符号运算，拓展到命题推理、知识演绎等更复杂的推理任务。同时，通过自研语言模型，将认知架构与题目文本在自然语言层级进行识别，并建立起数据飞轮。从而完整实现了机器对数学题目的文本理解、思路推理、数值计算、解析生成、多模态讲解，大幅提高了解题率。
【发展机遇—AGI之大变局】
如果你也对ChatGPT这波AIGC大热潮感到激动和兴奋，那么加入我们无疑是你*好的选择之一。
让AI获得逻辑与推理能力，是AI通往AGI重要的里程碑，也是LLM目前巨大的瓶颈。而涵盖了自然语言理解、意图识别、知识演绎、机器推理的自动解题这个垂直领域，又可以说是让机器获得逻辑能力的重要中间任务。
将可计算抽象语言与LLM两种模型进行结合，利用LLM以提升AI对数学题干文本层级的信息理解能力，搭配能够稳定进行逻辑推理和数值计算的可计算抽象语言，将可以预见地极大提升AI在自动解题领域的表现，进一步推动AGI革命的到来。
这或许比现在开始追赶LLM，或是在传统的DL领域坚守，都更有意义。