大语言模型，果然可以用来研究数学定理！最近，微软亚洲研究院、北大、北航等机构的研究人员，通过97个回合的「苏格拉底式」严格推理，成功让GPT-4得出了「P≠NP」的结论！论文地址：https://arxiv.org/abs/2309.05689几个月前，数学天才陶哲轩曾在一篇博客中称，2026年，AI将与搜索和符号数学工具相结合，成为数学研究中值得信赖的合著者。6月，加州理工、英伟达、MIT等机构的学者，就构建了一个基于开源LLM的定理证明器LeanDojo。如今，GPT-4用出色的表现再次证明，LLM的确有进行科学研究和科学发现的能力。P/NP难题有多难作为美国克雷数学研究所（CMI）在20
如果我们将区块链定义为信任机器，那么预言机器本质上可以被描述为维护和建立信任的机器。事实上，区块链本身并不产生信任，信任的输入来自于预言机。智能合约的模块化增长将带来大量的交互需求和相应的差异数据请求。为此，Bitbyte.Finance与预言机上线，提供链上协议和各种模块，与链下世界交互，并与其他协议共享协议自己的模块，最终按顺序使用预言机。实现数据资产的进一步价值裂变。预言机价值的概率被严重低估了。预言机是进入Web3必不可少的选择，但随着链上应用和链下关联的增加，预言机的认知一直停留在喂价上，这显然低估了它的价值。可以提供证明，可以提供数据，可以展开统计来证明链下事件，如储蓄证明来证明资
「人类可能在2030年之前，开发出AGI」。SamAltman在最近的播客采访中透露，GPT-10就是AGI，它比全世界所有人加起来还要聪明！而当主持人问道，如何定义AGI？Altman称：如果我们能够开发出一个系统，能自主研发出人类无法研发出的科学知识时，我就会称这个系统为AGI。ChatGPT的横空出世，已经在世界各地掀起了巨大的冲击波，远远超过AlphaGo人机大战的反响。或许你会问，OpenAI究竟想要的是什么？WIRED在本期的封面报道中，深度分析了OpenAI的雄心、战略，以及它在企业发展过程中保留实验室文化的尝试。文章指出，OpenAI的最终的目标：改变一切。其中还有有趣的一点是
我不太明白softwaretestingoracle的概念.它说:Anoracleisamechanismfordeterminingwhethertheprogramhaspassedorfailedatest.考虑以下代码://classthatshouldbetestedpublicintsum(inta,intb){returna+b;}//testclassstaticMaintester=newMain();@TestpublicvoidtestSum(){assertEquals("2+3is5",5,tester.sum(2,3));}应测试的类总是返回2个整数的总和。
图灵奖得主、深度学习先驱Hinton曾预言到，「人们现在应该停止培训放射科医生。很明显，在五年内，深度学习会比放射科医生做得更好。这可能需要10年的时间，但我们已经有了足够多的放射科医生。」我认为，如果你是一名放射科医生，你就像一只已经走到悬崖边缘、但还没有往下看的野狼。近七年过去了，人工智能技术仅仅参与并替代了部分放射员的技术工作，并且存在功能单一、训练数据不足等问题，让放射科医生的饭碗依然握得很牢。但ChatGPT类的基础模型发布后，人工智能模型的能力得到了前所未有的提升，可以处理多模态数据、无需微调即可适应新任务的in-context学习能力，高度灵活、可重复使用的人工智能模型的迅速发展
如果我们现在要实现一个赌球合约，用户用ETH参与这个合约中来，由于区块链是一个确定性的、封闭的系统环境，当球赛结束时，合约怎么知道哪个球队赢了呢？这时候就需要预言机来获取链外数据。解决2个问题：1.如何获取链外数据。 2.如何保证安全性。 预言机项目Chainlink: 它打造一个去中心化的节点网络，赌球合约可以直接找Chainlink下发获取比赛结果的订单，Chainlink利用自己的节点网络，让矿工们去线下收集数据，然后对数据进行整合，筛选，最后同一汇总到链上，然后把结果放回给赌球合约。利用私有的节点网络保证安全性。 预言机项目Augur：
超级AI智能会杀死所有人！SamAltman曾多次公开表态对AI未来的担忧，甚至自己都夜不能寐。如今，OpenAI组建了一个团队，试图用20%算力，在未来4年解决「超级智能对齐问题」。图片最新团队将由联合创始人兼首席科学家IlyaSutskever和JanLeike共同领导。博客开篇，短短几行，遍阐述了OpenAI对超级智能降临时间的预判，以及具有「毁天灭地」能力的重度担忧。超级智能将是人类发明的最具影响力的技术，可以帮助我们解决世界上许多最重要的问题。但超级智能的巨大力量也可能非常危险，并可能导致人类丧失权力，甚至导致人类灭绝。虽然有超级智能现在看来还很遥远，我们相信这可能在十年内实现。接下
ADAMoracle支持广域节点喂价的多链去中心化预言机安全高效。去中心化预言机ADAMoracle的诞生将助力DEFI领域持续长远科学发展。安全和可靠的理念渗透至了ADAMoracle网络的各个层面，接入了ADAMoracle喂价的应用可以放心地执行智能合约，并稳健地扩展规模，为用户保障更大的价值。其次，ADAMoracle预言机通过聚合合约选出喂价数据最精准的节点，使其完成喂价服务。除预言机智能计算系统全程保驾护航外，ADAMoracle还在架构中很大程度的增加了安全性。预言机的功能是将外界信息转化写入区块链，完成区块链与现实世界的数据互通，是智能合约与外部进行数据交互的途径。预言机需要从
1.为什么需要预言机区块链是一个完全封闭的环境，在智能合约执行的过程中，不能引入不确定性，也就是说不能出现网络访问，因为网络访问是不确定的。如果智能合约的执行结果不是确定的，那么就有可能造成节点之间数据的不同步。但是随着智能合约不断的发展，链需要从真实的实际去获取信息。这些信息有可能是币价信息、股价信息、天气、真正的随机数等等。而智能合约获取这些数据的时候，需要通过确定性的方法，对于每一次数据的获取，所有节点获取到的数据是一致的。为了达到这个目的，就需要预言机（oracle），这里的预言机不会预测任何事情，只是会将现实世界的数据传输到链上，供链上的智能合约使用。2.预言机的几种实现方法预言机的
ADAMoracle预言机提供安全且极致便利的整体解决方案。预言机是链外数据的提供平台，也是智能合约的参数输入源，它能真实、准确地将链外数据输入链内，从而保证链内数据的真实性，实现智能合约可信的与外部世界进行交互。ADAMoracle生态及其去中心化预言机网络能够大幅提升DeFi协议的防篡改性，特别是提升其获取实时市场数据的关键能力。ADAMoracle预言机通过连接多个节点来计算和验证报价，从而避免了单个故障点：双向报价和价格验证可防止ADAMoracle遭受相关破坏和进一步给客户造成的损失。那么ADAMoracle将可能成为其中的重要组成部分，因为预言机实现了区块链与互联网、现实世界的数据
