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

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

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

金色财经2023-02-09

传字节AI实验室正开展类似ChatGPT和AIGC相关研发 PICO回应消息不实

究领域主要涉及自然语言处理、数据挖掘、机器学习、语音与音频等。　　对此，PICO相关负责人表示消息不实，PICO目前没有采用类似ChatGPT技术的产品规划。

金融界2023-02-09

润达医疗：推出慧检-智慧检验综合解决方案等人工智能产品

语言处理引擎、医学知识推理、临床自动化机器学习等多项人工智能技术，率先推出慧检-智慧检验综合解决方案等产品。目前慧检-人工智能解读检验报告系统已经在国内数十家公立医院推广使用。同时公司在协助深圳罗湖区、哈尔滨新区等地搭建全周期的健康服务平台，通过人工智能技术深入挖掘检验大数据价值，推动AI在检验报告智能解读、互联网检验以及居民全周期健康管理等领域的应用，为临床提供更全面、更准确的信息支持，提升临床的诊疗效率。（来源:界面AI）声明：本条内容由界面AI生成并授权使用，内容仅供参考，不构成投资建议。AI技术战略支持为有连云。

有连云2023-02-09

ChatGPT开启 AI 新纪元，数据、算法、算力领域谁最受益？

人工标注为主，属于劳动密集型产业。随着机器学习不断完善，自动标注成为大趋势。” 另外，算法是 AI 模型的“大脑”，是 AI 实现技术跃迁的根本，也是最难以被直观理解的部分。一个好的算法除了能更好的完成设定的任务外，还需具备更强的通用性（激活更多的可用数据）和更优化的计算原理（减少算力的负担）。因此，在 AI 领域具备科研资源和资金实力的公司将有望拔得头筹。而对于ChatGPT的下游应用场景，梳理机构一致看好的应用方向，主要集中在智能客服、搜索引擎、图像、文字、代码生成等三大方面。智能客服方面，中金公司报告表示，ChatGPT在未来投入商业化领域中，可通过强化的上下文理解能力，优化银行、电商等客服机器人，大大提高服务质量。搜索引擎方面，ChatGPT更是带来了行业是否将迎来“革命性”变化，能否替代传统搜索引擎的大讨论。归纳性工作上，文字上，东方证券指出，ChatGPT的上线，将推动文本类AI渗透于文本生产、智能批阅等应用领域，相关领域必将迎来极大的发展空间。 “同时，代码开发相关的工作更加规整，也非常适合AI辅助生成。ChatGPT在目前测试中表现出的代码生成能力，虽然欠缺一些底层的稳定性，但相比于Copilot更加灵活。在进行针对性的优化后，基于新GPT模型的AI代码辅助工具有望在中短期内落地。”中信证券指出。因此，具体到细分投资方向上，上投摩根基金指出，从产业链出发，主要可以考虑三类：一类是从事大模型基础研发的企业，一类是上游为大模型研发提供算力等基础设施的厂商，另一类是下游针对细分场景开发软件的第三方应用厂商。标的方面，算力领域，财通证券建议投资者关注海光信息、龙芯中科、宝信软件等。AI处理器方面，华西证券建议投资者关注寒武纪、商汤、海光信息等。AIGC相关技术储备的应用厂商，受益标的有万兴科技、中文在线、阅文集团、昆仑万维、视觉中国视觉等。值得一提的是，在ChatGPT的下游应用领域，海外已经有成功的落地案例。 2023年1月，美国新闻聚合网站BuzzFeed官宣将依托OpenAI为其用户互动栏目Quizzes制作和个性化各种小测试。ChatGPT会生成一系列提问，再根据个人的回答产生用户独有的、可分享的文章。不久前，Meta向BuzzFeed支付了数百万美元，以让BuzzFeed为Meta的平台生成内容，并培训平台上的创作者。赵凤飞表示，目前市场上出现的概念股大涨，有较强的主题催化成分，具有一定的博弈色彩。但如果ChatGPT在未来的商业化落地上还能再有斩获，或者其它的AI公司也能推出有竞争力的AI产品，那AI板块的行情则有望持续更久。国内的AI公司，包括很多A股上市的AI公司，在NLP相关领域也有多年积累，具备较为深厚的技术积淀，也有相关的产品。但目前来看，同ChatGPT这种现象级产品相比，仍有一定差距。当然，万物皆有利弊。赵凤飞提示：“很多上市公司对AI的布局尚处于早期阶段，竞争格局还不够清晰，是否有可持续的商业模式也有待检验，这些也都是潜在的风险。投资者可以选择智能产业相关的主题基金，或者选择一些长期聚焦在信息技术领域的基金产品，这些产品对AI技术的关注会相对较多，对相关领域的利好也会更加敏锐。” 海内外科技巨头争相加码AIGC 多数公司关联性并不强需警惕 ChatGPT作为AIGC商业化的方向之一，引得国内外科技公司纷纷加码布局。 1月23日，微软宣布与OpenAI展开全新合作，未来将追加投资数十亿美元； 1月30日，Meta发布首个基于文本生成4D视频的工具MAV3D； 2月2日，微软宣布旗下产品将全线整合ChatGPT，同日ChatGPT宣布推出付费订阅服务； 2月3日，谷歌向AI初创企业Anthropic投资约3亿美元，并宣布将推出类似于ChatGPT的大型语言模型。2022 年 12 月，谷歌紧急召回创始人拉里·佩奇和谢尔盖·布林，讨论应对 ChatGPT 的相关计划。根据statcounter 数据，2020.01-2022.11 谷歌的全球市场份额超 90％，是全球搜索引擎市场的绝对霸主，而 ChatGPT 的出现对谷歌搜索引擎形成了挑战。国内方面，大厂也有布局相关产品。 2月7日，百度宣布将于3月在中国推出类似ChatGPT的人工智能聊天机器人“文心一言”；2月8日，阿里巴巴回应研发类ChatGPT的对话机器人的传闻，称，“确实在研发中，目前处于内测阶段，后续如有更多信息，会第一时间和大众同步。” 同日，三六零表示，公司的类ChatGPT技术的各项指标只能达到略强于GPT-2的水平，与当前的ChatGPT相比尚有代差的落后。不过，即使是被多家券商认定的“ChatGPT龙头企业”，多数公司关联性并不强。在投资者互动平台中，福石控股反复表示“公司主营业务不包含ChatGPT相关产品”。根据公司业绩预告，2022年净利润同比降幅达86.49％~90.41％。同样作为ChatGPT概念股的一员，在2月1日的调研活动中，公司董事会秘书、副总经理周英瑜表示，“公司基于自身在NLP技术领域的全面性以及长期在行业端的深耕，对不同行业客户的数据特点、业务需求的理解更为深刻，在项目磨炼中，已经形成自身独有的算法模型，更能为行业客户提供满足需求、输出结果更为专业精准的专业化模型”，但根据2022年中报，占据公司营收大头的产品分别是笔智能交互、文本大数据、AI终端和人脸及生物特征识别，看上去和ChatGPT关系并不大。海天瑞声在股票交易严重异常波动公告中称公司尚未与OpenAI开展合作，其ChatGPT的产品和服务尚未给公司带来业务收入。据不完全统计，近期在互动平台上，包括科蓝软件、东方嘉盛、蕾奥规划、延华智能、天阳科技、景嘉微、高新兴、华如科技、恒实科技、弘讯科技等多家上市公司纷纷澄清暂无相关业务布局，暂无ChatGPT的相关技术和应用，并提示投资者理性投资，注意风险。目前来看，ChatGPT从技术到成熟的商业模式或许还将有一段路要走，包括整个AIGC仍需等待收益兑现，炒作不持续，这也是不少业内人士的共识。博时基金行业研究部高级研究员王赫认为ChatGPT仍有风险点存在，比如，通过检索到的信息来输出回答，而要验证检索到的信息仍然必须依靠大量人力，借助网友来对ChatGPT的回答进行反馈优化，从而实现对其模型的进一步训练。未来，谁来对其检索到的信息负责、由此产生的对现有知识产权体系的挑战仍待解决。　　

