FX168财经网_全球视野外汇黄金加密货币NFT资讯网

晚间必读 | “NFT第一案” 二审究竟改变了什么？

X 及中国的百度等。当微软决定推出将 ChatGPT 版的 Bing 时，这个格局可能要变一变了。点击阅读 4.美国SEC铁拳将至？加密市场监管流言汇总 2 月 9 日，疑受美国监管消息影响，加密货币市场短时急跌。BlockBeats 汇总了目前市场上对于美国 SEC 监管的流言，目前尚未有政策落地，但我们仍然需要注意风险。今晨，Coinbase 创始人 Brian Armstrong 发推表示，据传闻，美国证券交易委员会（SEC）希望在美国封禁散户的加密货币质押。点击阅读 5.“NFT第一案” 二审究竟改变了什么？业内称为“NFT第一案”的“胖虎打疫苗”信息网络传播权侵权案件二审判决于年初杭州中级人民法院作出，相较于一审判决，二审判决虽然未有实质性变化，但判决对NFT数字藏品的定性及业内的相关疑问做出了一定的调整与回应。点击阅读来源：金色财经

金色财经2023-02-09

北向折返爆买121亿元！科技龙头板块获百亿流入，港股逆袭回暖，化工ETF异常放量！

以上！近期最引人注目的便是火遍全球的ChatGPT，浙商证券最新观点指出，ChatGPT作为一种新兴的超智能对话AI产品，无论是从技术原理角度还是运行条件角度，ChatGPT都需要强大算力作为支撑，从而带动场景流量大幅增加。此外，ChatGPT对于高端芯片的需求增加也会拉动芯片均价，量价齐升导致芯片需求暴涨；面对指数级增长的算力和数据传输需求，可以进行提供的GPU或CPU+FPGA芯片厂商、光模块厂商即将迎来蓝海市场，看好国内GPU、CPU、FPGA、AI芯片及光模块产业链玩家。兴业证券也表示，电子行业正处于景气筑底阶段，2023年有望迎来修复。通过复盘过去两轮行业景气周期的需求、供给、库存及价格等重要指标的变化趋势，结合当前行业基本面情况，认为电子行业在经历了2022年的需求疲软、库存去化之后，当前正处于景气筑底阶段，有望于今年实现景气修复。行业修复将带动上游模拟芯片、数字芯片、被动元器件等领域的需求提升，看好相关领域公司的业绩修复趋势。资料显示，电子ETF（515260）跟踪中证电子50指数，持仓A股50只电子龙头股，全面覆盖芯片、消费电子、汽车电子、5G、云计算等热门产业龙头公司，一键布局A股电子核心资产！二、【港股互联网ETF(513770)】今日港股低开高走，强势拉升。三大指数上午维持窄幅红盘震荡，午后集体直线上扬，截至收盘，恒生指数收涨1.6%，恒生科技指数涨3.16%，恒生国企指数收涨1.73%。大型互联网巨头普涨，小米集团涨8.5%领涨蓝筹，腾讯控股涨3.51%，快手涨4%，跟踪港股通互联网板块行情的中证港股通互联网指数（931637）收涨3.96%，表现优于大盘。 ETF方面，跟踪中证港股通互联网指数的港股互联网ETF（513770）早盘低开后迅速拉升转涨，上午维持小幅红盘震荡，午后45度直线拉升，收涨3.41%，全天成交额2.59亿元，较前一日大幅放量85%，换手率近38%。数据来源：Wind，截至2023.2.9，以上指数成份股仅作展示，个股描述不作为任何形式的投资建议，也不代表管理人旗下任何基金的持仓信息和交易动向。节后港股冲高回落，1月30日开市以来的9个交易日，恒生科技指数走出5条阴线消化前期大涨后的获利回吐压力。与此同时，资金却在逢低持续抢筹港股互联网ETF（513770），数据显示，港股互联网ETF（513770）最近5个交易日获资金净买入近4400万元，最近20个交易日累计获资金净买入1.19亿元，体现了资金对于港股互联网板块后市的乐观预期。展望后市，港股互联网ETF（513770）基金经理丰晨成最新观点指出，港股进入从估值修复到基本面恢复的接续期，港股当前估值在全球股市中具有吸引力，公共卫生防控放开后未来经济复苏预期明确，互联网板块相对弹性更大，预期利润端增速较好。另外产业政策端，平台经济获得政策解绑，长期可展望的空间更大。资料显示，港股互联网ETF（513770）跟踪中证港股通互联网指数（931637），从港股通范围内选取30家流动性优、总市值高的互联网相关上市公司作为指数样本股，反映港股通互联网主题上市公司证券整体表现。指数覆盖互联网行业大市值龙头公司，高成长性配置价值凸显；权重股聚集美团、腾讯控股、小米集团、快手等不同互联网细分赛道龙头公司，备受南向资金青睐，后市经营业绩有望迎来回暖；指数长期业绩优于恒生科技指数等同类指数，收益弹性突出。三、【科技ETF(515000)】正如前文提到的，国泰君安黄所长认为A股全年的投资机会可以概括为“跟消费谈恋爱，跟科技结婚”，前半阶段的机会主要在以消费为代表的价值类股票，后半阶段行情重点则是科技板块。映射到今日行情上，在主题行业指数层面，科技龙头指数成为全市场最受主力青睐的概念板块，单日主力净流入超141亿元。热门ETF方面，跟踪中证科技龙头指数的科技ETF（515000）今日放量大涨2.78%，再度突破前期反弹高点，收盘价创近6个月以来新高！ ChatGPT最近的持续火爆叠加资金和基本面因素， A股科技板块已经被点燃，那么持续性究竟如何？招商证券陈杭2月8日最新观点认为，无论是从技术原理角度还是运行条件角度，ChatGPT都需要强大算力作为支撑，从而带动场景流量大幅增加，此外，ChatGPT对于高端芯片的需求增加也会拉动芯片均价，量价齐升导致芯片需求暴涨；面对指数级增长的算力和数据传输需求，可以进行提供的GPU或CPU+FPGA芯片厂商、光模块厂商即将迎来蓝海市场。其实ChatGPT后续可能会带动包括电子、通信、计算机等诸多板块龙头标的的想象空间，若不知道如何前瞻布局，那么包含上述赛道的科技龙头指数不失为一个高胜率的选择。所以看好以ChatGPT为代表科技赛道投资者，不妨关注科技ETF（515000）。从细分行业上看，根据主流的中证科技龙头指数的划分，科技赛道涵盖电子、计算机、医药生物和通信四大领域，要在各个领域做好深度研究和跟踪难度很大，而指数化投资提供了高效享受科技发展红利的机会。资料显示，科技ETF（515000）及其联接基金（A份额代码007873/C份额代码007874）跟踪复制中证科技龙头指数，重点布局A股最具前景4大科技领域（芯片、信创、药械、通信）50只龙头个股，集中代表A股科技核心资产，风险收益特征相较其它单一科技赛道品种更加均衡。【化工ETF（516020）午后异常放量，巨资买入？】最后再就化工ETF（516020）午后的行情关注一下，从行情中明显看出，午后化工ETF（516020）呈现明显的异常放量，全天成交额6805万元，较昨日放大3倍！同时盘中溢价也异常明显，或有巨额资金在盘中增仓！具体我们等晚上交易所公布份额情况再做判断，按照经验，或有机构资金对化工板块做了资金布局。风险提示：电子ETF被动跟踪中证电子50指数，该指数基日为2008.12.31，发布于2009.07.22；港股互联网ETF跟踪的指数为HKC港股通互联网指数，该指数基日为2016.12.30，发布于2021.1.11；科技ETF被动跟踪中证科技龙头指数，该指数基日为2012.6.29，发布于2019.3.20；化工ETF被动跟踪中证细分化工产业主题指数，该指数基日为2004.12.31，发布日期为2012.4.11。指数成份股构成根据该指数编制规则适时调整，其回测历史业绩不预示指数未来表现。文中提及个股仅为指数成份股客观展示列举，不作为任何个股推荐，不代表基金管理人和本基金投资方向。任何在本文出现的信息（包括但不限于个股、评论、预测、图表、指标、理论、任何形式的表述等）均只作为参考，投资人须对任何自主决定的投资行为负责。另，本文中的任何观点、分析及预测不构成对阅读者任何形式的投资建议，本公司亦不对因使用本文内容所引发的直接或间接损失负任何责任。投资人应当认真阅读《基金合同》、《招募说明书》、《基金产品资料概要》等基金法律文件，了解基金的风险收益特征，选择与自身风险承受能力相适应的产品。基金过往业绩并不预示其未来表现！根据基金管理人的评估，电子ETF、科技ETF、化工ETF的风险等级为R3-中风险，港股互联网ETF的风险等级为R4-中高风险。销售机构（包括基金管理人直销机构和其他销售机构）根据相关法律法规对本基金进行风险评价，投资者应及时关注基金管理人出具的适当性意见，各销售机构关于适当性的意见不必然一致，且基金销售机构所出具的基金产品风险等级评价结果不得低于基金管理人作出的风险等级评价结果。基金合同中关于基金风险收益特征与基金风险等级因考虑因素不同而存在差异。投资者应了解基金的风险收益情况，结合自身投资目的、期限、投资经验及风险承受能力谨慎选择基金产品并自行承担风险。中国证监会对本基金的注册，并不表明其对本基金的投资价值、市场前景和收益做出实质性判断或保证。基金投资需谨慎。（来源:界面AI）声明：本条内容由界面AI生成并授权使用，内容仅供参考，不构成投资建议。AI技术战略支持为有连云。

