国家知识产权局信息显示，赛奥空间（苏州）智能科技有限责任公司申请一项名为“一种基于大模型与形式化验证的活细胞分析方法和系统”的专利，公开号CN122176699A，申请日期为2026年2月。

专利摘要显示，本发明公开了一种基于大模型与形式化验证的活细胞分析方法和系统，方法包括上下文注入与意图推理，接收自然语言并利用大语言模型进行分析，推断所需的算法模块并输出候选配置文件。逻辑形式化验证，读取候选配置文件并转化为标准化的逻辑约束代码，并通过求解器对逻辑约束代码进行验证。冲突自愈与迭代，若求解器验证不通过，则取冲突核心，根据仲裁策略修正候选配置文件或算法模块的连接方式并更新逻辑约束代码，直至求解器验证通过。分析流水线实例化构建，若求解器验证通过，则根据最终确定的候选配置文件，构建可执行的分析流水线以进行活细胞分析。利用大语言模型生成分析代码，并结合形式化方法进行逻辑校验以对活细胞显微图像进行分析。

天眼查资料显示，赛奥空间（苏州）智能科技有限责任公司，成立于2024年，位于苏州市，是一家以从事研究和试验发展为主的企业。企业注册资本118.7507万人民币。通过天眼查大数据分析，赛奥空间（苏州）智能科技有限责任公司专利信息2条。

声明：市场有风险，投资需谨慎。本文为AI基于第三方数据生成，仅供参考，不构成个人投资建议。

本文源自：市场资讯