金融界2023-02-09

大家都在购买 AI 代币但你应该吗？

了：它将如何接管像谷歌这样的搜索引擎，机器学习将如何帮助我们拯救地球免受气候变化的影响，以及它将如何让每个人的工作都过时。作为科技行业稍微被排斥的弟弟，人工智能总是不可避免地也会为加密对话做出贡献。知名交易员还指出人工智能是下一个牛市的源头。来自Cryptoslate的数据显示，AI 代币市场在过去 7 天内上涨了 86% 以上。区块链和人工智能在一些人工智能代币中以创新的方式混合在一起。据称，借助 SingularityAI (AGIX)，人工智能、区块链、去中心化和隐私以一种新颖的形式结合在一起。该项目的通用人工智能 (AGI) 声称独立于任何中央实体（如 OpenAI 或 Microsoft）。大多数加密货币爱好者都听得入耳。然而，伴随突然的大市场上涨而来的是更大波动的风险。在撰写本文时，AGIX 在过去 24 小时内下跌了约 18%。大数据协议 (BDP) 是一种在 2021 年流行的代币，之后徘徊在 2 美分左右，在 1 月份上涨了近 4000%。然而，批评者质疑人工智能与区块链的兼容性。推特上的一位交易员表示：“当炒作平息时，投机者会离开，因此价格会暴跌，如果你赚钱了，就获利了结。” 一个警世故事最近人工智能代币市场的飙升应该让人们停下来思考一下。并非每个代币都会持久或基于可持续的商业模式或可展示的技术。在 AI 热潮之前，有 AI Doctor（AIDOC），这是一个提供基于 AI 的实时健康监测、疾病诊断和个性化治疗建议的平台。根据 2018 年的一篇文章，它是由来自百度和微软的资深科学家以及一些顶尖大学教授组成的中国团队创立的。（这些科学家和教授是谁是个谜。）听起来很有趣，对吧？嗯，在撰写本文时，该项目似乎已不存在。就互联网而言，它几乎已经消失了。它的最后一篇报道是在 2018 年，当时Cryptoslate写道，它“正在努力建立一个自动化的医疗价值链，该价值链将根据患者的实时生命体征创建数字数据块……AIDOC 然后使用诊断模块来帮助查明问题的原因，然后列出可能的追索途径。” AIDOC 最后一次在交易所上市是在 2022 年 9 月，之后火币将其退市。现在，加密货币生态系统比 2018 年成熟得多。假项目更容易被发现，投资者被坑了够多次，社区也吸取了教训。但 AIDOC 的故事仍然是一个警示故事。现在每个人都对 AI 感兴趣，随后的暴涨正在发生，但市场不会总是这么好。来源：金色财经