有连云2023-02-09

三六零：关于AIGC技术的研究在国内不具备唯一性

交易风险提示公告，公司计划推出的基于类ChatGPT技术的demo版产品在发布日期及实际效果上均有重大不确定性；受市场需求、竞争环境、科技进步等因素的影响，公司是否能够缩小与国外领先技术之间的差距尚存在不确定性。且近日国内已有多家一线互联网公司宣布了自己的类ChatGPT计划，公司关于AIGC技术的研究在国内不具备唯一性。

金融界2023-02-09

投资图谱|ChatGPT火出圈，微软谷歌激战正酣，BAT布局相继曝光，梳理A股50家相关公司，看三大争议下的冷思考

　　一、什么是ChatGPT？　　GPT（Generative Pre-trained Transformer）是一种自然语言处理模型，它可以自动生成文本，并且可以用于多种任务，如文本分类、问答等。GPT的原理是基于Transformer模型（具有自注意力机制，可以捕捉句子中的上下文关系），它是一种基于注意力机制的深度学习模型，可以用来处理序列数据，如文本。此前已公布GPT-1、GPT-2、GPT-3等模型。　　ChatGPT是由OpenAI公司发布的聊天机器人模型，是基于微调后的GPT-3.5模型推出的对话机器人，能够进行有逻辑的对话、撰写代码、撰写剧本、纠正错误、拒绝不正当的请求等。因其在语义理解的精准度、信息输出的准确率、逻辑性及语言流畅自然度方面的出色表现，受到广泛关注。　　AIGC（AIGeneratedContent）即AI生产内容是继UGC、PGC/OGC之后的新型内容生产方式，是利用AI技术赋能文本、音频、视觉等高自由度、低门槛的内容生产。ChatGPT是典型的文本生成式的AIGC，其目前的成功也有望带动AIGC在图像、音乐、视频等其他领域落地。　　二、中美科技公司布局动向　　微软、谷歌、亚马逊等全球巨头扎堆入局，随着ChatGPT结合搜索、知识图谱等技术，有望进一步拓宽AI应用场景，加速AI商业落地。　　三、券商解析受益主线：　　中信证券表示，ChatGPT产生的鲶鱼效应，料将推动全球AI产业化进程的全面提速，以及AI生成内容时代的全面到来。　　天风证券分析称，ChatGPT引领下，我们看好AI产业加速发展，围绕算力、算法、数据AI产业三要素，推荐科大讯飞、海天瑞声、景嘉微（与电子团队联合覆盖），建议关注拓尔思、格灵深瞳-U、云从科技-UW、寒武纪-U、光云科技、虹软科技、当虹科技。　　国金证券指出，目前已拥有大语言模型的国内AI企业有望率先实现技术突破，推出类似ChatGPT的产品并获取增量收入，建议关注头部互联网及AI行业头部公司。训练大模型对算力、服务器提出更高需求，利好GPU芯片厂商。训练ChatGPT模型需要使用高标准的人工标注数据，有望给数据标注类企业带来增量收入。对于下游行业，ChatGPT或将替代部分人力密集型线上行业，为这类行业提升焦虑。比如文本撰写、营销策划、智能投顾等。　　东方证券研报提及，未来几年是AIGC的快速发展窗口期，相关的AI模型算法、算力基础设施以及下游应用都有望迎来加速增长。AI模型和算法能力领域，建议关注科大讯飞、拓尔思、云从科技-UW等公司。算力基础设施领域，建议关注中科曙光、海光信息、浪潮信息等公司。我们看好ChatGPT在企业级市场的应用和渗透前景，建议投资者关注致远互联、用友网络、鼎捷软件、金山办公、汉得信息等公司。　　湘财证券研判，人工智能技术的落地商用将持续增多，人工智能技术的发展以算力资源的扩充、CPU&；；GPU处理速度、存储器及接口芯片等半导体硬件性能的提升为基础，建议关注Chiplet及先进封装，新型存储等先进技术的发展。建议持续关注半导体行业，维持行业增持评级。　　安信证券认为，从对于ChatGPT技术上的分析，可以看到自然语言处理技术的持续迭代升级，对应到当前市场来看，主要的发展方向和投资机会在于三个方向，1）NLP技术：由于ChatGPT主要基于自然语言处理，因为在NLP领域沉淀较多的企业有望率先实现功能的部分复现，建议关注科大讯飞、拓尔思。2）数据标注：在ChatGPT的训练过程中，加大了人工标注的力度和精度，代表着未来在人工智能领域，优质的数据源和强大的标注能力将成为行业的基础设施，利好人工智能数据标注企业如海天瑞声。3）算力设施：我们可以看到ChatGPT主要源于GPT-3的预训练模型，而GPT-3相比于此前的模型，最大的不同在于模型体量的大幅提升，根据OpenAI的数据，GPT-3的参数量达到1750亿个，训练数据量达到45TB，而GPT-2参数仅有15亿个，40GB数据。因此，人工智能的跨越式发展，将成为算力流量消耗的重要驱动力，未来数据中心和相关的配套产业有望实现更好增长，建议关注润泽科技等。　　华西证券建议关注三条投资主线：1）具备算力基础的厂商，受益标的为寒武纪、商汤、海光信息、浪潮信息、中科曙光、景嘉微；2）具备AI算法商业落地的厂商，重点推荐科大讯飞、拓尔思，其他受益标的为:汉王科技、海天瑞声、云从科技；3）AIGC相关技术储备的应用厂商，受益标的为:百度、同花顺、三六零、金山办公。　　四、A股ChatGPT概念股及相关衍生题材 ChatGPT概念股一览 ChatGPT相关概念　　五、热度下的冷思考　　瑞银发布的一份研究报告显示，OpenAI旗下聊天机器人ChatGPT在今年1月，即推出仅两个月后，月活跃用户估计已达1亿，成为历史上增长最快的消费应用。　　如此热度之下，与之而来的是人们对于ChatGPT出色表现的“赞美与追捧”以及对行业未来的“无限憧憬”，资金对约资本市场中的相关概念股更是“青睐有加”。但我们还是从部分券商的观点中，发现了一些对于当前ChatGPT的一些“冷思考”。　　中信证券提出，ChatGPT在中短期内无法完全取代传统搜索引擎，因为面临数据的实时性问题、数据的真实性仍不足、模型在线推理端成本高昂等几个关键技术瓶颈，同时，ChatGPT也较难改变当前全球搜索引擎市场竞争格局。　　浙商证券强调，虽然ChatGPT应用场景丰富，“智商”很高。但同时，ChatGPT 也存在局限性，有时会生成包含虚假和明显错误的回复；虽具合法和道德约束设置，但仍有破解方法。。　　湘财证券也提及，ChatGPT现阶段在提高搜索及文本撰写效率方面具有较为明显的价值；但仍具有“输出文本的时效性方面或存在不足；输出文本的专业度，准确度受多种因素影响；不具备推理、创作能力”等局限性。　　华泰证券提示，ChatGPT是通往AGI（通用人工智能）道路的一次跃迁，但我们离AGI仍有较远的距离。目前围绕使用ChatGPT等大模型的争议不休，主要围绕三大方面，信息真实性：大语言模型对事实和逻辑世界缺乏真正理解，生成内容的真实性和可解释性存疑；信息有害性：例如，尽管ChatGPT采用了基于人类反馈的强化学习（RLHF），以实现有害和不真实输出的减少，但如果用户逐步引导，ChatGPT仍然会响应有害指令；使用不当性：在学术界等场景使用ChatGPT并不恰当，多家顶刊已禁止生成式AI工具署名。

