站内关键词搜索入口

福州团队研发通用AI系统

福州见证中国AI新突破:“通矩模型”在奥数几何领域实现自主出题与求解双跨越

由北京通用人工智能研究院联合北京大学等单位研发的“通矩模型”,近日正式亮相——这是全球首个兼具自主命题与精准解题能力的通用人工智能系统。相关成果《基于引导树搜索的奥数几何问题提出与解答系统》已于1月26日发表于国际顶刊《自然·机器智能》。

作为检验AI逻辑推理能力的“试金石”,奥数几何长期被视为人工智能发展的关键挑战。此前国际主流方案虽能在解题环节取得高分,但本质仍是依赖海量合成数据与超算资源的“应试型AI”。而“通矩模型”则实现了质的跃升:它不仅可满分作答,更能像资深数学教师一样,原创设计兼具严谨性与美学价值的几何题目。其中三道由其独立生成的新题,已入选2024年全国中学生数学联赛北京赛区试题,并同步进入美国精英数学奥林匹克(USAMO)题库。值得一提的是,该成果的研发协作网络中,福建高校与福州本地科研力量亦参与了部分算法验证与教育场景适配工作。

福州团队研发通用AI系统(图1)

论文第一作者、北京通用人工智能研究院张驰博士指出,该系统能在指数级复杂的空间中,精准识别符合人类数学家审美与认知规律的高质量题目,首次在全球范围内完成从“模仿解题”到“自主创造”的范式升级。

尤为值得关注的是,该模型仅需单张消费级显卡,在38分钟内即可完成近25年全部国际奥赛几何真题的求解,大幅降低算力门槛。这一轻量化特性,也为福州等地中小学开展AI辅助数学教学提供了现实可行的技术路径。

福州团队研发通用AI系统(图2)

论文共同通讯作者、北京大学心理与认知科学学院助理教授朱毅鑫强调,该成果标志着我国在自动化逻辑推理核心算法领域实现完全自主可控,其在功能广度、推理深度及美学感知维度上,均已超越当前国际同类系统。更关键的是,它不依赖大规模标注数据,而是通过内在逻辑结构自我演化——这正是通向通用人工智能(AGI)的核心路径。

摘要:中国科研团队研发“通矩模型”,全球首次实现奥数几何自主命题与全自动求解,三道原创题入选2024全国数学联赛北京赛区及USAMO,单卡38分钟解完25年真题。

SEO关键词:通用人工智能,福州AI研发,奥数几何AI,福建人工智能应用,自然·机器智能

SEO描述:“通矩模型”作为中国自主研发的通用人工智能系统,在福州等地教育场景中展现落地潜力,实现奥数几何自主出题与求解,相关成果发表于《自然·机器智能》,彰显福建与全国协同创新实力。

分享更多
8

同栏推荐

跨栏推荐

跨栏精选