金色财经2023-02-09

Hashed：2023 年加密领域的十大趋势

）和问题解决的早期研究发展到数据合成和机器学习（ML）的最新发展。这导致人工智能在各个行业被广泛采用，包括医疗保健、金融、媒体和交通。随着大型语言模型（LLM）的成功，人们越来越期待人工智能将在 2023 年得到广泛的应用，如 ChatGPT 就是一个最好的例子。区块链游戏行业将从人工智能的进步中大大受益，特别是在简化传统游戏开发流程和增加游戏体验方面——所有这些都是通过生成性人工智能实现的。生成式人工智能是一个发展了十多年的领域，但直到最近，它才发展到足以模仿甚至超越人类在图像、语言和语音识别方面的能力。该市场在 2021 年的估值为 80 亿美元，预计到 2028 年将达到 630 亿美元以上。目前，AAA 级游戏开发商将其预算的很大一部分用于内容创作，这也是当今游戏行业的主要瓶颈。顶级游戏工作室至少需要 3 年以上的时间才能完成制作，因此开发者必须在产品发布前几年预测消费者趋势。在加密货币游戏中，开发周期变得更加具有挑战性，因为加密玩家的喜好可能会迅速变化，而且无法预测。生成式人工智能可以成为解决这一问题的强大解决方案。通过在多个游戏迭代过程中收集来自社区测试者核心小组的用户行为数据，开发者可以训练模型来创建独特的、生成的内容，这些内容是为特定人群量身定做的，如关卡、人物和物品。这种内容是按程序生成的，根据用户行为的实时变化而演变。这不仅为玩家提供了多样化、动态的游戏体验，而且还帮助开发者减少了手动创建内容的需要。除了游戏，我们也很高兴看到 AI 在其他加密货币垂直领域的潜力。预测性风险管理在交易团队中越来越受欢迎，他们训练生成性人工智能模型来生成合成金融数据，以模拟不同的市场条件——价格、CEX/DEX 交易量、订单簿深度、AMM 流动性等。这有助于交易者了解如何在各种市场条件下识别和应对潜在风险。由人工智能解决方案驱动的智能合约审计是我们正在关注的另一个领域。目前的审计过程十分繁琐、低效和昂贵。我们希望未来的审计人工智能模型能够用现有的智能合约代码的大型数据集，以及有关漏洞、错误和攻击模式的信息来训练。经过充分的数据处理和清理，该模型应该能够自动分析和审计新的智能合约代码输入。最有效的人工智能解决方案是那些完善数据收集过程的解决方案——无论是信息数量还是质量。我们设想的未来是受激励的数据市场。去中心化的计算协议，如 Filecoin 和 dFinity，以及分布式 GPU 渲染协议，如 RenderNetwork，是领先案例。随着分布式人工智能协议的出现，生态系统的一部分可以被代币化，同时利用激励措施来换取用户的参与和数据共享，以进一步加强基于人工智能的模式。用户、人工智能和代币之间的这种共生关系拥有巨大的潜力，将彻底改变这个行业。九：机构金融将通过区块链基础设施进入加密市场据预测，在 2023 年，机构融资的规模将大幅增长，部分原因是对代币化真实世界资产的越来越多采用（RWA：代表对基础资产的债权），以及在企业级押注和无担保贷款方面取得的进展。目前，真实世界资产（RWA）最成功的应用是稳定币，市场领导者包括 USDT、USDC 和 BUSD 等市值最高的七个代币。加密原生组织在 RWA 方面表现出明显的主动性，比如 MakerDAO 投资了 5 亿美元的美国国债和公司债券，并分散投资于其他类型的 RWA，如房地产、发票和商业贷款。RWA 现在占 Maker 总协议收入的近 60%，显示了这一领域的潜力。机构金融的另一个重大发展是企业级流动性质押的增长，受 LSD（流动性质押衍生品）部门扩张的推动。像 Alluvial 这样的公司正在建立企业级的流动性质押标准，将机构资本和 PoS 区块链进行连接。这使代币持有者可以将代币进行抵押，获得可以作为抵押品的代币，从而提高资本效率。对流动性质押需求的有效性已经被这一市场的扩张所证明，在一年内，总代币抵押率从 21% 进步到近 40%。过去两年，去中心化借贷发展迅速，但目前大多数借贷模式需要超额抵押的债务头寸，链上借款人缺乏获得通用信贷的机会。DeFi 空间已经变得很复杂，学习曲线很高，而且分散在多个 dApp 和基础设施中，因此很难管理头寸和产生可持续的收益。熊市揭示了收益耕作无法持久，无担保 P2P 借贷的兴起被视为更可持续的收益来源。链上无担保借贷提供了透明度，使担保人能够主动借贷。像 Maple Finance 和 Goldfinch 这样的项目正积极致力于以去中心化的方式向现实世界的机构企业提供资本。然而，DeFi 领域并非没有挑战。加密货币缺乏明确的法规是该行业的一个主要不确定性。如果行业能够推动链上代币化和证券化的迭代进展，拥有明确的指导方针，这将大大有利于该行业，并为真正的、能产生现金流的活动开辟广泛的可能性。总的来说，我们认为机构发展是 DeFi 不可避免的进步，而 CeFi 将继续巩固其地位。传统金融机构预计将更多地尝试成熟的 DeFi 协议，如 MakerDAO、AAVE 和 Centrifuge。此外，预计会有大量的初创企业专注于以符合监管要求的方式使传统金融机构进入加密货币市场。这种特性将有可能产生更大的金融层，特别是在数百万创业者被拒绝在金融系统之外的新兴市场。十：以印度为首的新兴市场崛起，挑战美国在创新和开源的主导地位加密货币领域正在见证新参与者的持续流入，特别是在印度这样的新兴市场。根据 Chainalysis 在去年 9 月公布的 2022 年全球加密货币采用指数，印度在中心化和去中心化上转移的金额领域都处于领先地位，在新兴经济体中显示出显著的加密货币采用程度。同时，从供应商的角度来看，美国长期以来一直是全球区块链创新的中心，但以印度为代表的新兴国家正发生的快速技术进步，美国现在正面临着挑战。在过去的十年中，印度已经发展成为一个科技创新中心，并被认为是世界上领先的科技人才来源之一。3500 多所工程学院每年培养 150 多万工程毕业生，将推动印度成为世界上最大的软件开发人员基地，到 2024 年超过美国。此外，这个人才基地已经不再只是跨国公司的执行层，而是成为创新、高价值的角色。此外，就开源贡献而言，印度正在见证全球最快的增长，在印度，GitHub 上的开发者社区有 970 万人，仅次于美国。仅在 2022 年，就有 250 万来自印度的新用户加入 GitHub。这一技术人才库的最大受益者是「软件即服务」行业。据预测，印度的 SaaS 行业在未来十年将增长 25 倍，达到 500-700 亿美元。印度的创始人已经交付了多个全球公认的 SaaS 产品和开发者工具，包括 Freshworks、Zoho、Hasura、Postman 等。在恰当生态系统的支持下，印度也可以在区块链的新兴世界中引领下一波创新。根据 2022 年电力资本开发者报告，当美国的 Web3 开发者市场份额继续下降时，印度在相对较短的时间内将其市场份额稳步提高到 5% 以上，并且在 Web3 开发者的数量方面已经跻身全球前 4。印度的 SaaS 出现了指数级的增长和活动，有 500 多名来自印度 SaaS 公司的前雇员成为创业者。这种趋势在区块链基础设施方面仍在继续，因为一些创始人已经从 Web3 公司中脱离出来，进行创业。来自印度的领先 Web3 项目的早期员工，如 Polygon，已经开始建立区块链基础设施项目。区块链领域的 SaaS 和基础设施的演变可能会反映出印度 SaaS 革命的历程，尽管由于成本低、技术熟练、大量讲英语的人才基础、技术基础设施的改善、软件优先和加密货币的模块化性质，以及 COVID 加速的数字 GTM 趋势，其速度要快得多。上述因素可能会使印度成为区块链基础设施运动的中心，创始人将在横向和纵向领域建立产品。我们将拭目以待，这些印度的创新 Web3 项目如何在短期的波动，仍表现出长期增长。来源：金色财经