金融界2023-02-09

千鹤打板日记（2.9）——中航电测明日大概率开板

逆回购到期。　　3、知情人士：百度类ChatGPT应用首站将直接落地百度搜索　　2月9日，新京报贝壳财经记者从百度方面的知情人士处了解到，百度旗下的类ChatGPT应用“文心一言”上线后，首站将直接接入百度搜索。该人士透露，一些相关功能已陆续在百度搜索内上线或内测，包括多答案回复、智能生成等。　　4、“京东版”ChatGPT来了？回应：更聚焦2B行业，近期将有进一步突破　　据上证报，京东也在布局AIGC，将出手打造“京东版”ChatGPT产品？对此，京东集团副总裁、IEEE Fellow何晓冬2月9日在接受记者采访时表示，京东一直在ChatAI 和AIGC赛道上推进，但更聚焦2B行业，近期将有进一步突破，包括在这一赛道上推出下一代产品。　　5、今日电池级碳酸锂跌4000元/吨均价报45.6万元/吨　　上海钢联发布数据显示，今日部分锂电材料报价继续下跌，电池级碳酸锂跌4000元/吨，均价报45.6万元/吨；工业级碳酸锂跌3000元/吨，均价报42.55万元/吨；氢氧化锂跌3500元/吨。　　6、字节AI实验室正开展类似ChatGPT和AIGC相关研发未来或为PICO提供支持　　据科创板日报，字节跳动的人工智能实验室(AI Lab)有开展类似ChatGPT和AIGC的相关研发，未来或为PICO提供技术支持。据知情人士透露，PICO目前的业务发展不及预期，为此字节AI Lab将在VR内容生成上开展更多探索。据悉，字节AI Lab成立于2016年，研究领域主要涉及自然语言处理、数据挖掘、机器学习、语音与音频等。明天操作设想所分析的股票，只是复盘必须要做的工作，不建议任何人照搬操作。昨日分析3股，3只全部涨停，明天欣赏标的如下： 1、中航电测：6连板，国防军工+机器人+央企改革。这是一只大封盘股票，预计明天还会涨停。 2、通裕重工：4连板，汽车热管理+新能车+无人驾驶+氢能源。连续两个一字板。 3、鸿博股份：3连板，人工智能+5G概念+智能家居。股市有风险，入市需谨慎，打板风险很大，应该放弃操作。本分析只供欣赏，不建议任何人照搬操作。操作回顾今日建仓： 1.（300***）***；今日进场，获利15%以上。 2.（603533）掌阅科技；今日进场，获利5%。昨日分享复盘：今天心情不好，不想写了，自己去朋友圈翻！短线操作口诀分享上弧线涨勿急，下弧线涨勿慢 1、上弧线涨，成交量委缩小心要跌 2、下弧线涨，成交量委缩小心要涨用法：下跌后的最低点与反弹后的第一个回调低点作第一条上升趋势线，这个回调低点就是第一个趋势线介入支点。跌破第一条趋势线后的第一个低点作第二条趋势线，这个低点就是第二条趋势线的介入支点，以此类推。（灵活掌握）声明：仅供参考学习，不作为买卖依据！来源：金色财经

