九章云极在科学智能大会展示AI验证闭环技术

近日，2026科学智能大会在北京举行，九章云极AI首席科学家缪旭受邀作“AI科学发现和形式化验证”报告。缪旭指出，AI科研的核心瓶颈是信任赤字，九章云极正通过神经符号验证与强化学习闭环，让AI的每一次科学发现具备可验证、可追溯的可靠性。

九章云极展示了面向科研场景的LLM-QUBO任务拆解闭环系统，据透露，该系统在实际测试中已实现减少30%以上冗余QUBO任务，提升科研算力资源利用率。

合作方面，九章云极与北京大学共建“北大-九章云极多智能体联合实验室”，并作为核心算力支持方参与上海交通大学“世界叙事模型（WNM）”研发，还联合多家机构举办2026 AI流变学协同创新平台夏令营。

版权与内容声明

本文根据公开发布的新闻信息进行整理和简化，旨在传递资讯，不代表本站立场，亦不构成任何投资、商业或其他专业建议。文章所涉及的事件、人物、机构、时间及数据等信息，均以原始发布页面为准。

原文标题：从“算力普惠”到“验证闭环” 九章云极让AI4S回归科研探索未知的本源
原文来源：中国经济新闻网
原文链接：https://www.cet.com.cn/wzsy/cyzx/10519212.shtml

本站尊重并保护知识产权。如本文内容、图片或相关素材涉及版权、署名权等问题，权利人可通过【联系邮箱anmaowangluo@qq.com】与本站联系，并提供相关权属证明及文章链接。本站核实后将依法依规及时进行更正、删除或断开链接等处理。