5月17日消息，国家知识产权局信息显示，湖北大学、云宝宝大数据产业发展有限责任公司、武汉中科通达高新技术股份有限公司申请一项名为“一种基于大模型推理增强的智能合约漏洞检测方法”的专利。申请公布号为CN122046370A，申请号为CN7.6，申请公布日期为2026年5月15日，申请日期为2026年1月30日，发明人肖海林、陈芸、王开学、陈东进、李嘉、邓黄燕、倪菊、罗伦文、周迪、刘海龙、曾张帆，专利代理机构桂林市华杰专利商标事务所有限责任公司，专利代理师罗玉荣，分类号G06F21/57、G06N5/04、G06N3/045、G06N3/084、G06N3/09。
专利摘要显示，本发明公开了一种基于大模型推理增强的智能合约漏洞检测方法，所述方法为首先采用教师模型（Teacher Model）生成包含逻辑推导路径的思维链（Chain of Thought,CoT）数据，并结合静态分析工具（Slither）进行一致性校验与清洗；接着，构建多任务学习框架，对学生模型（Student Model）进行监督微调（Supervised Fine‑Tuning,SFT），使其同时学习漏洞分类与逻辑推理；最后，采用直接偏好优化（Direct Preference Optimization,DPO）技术，依据构建的偏好数据集对模型策略进行对齐校准。这种方法适用于各类区块链智能合约的安全性自动化审计，能实现在保持高检测效率的同时，提升对复杂逻辑漏洞的检测精度。
天眼查数据显示，云宝宝大数据产业发展有限责任公司成立日期2017年3月28日，法定代表人王曹诗，所属行业为商务服务业，企业规模为小型，注册资本7777.7778万人民币，实缴资本7388.7778万人民币，注册地址为中国（广西）自由贸易试验区南宁片区云英路8号五象总部大厦3号楼1909号房。云宝宝大数据产业发展有限责任公司共对外投资了5家企业，参与招投标项目337次，财产线个。
邱斌、邓高正、樊婷、程洪圆、李嘉、刘红霖、黄瀛、韩嘉、沈典、颜有起、苏利、韦莎
肖海林、陈芸、王开学、陈东进、李嘉、邓黄燕、倪菊、罗伦文、周迪、刘海龙、曾张帆
肖海林、喻康、倪菊、李嘉、杨宇、邓黄燕、王开学、罗伦文、周迪、刘海龙、曾张帆
何卫华、刘红霖、周勃、黄瀛、温松灵、吕鹤松、林静静、李嘉、黄武庆、覃燕
肖海林、徐芳、李嘉、周迪、倪唯一、刘红霖、闫坤、曹清阳、杨昱东、邓黄燕
肖海林、胡彬、倪唯一、李嘉、刘红霖、周迪、吴媛媛、田波、马仁煜、邓黄燕
肖海林、马仁煜、李嘉、周迪、倪唯一、刘红霖、胡彬、吴媛媛、田波、邓黄燕
专利权质押登记、变更及注销、授权、专利申请权、专利权的转移、专利申请权、专利权的转移、著录事项变更、实质审查的生效、公布
专利权质押登记、变更及注销、授权、专利申请权、专利权的转移、专利申请权、专利权的转移、著录事项变更、实质审查的生效、公布
中科通达成立于2007年6月8日，于2021年7月13日在上海证券交易所上市，注册地址和办公地址均为湖北省武汉。该公司是国内城市公共安全管理信息化服务领域的重要参与者，以新一代信息技术为支撑提供专业服务，具备较强技术实力。
中科通达主营业务是通过新一代信息技术手段，为城市公共安全管理提供专业的信息化服务，所属申万行业为计算机 - 软件开发 - 垂直应用软件，涉及智慧政务、Gemini多模态、华为欧拉等概念板块。
2025年，中科通达实现营业收入2.59亿元，在101家同行业公司中排名88，远低于行业第一名上海钢联的706.93亿元和第二名德赛西威的325.57亿元，也低于行业平均数24.42亿元和中位数6.31亿元。其主营业务构成中，信息化系统开发建设收入1.49亿元，占比57.54%。当期净利润为 -390.44万元，行业排名59，与第一名同花顺的32.05亿元和第二名德赛西威的24.73亿元差距明显，低于行业平均数5012.8万元和中位数2041.72万元。
肖海林、陈芸、王开学、陈东进、李嘉、邓黄燕、倪菊、罗伦文、周迪、刘海龙、曾张帆
专利权质押登记、变更及注销、专利权质押登记、变更及注销、授权、实质审查的生效、公布
专利权质押登记、变更及注销、专利权质押登记、变更及注销、授权、实质审查的生效、公布
专利权质押登记、变更及注销、专利权质押登记、变更及注销、授权、实质审查的生效、公布
专利权质押登记、变更及注销、专利权质押登记、变更及注销、授权、实质审查的生效、公布
专利权质押登记、变更及注销、专利权质押登记、变更及注销、授权、实质审查的生效、公布
专利权质押登记、变更及注销、专利权质押登记、变更及注销、专利权质押合同登记的生效、变更及注销、专利权质押合同登记的生效、变更及注销、授权、实质审查的生效、公布
专利权质押登记、变更及注销、专利权质押登记、变更及注销、专利权质押合同登记的生效、变更及注销、专利权质押合同登记的生效、变更及注销、授权、实质审查的生效、公布
声明：市场有风险，投资需谨慎。本文为AI大模型基于第三方数据库自动发布，不代表新浪财经观点，任何在本文出现的信息均只作为参考，不构成个人投资建议。如有出入请以实际公告为准。如有疑问，请联系
结束中美元首北京会晤数小时后，美国总统特朗普警告“台独”，特朗普就台湾问题再次明确表态！
据美媒当地时间15日报道，美国总统特朗普在结束访华行程数小时后，警告台湾不要试图走向“独立”。特朗普再次强调，美国在台湾问题上的政策“没有改变”。
特朗普警告“台独”：如今有人想挑起战火，自以为有美国在背后撑腰，但我绝不愿看到任何人搞分裂“独立”
当地时间15日，美国总统特朗普在结束访华行程后，就台湾问题明确表态。特朗普称：如今(台湾)有人想要谋求分裂“独立”，就是想挑起战火，还自以为有美国在背后撑腰，我绝不愿看到任何人搞分裂“独立”，更不想我们远渡9500英里去参战，这不是我想要的。
据新华社，巴勒斯坦媒体16日报道，巴勒斯坦伊斯兰抵抗运动（哈马斯）军事领导人伊兹丁·哈达德已身亡。图片来源：央视新闻客户端报道说，当天加沙城多座清真寺通过喇叭广播，悼念遇难的哈达德。
“感谢全国网友的支持！”央视6000万美元拿下美加墨世界杯转播权，此前国际足联曾开出约为人民币18亿到21亿的天价版权费
不要小看这个低杠倒立，核心稳到离谱！ 低杠倒立的进阶过程，每一秒都在控制身体。#体操训练 #运动员专项训练 #体操实力 #体操训练日常
大正取补给失误 #2026大连马拉松#大正爱跑步 #王连正#大连马拉松
特朗普最新涉台表态引热议，台湾舆论：剑指赖清德当局，放弃操弄“抗中保台”
中美元首会晤后，美国总统特朗普接受美媒采访时谈及台湾问题，称“我不希望有人走向独立”（Im not looking to have somebody go independent）。对此，台湾舆论高度关注，呼吁民进党当局认清现实，放弃操弄“抗中保台”。
搭上航天、算力概念后股价翻倍，建筑装饰龙头金螳螂公司的员工成了第一批受益者。5月13日晚，金螳螂发布公告称，公司2024年员工持股计划所持有的公司股份已全部出售完毕。这份员工持股计划始于2024年5月，共有73名员工缴款。
马斯克儿子的装扮火了：新中式马甲出自国产小众定制品牌，定价970元；虎头包系“广西制造”，由当地绣娘缝制而成
据央视新闻报道，5月14日上午，中美元首会谈进行过程中，特斯拉首席执行官马斯克、苹果首席执行官库克、英伟达首席执行官黄仁勋等十余名美方商界代表，在工作人员引导下进入会谈现场。
目前，全球能源市场正高度关注霍尔木兹海峡局势的走向。当地时间5月16日，伊朗议会国家安全委员会主席阿齐兹在社交平台表示，在维护国家主权和保障国际贸易安全的框架下，伊朗已制定一套专业的霍尔木兹海峡航线交通管理机制，并将于近期正式公布。该机制仅对与伊朗合作的商船和相关方开放。
大家好我是市井杂谈，每天给大家带来最新动态 ，内容随缘更，每篇都掏干货；如果你觉得这些信息对生活有用，就点个关注～ 近些年，离婚早已不是稀奇事。很多人在婚姻里受点委屈、闹点矛盾、觉得日子过不下去，第一反应就是离婚解脱、重新开始。