金色财经2023-02-09

慧博云通：关于公司涉及“ChatGPT”业务的报道不属实

息慧博云通澄清，截至目前，公司未进行ChatGPT相关的底层神经网络算法的技术研发，也未参与百度的“文心一言”项目或360等公司推出的ChatGPT相关项目。关于公司涉及“ChatGPT”业务的报道不属实，公司人工智能业务在公司整体业务中占比不大，请投资者予以关注。

金融界2023-02-09

芯片ETF（512760）盘中持续上扬，收涨4.17%

上涨个股超4200只。算力、AI芯片等ChatGPT衍生题材爆发，白酒、军工、证券涨幅靠前。上证指数收涨1.18%报3270.38点，市场成交额9020.7亿元，北向资金实际净买入121亿元，结束连续4日净卖出态势。芯片ETF（512760）盘中持续上扬，收涨4.17% 上涨原因分析：ChatGPT概念火热，算力、AI芯片受热捧 ChatGPT是由OpenAI于2022年12月推出的对话AI模型，其2023年1月月活跃用户达到1亿，是史上月活用户增长最快的消费者应用。ChatGPT主要以问答类为主，但与其他问答类AI产品不同，ChatGPT具备训练集中的所有知识，具有语言生成能力，可以实现拟人化交流，在问答模式的基础上ChatGPT可以进行推理、编写代码、文本创作等等，这样的特殊优势和用户体验使得应用场景流量大幅增加。 ChatGPT功能需要在基础模型上进行大规模预训练，需要大量算力。对于ChatGPT而言，支撑其算力基础设施至少需要上万颗英伟达GPU A100，从芯片市场角度出发，芯片需求的快速增加还会进一步拉高芯片均价。目前OpenAI已推出20美元/月订阅模式，初步构建了优质的订阅商业模型，未来继续扩容的能力将会大幅提升。面对指数级增长的算力和数据传输需求，GPU等算力芯片的厂商有望迎来蓝海市场。后市展望：短期芯片下游需求仍疲软，中长期关注国产替代主线短期芯片需求尚未见复苏。IDC最新报告显示2022年四季度全球智能手机出货量同比-18.3%至3.003亿部，2022年出货量为12.1亿部，同比-11.3%，创2013年以来的年度出货量最低值。四季度中国智能手机市场出货量约7292万台，同比-12.6%，2022年出货量约2.86亿台，同比-13.2%。来源：IDC、招商证券根据IDC数据，全球PC出货量2022年一季度增速转负，二三季度跌幅持续扩大，四季度全球个人电脑出货量为6720万台，同比-28.1%。同时IDC预计成品电脑和零部件的库存管理仍将是未来几个季度的关键问题，并有可能进一步影响平均售价。总体来说，因为防控的干扰、电子产品更新换代的需求已经开始出现了下降，导致消费类芯片的需求疲软，随着疫后经济逐渐复苏，有可能下半年之后芯片的需求见到拐点。因此我国芯片自主化发展的压力不断加重是长期趋势，国产替代也是必经之路。限制条件的扩大将倒逼产业链国产化进程的加速，持续看好国产化趋势给国内芯片产业链带来的成长机会。展望后市，芯片板块行情短期可能还是会受到需求下行的扰动，但国产替代背景下，板块还是有长期投资机会。目前板块估值仍在历史低位，性价比凸显。（来源:界面AI）声明：本条内容由界面AI生成并授权使用，内容仅供参考，不构成投资建议。AI技术战略支持为有连云。

