北京爱学思技术招聘

我们是一家专注于自动解题的科技公司。自研的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或在传统深度学习领域坚守更有意义。