金色财经2023-02-09

每个人都在购买 AI 代币还有机会吗？

了：它将如何接管像谷歌这样的搜索引擎，机器学习将如何帮助我们拯救地球免受气候变化的影响，以及它将如何让每个人的工作都过时。作为科技行业稍微被排斥的弟弟，人工智能总是不可避免地也会为加密对话做出贡献。知名交易员还指出人工智能是下一个牛市的源头。来自Cryptoslate的数据显示，AI 代币市场在过去 7 天内上涨了 86% 以上。区块链和人工智能在一些人工智能代币中以创新的方式混合在一起。据称，借助 SingularityAI (AGIX)，人工智能、区块链、去中心化和隐私以一种新颖的形式结合在一起。该项目的通用人工智能 (AGI) 声称独立于任何中央实体（如 OpenAI 或 Microsoft）。大多数加密货币爱好者都听得入耳。然而，伴随突然的大市场上涨而来的是更大波动的风险。在撰写本文时，AGIX 在过去 24 小时内下跌了约 18%。大数据协议 (BDP) 是一种在 2021 年流行的代币，之后徘徊在 2 美分左右，在 1 月份上涨了近 4000%。然而，批评者质疑人工智能与区块链的兼容性。推特上的一位交易员表示：“当炒作平息时，投机者会离开，因此价格会暴跌，如果你赚钱了，就获利了结。” 一个警世故事最近人工智能代币市场的飙升应该让人们停下来思考一下。并非每个代币都会持久或基于可持续的商业模式或可展示的技术。在 AI 热潮之前，有 AI Doctor（AIDOC），这是一个提供基于 AI 的实时健康监测、疾病诊断和个性化治疗建议的平台。根据 2018 年的一篇文章，它是由来自百度和微软的资深科学家以及一些顶尖大学教授组成的中国团队创立的。（这些科学家和教授是谁是个谜。）听起来很有趣，对吧？嗯，在撰写本文时，该项目似乎已不存在。就互联网而言，它几乎已经消失了。它的最后一篇报道是在 2018 年，当时Cryptoslate写道，它“正在努力建立一个自动化的医疗价值链，该价值链将根据患者的实时生命体征创建数字数据块……AIDOC 然后使用诊断模块来帮助查明问题的原因，然后列出可能的追索途径。” AIDOC 最后一次在交易所上市是在 2022 年 9 月，之后火币将其退市。现在，加密货币生态系统比 2018 年成熟得多。假项目更容易被发现，投资者被坑了够多次，社区也吸取了教训。但 AIDOC 的故事仍然是一个警示故事。现在每个人都对 AI 感兴趣，随后的暴涨正在发生，但市场不会总是这么好。不要被流行语所迷惑，做你自己的研究。来源：金色财经