有连云2023-02-09

「形式化验证」如ChatGPT或将取代人类？

近日，ChatGPT火出圈，上线仅两个月活跃用户就已突破一亿。用它写文章、码代码、谈恋爱，找工作回邮件已成了常规操作，网上还有不少教你利用该软件“赚钱”的门道，甚至宾大的沃顿商学院教授也声称“学生”ChatGPT通过了商业管理考试。于是人工智能取代某些岗位甚至是人工智能取代人类的热议话题登上了热搜，在人人被卷的时代，大家心里也渐渐打起小鼓。那么人工智能，或形式化验证这样的“计算机产物”，到底能否取代人类呢？在Web3.0的世界，形式化验证又能否取代人工审查呢？形式化验证形式化验证，是一种验证计算机程序是否按照了预期运行的数学证明方法。它将程序的属性和预期行为表达成为数学公式，然后使用自动化工具来检查这些公式是否成立。该过程有助于确保其程序符合预期。形式化验证的应用形式化验证是一种可被广泛应用于不同系统的工具，包括：计算机硬件设计：确保集成电路和数字系统符合它们所需的规范，并且行为正确。软件工程：验证软件系统的正确性和可靠性，特别是在航空、医疗设备和金融系统等任务关键型应用/领域。网络安全：评估加密算法和协议的安全性，并识别对安全敏感的系统中的安全漏洞。人工智能和机器学习：验证人工智能和机器学习模型的属性和行为，确保它们按照预期运行并做出精准预测。自动化定理证明：验证数学定理和证明数学猜想，应用于数学、物理学和计算机科学等领域。区块链和智能合约：确保区块链系统和智能合约的正确性、安全性和可靠性。智能合约的形式化验证智能合约的形式化验证，是通过将智能合约的逻辑和预期行为用数学表达式表示，然后使用自动化工具来检查这些数学表达式是否正确。这个过程包括：用形式化语言定义合约的规范和属性。将合约的代码“翻译"”成形式化的表示，如数学逻辑或模型。使用自动定理证明器或模型检查器来验证合约的规范和属性是否成立。重复验证过程，以发现和修复任何错误或偏离预期的情况。有时，自动化定理证明器或模型检查器不能证明或证伪一个属性。在这种情况下，可能需要对规范和期望的属性进行改进，并重复验证过程。将规范分解成更短小的代码或者提供更多的规范信息，可以完善规范和期望的属性。这可以使定理证明者和模型检查者更容易验证规范和属性是否成立。形式化验证可以应用于一个合约或同时应用于多个合约。Web3.0项目经常使用多个合约，确保这些合约一起工作并正确实现所需的项目功能非常重要。形式化验证当中，由于其属性已在数学上被严格证明是正确的，因此使用这种数学方法有助于确保智能合约不存在错误、漏洞和其他非预期行为。将代码形式化表示代码片段示例一如下代码显示了一个简化的代币转移功能程序：有两个用户，他们各自有一些代币（balance 和balance2 ）。函数transferFromUser1将代币从用户1转移到了用户2。该程序有一个不变量，即代币的总供应量总是等于余额之和。代码片段一：代币转移程序我们把不变量用数学公式表示，并对公式进行编号。数学公式中，“=”意味着“等于”，而不是赋值。代码片段示例二如下代码显示了如何添加逻辑公式（为了例子简单明确，在此暂时忽略整数溢出）。代码片段二：表达了代码含义的逻辑公式函数如果想要检查transferFromUser1是否保持了程序中的不变量，那么我们可以检查公式7（在函数的末尾）是否有不变性（公式1）。下面是使用高中代数方法进行的证明。形式化验证与人工审计的协同在确保智能合约的安全性方面，形式化验证和人工审计可谓相辅相成。形式化验证：形式化验证提供了一种系统化和自动化的方法来检查合约的逻辑和行为以及它的预期属性，使其更容易识别和修复潜在的错误或漏洞。它对发现复杂或不容易被察觉的问题十分有效，因为这些问题可能很难通过人工检查发现。当处理复杂或多个合约时，人类则很难推理出所有需要检查的组合和可能性，而机器则“毫无压力”。人工审计：人工审计提供了专家对合约代码、设计和部署的审查，审计专家可以利用他们的经验和专业知识来识别潜在的安全风险并评估合约的整体安全情况。除此之外，人工还可以验证形式化验证过程是否被正确执行，并检查无法用自动化工具检测的问题。因此人工专家审计，更有助于确保形式化验证中使用的规范和所需属性的正确性。综上，结合形式化验证和人工审计两个方法，才能对智能合约的安全性进行全面彻底评估，并增加发现和漏洞修复的机会。这也是一种结合了人类和机器各自特长，且被称为“深度防御”的安全方法。安全专家在线AMA 形式化验证的力量不可小觑，但是也不能忽略人工审计的重要性。在ChatGPT官网上，其已坦言了自身的不足，而人工智能无法取代人类思考和创造这样老生常谈的讨论在此也可以省略一万字……这不，Bard出错谷歌股价大跌。同样的，形式化验证也不可取代人工审计，两者相辅相成才能对智能合约进行完整的检验。来源：金色财经