金色财经2023-02-09

鸿博股份涨停，收深交所关注函：要求说明北京赋能中心的相关业务实际进展情况

，英伟达将为创新赋能中心及英博数科提供机器学习、深度学习、图像处理、自然语言处理、认知推理、AIoT等领域的AI技术资源和技术支持。公司将充分利用资金和管理优势与英伟达丰富的技术经验相结合，打造具有竞争力的产品及服务，为公司创造新的利润增长点，助力公司业务向人工智能产业拓展。 2023年2月5日，北京AI创新赋能中心核心基础设施AIDC（智算中心）一期所有设备及配套软件已经全部到货，由英伟达提供的PREMIUMSERVICE也于2023年1月26日全面激活，将于2月16日接受券商及第三方技术监理机构验收探访。针对北京赋能中心的相关进展，深圳证券交易所发出关注函。请公司就以下问题进行认真核查并做出书面说明： 1、请核查并说明相关业务是否已形成具体、稳定、可持续的经营模式和盈利模式，截至目前实际的进展情况，是否已实际投入运营，公司主营业务及经营环境是否发生重大变化。 2、请核查并说明截至目前相关业务是否产生营业收入与利润，对公司财务数据是否产生重大影响，如否，请进行必要的风险提示。 3、请结合上述问题的回复，以及公司2022年业绩预告中预计2022年度亏损5,729万元–8,593万元，相比上年度下降726.87%-1040.26%的情况，说明公司《关于股价异动的公告》中“上市公司认为必要的风险提示”章节是否充分、完整、恰当地揭示了公司目前的经营风险及其他业务风险。如否，请及时进行补充披露。 4、请核查公司控股股东、董事、监事、高级管理人员及其直系亲属是否存在买卖公司股票的行为、是否存在减持计划、是否存在涉嫌内幕交易的情形。（来源:界面AI）声明：本条内容由界面AI生成并授权使用，内容仅供参考，不构成投资建议。AI技术战略支持为有连云。

有连云2023-02-09

智能电动车的未来怎么看？我用12个问题“专访”了一下ChatGPT······

的。他自称为小李，致力于学习人工智能和机器学习，希望能够利用这些技术将智能电动车发展到一个新的高度。呦吼，他成功引起了小智的注意~ 于是，我开始了一连串的提问。我先问他是不是看好智能电动车的投资前景。ChatGPT说他非常看好，并且从政策变革、国家和地方资金和政策支持的角度阐述了他看好的原因，在我的要求下，他还具体深入地讲了一下智能电动车未来的趋势，不仅具有低碳节能的优势，还提升电子、电力设备和整车产业的发展。然后我继续问他知不知道智能电动车ETF（516380），他依然回答得井井有条。我再接再厉想让他多聊聊，然后他开始给我讲策略了，虽然与法律文件有些许出入，但核心逻辑倒是没错。注：投资策略请以基金法律文件为准。投资有风险。投资前请仔细参阅本材料文末所附风险提示内容。要命的是，ChatGPT还给智能电动车（516380）拟了一句还算不错的slogon：“跟风投资，追未来趋势”。然后我又问他，知不知道咱们华宝基金。他很快给出答案，说他很了解华宝基金，专注于指数投资，拥有多只指数基金并与国际主流指数合作。但他没说出来，不仅指数投资，华宝基金作为成立于2003年的老牌公募，经过十九载的发展，已成为一家产品线完善、具备多元投资和资产配置的资产管理公司。看来简答题是真的难不倒他了，我决定试试填空题。我问ChatGPT智能电动车ETF（516380）的前几大重仓股，然后他就开始一本正经地胡说八道了，给我列出了六大银行····· 不过好在他态度还算诚恳，在我的纠正下，第二次就给出了宁德时代、比亚迪和立讯精密这样的满分回答，并贴心附上了代码。再试试小学简单的数学题吧。正好比亚迪最近得了全球销冠，于是我继续提问：已知2022年比亚迪全年销售了187万辆汽车，同比增长152%，其中新能源汽车销售186万辆，同比增长209%。问：如果2023年也保持这个增速，比亚迪2023年汽车销量和新能源汽车销量分别是多少？ChatGPT的答案是这样的：你说他乱预测了个数字吧，他说他是“严谨”地考虑了市场发展和政策影响系数，然后从历史数据当中估算的。我决定继续向他索要一点情绪价值。让他回顾了一下2022年的基金市场并展望了一下2023，给咱们基民打打气，看一下ChatGPT的满满正能量！到这里，我们也真的有理由期待，不远的未来，当智能电动车载上ChatGPT交互平台，或将迎来智能汽车AI大变革的时代！毕竟就在此时此刻，ChatGPT也在不停地学习人工智能和机器学习呢~ 最后，小智和ChatGPT各自作了首诗，尽情畅想了搭载了ChatGPT交互平台的智能电动车未来的世界。猜猜看哪首是ChatGPT的作品？诗歌1：低碳出行惬意醉，节能环保时时新。智能安全常助力，自在驾驶无忧虑。无需经常把油加，每次来回都便捷。从此人车心连心，出行舒心眷恋浓。诗歌2：现代智能电动车，智慧出行最优选。安全时尚享舒适，境净环优立大功。旅途虽远无所惧， AI伙伴常陪同。不耗燃油亮市容，烟火人间藏心中。风险提示：文中所提个股仅为中证智能电动车指数成份股举例，不代表基金管理人任何投资建议，不构成任何投资建议或推介。智能电动车ETF（516380）被动跟踪中证智能电动车指数，该指数基日为2014.12.31。指数成份股构成根据该指数编制规则适时调整，其回测历史业绩不预示指数未来表现。本基金由华宝基金发行与管理，代销机构不承担产品的投资、兑付和风险管理责任。投资人应当认真阅读《基金合同》、《招募说明书》、《基金产品资料概要》等基金法律文件，了解基金的风险收益特征，选择与自身风险承受能力相适应的产品。基金管理人评估的本基金风险等级为R3-中风险。基金过往业绩并不预示其未来表现，基金投资需谨慎。（来源:界面AI）声明：本条内容由界面AI生成并授权使用，内容仅供参考，不构成投资建议。AI技术战略支持为有连云。

有连云2023-02-09

加密货币投资者涌入AI股票而这可能是泡沫的迹象

0％以上，这是对其生态系统构建去中心化机器学习网络使命的认可。　　这三种加密货币充斥着人工智能流行语，它们的总市值超过13亿美元，这就不难理解为什么投资者会在科技炒作中涌入。　　加密货币以其泡沫而闻名，而这场由人工智能驱动的反弹具有所有令人尖叫的特征。但说真的，投机性的加密货币热潮与席卷股市的C3等公司的热潮有多大不同。C3.ai （ai）、BigBear （BBAI）和SoundHound （SoundHound）的股价已经飙升？　　加密代币可能比市值较小的人工智能股票更具投机性，但这两种押注的爆发表明了同样的狂热。投资者要小心。

金融界2023-02-09

24小时热点