金色财经2023-02-09

格上每日收评—2023年02月09日

场。今日市场再现放量普涨格局。盘面上，ChatGPT概念炒作全面扩散，半导体芯片板块全天领涨，通信设备、算力、信创板块涨幅居前。饮料、白酒股展开反弹。31个申万行业全部上涨。今日市场热点继续沿人工智能这一主线扩散，今日算力方向迎来集中爆发。从科技进步的角度来看，ChatGPT确实是继AlphaGo之后的一大突破，有着不可估量的前景。不过现阶段还并不是很成熟。人工智能是个很长期的赛道，除了技术之外，芯片、规模等都影响着整个行业的发展。目前来说，概念股炒作的可能性较高，不建议投资者盲目追热点。截至收盘，今日上证指数收于3270.38点，上涨1.18%，成交额为3518亿元；深证成指上涨1.64%，成交额为5493亿元；创业板指上涨1.74%。今日两市上涨个股数量为4208只，下跌个股数为715只。从风格指数上来看，今日所有风格均表现不错，其中成长和消费风格的个股涨幅最大，金融和稳定风格的个股表现最弱。近期风格转换较为明显。盘面上，31个申万一级行业中所有行业均上涨，其中电子，通信，国防军工行业领涨，涨幅分别为3.22%，3.17%，2.53%。银行，公用事业，综合行业涨幅最小，分别为0.33%，0.35%，0.36%。资金面上，今日北向资金净流入121.01亿元；其中沪股通净流入57.07亿元，深股通净流入63.94亿元。近三个月北向资金净流入2519.51亿元。俄乌和中美局势对北向资金边际影响逐渐缩小，美国通胀走势和国内经济状况最近对北向资金影响较大。从风险溢价指数来看，风险溢价率在历史上处于均值+1倍标准差之上时，A股往往处于底部区域。目前风险溢价率为2.68%，低于一倍标准差，万得全A指数处于爬升阶段。风险溢价指数近期下降，市场情绪回暖。后期市场仍有扰动，但下行空间相对可控，建议投资者择机分批布局。（注：数据更新至前一交易日，风险溢价率越大，表明配置股票的性价比越高；反之，则配置债券的性价比越高）热点新闻新闻一：上交所对ChatGPT相关概念股下发监管工作函，怎样看待？近期，人工智能研究机构OpenAI的ChatGPT产品热度大增。它能够真正像人类一样聊天交流，甚至能完成撰写邮件、视频脚本、文案、代码等任务。这款产品火爆全球之后，国内巨头也都纷纷加入。在ChatGPT在全球爆红，相关概念股纷纷大涨之际，海天瑞声和云从科技的股价在春节后短短8个交易日实现翻倍，成为兔年首批“翻倍牛股”。不过在2月8日深夜，ChatGPT炒作迎来了当头一棒：上交所开始对ChatGPT相关概念股下发监管工作函，具体来看，分别向海天瑞声、云从科技下发监管工作函。海天瑞声最新公告称，公司未与OpenAI开展合作，其ChatGPT的产品和服务未给公司带来业务收入，该领域对数据需求的发展趋势有待观察。请广大投资者务必注意投资风险，理性决策、审慎投资。云从科技在7日晚发布公告，经公司自查，公司目前经营活动一切正常，未发生重大变化。市场环境、行业政策没有发生重大调整，研发成本和销售等情况没有出现大幅波动，内部经营秩序正常。截至本公告披露日，公司未与OpenAI开展合作，ChatGPT的产品和服务未给公司带来业务收入。从科技进步的角度来看，ChatGPT确实是继AlphaGo之后的一大突破，有着不可估量的前景。不过现阶段还并不是很成熟。人工智能是个很长期的赛道，除了技术之外，芯片、规模等都影响着整个行业的发展。目前来说，概念股炒作的可能性较高，不建议投资者盲目追热点。市场有风险，投资需谨慎。本内容表述仅供参考，不构成对任何人的投资建议。格上研究

格上财富2023-02-09

小米：在ChatGPT领域有丰富落地场景

报道，记者从接近小米人士处获悉，小米在ChatGPT领域有丰富落地场景，包括小爱对话、机器人等，其中小爱拥有庞大数据支撑，会让小米在大模型方面进展更迅速。此前小米在AI大模型上已有多路并行尝试，未来将加大相关领域人力和资源投入。

金融界2023-02-09

24小时热点