10月29日，星期天 10:15
火讯财经讯，据新智元报道，近日热衷于用GPT-4、Copilot做研究的数学大神陶哲轩，在AI的帮助下发现了自己论文中的一处隐藏bug。一些数学爱好者粉丝在此帖中惊呼：这太惊人了，很高兴看到AI证明助手的传播，为数学研究的未来奠定了更坚实的基础。陶哲轩对此表示，“这是完全有可能的事。或许在不久的将来，我们就可以在Lean之上构建一个AI层。只要把证明中的各步描述给AI，AI就可以利用Lean来执行证明了，过程中还能各种调用计算机代数软件包。”今年6月，陶哲轩就曾在GPT-4试用体验的博客中预言：2026年，AI将与搜索和符号数学工具相结合，成为数学研究中值得信赖的合著者。这期间，不断有人证明着这一点，比如加州理工、英伟达、MIT等机构的学者，就构建出一个基于开源LLM的定理证明器。
0
火讯财经讯，2月28日消息，TheSandbox在X平台宣布，已完成一项战略升级，将2.67亿枚SAND从原有公司钱包迁移至更安全的SAFE金库中。
5 小时前
火讯财经讯，2月27日消息，以太坊联合创始人VitalikButerin在社交媒体上发文阐述以太坊扩容的短期和长期计划。短期扩容方面，即将到来的Glamsterdam升级将引入区块级访问列表以实现并行验证，以及ePBS功能。同时引入多维Gas机制，新增“状态创建Gas”维度，不计入约1600万的交易Gas上限，允许创建更大合约。EVM将维护两个不变量，通过“储备池”机制处理多维Gas消耗。长期来看将转向多维定价模型。 长期扩容包括ZK-EVM和Blobs两部分。Blobs方面将继续迭代PeerDAS，目标达到约8MB/秒的数据处理能力，未来以太坊区块数据将直接进入Blobs。ZK-EVM方面将分阶段推进：2026年将出现允许验证者使用ZK-EVM参与的客户端，但不足以让网络完全运行；2027年将推荐更大比例的网络运行ZK-EVM，同时专注于形式化验证和安全性提升；当准备就绪时，将转向3-of-5强制证明，区块需包含来自不同证明系统的5种证明中的3种才有效。届时预计所有节点（索引节点除外）都将依赖ZK-EVM证明。
6 小时前
火讯财经讯，2月27日消息，CoinAnk数据显示，过去24小时加密货币市场全网合约爆仓2.12亿美元，其中多单爆仓1.50亿美元，空单爆仓6180.60万美元。BTC爆仓总金额6773.83万美元，ETH爆仓总金额6484.63万美元。
6 小时前
火讯财经讯，2月27日消息，据CrowdfundInsider报道，花旗集团宣布计划于2026年晚些时候推出面向机构客户的比特币托管解决方案，将比特币直接嵌入其核心银行运营。新平台将把传统税务报告、监管合规和风险管理流程扩展到比特币持仓，使投资者可在统一系统内像管理股票或债券一样管理比特币头寸。该平台支持7x24小时运营、Swift全球转账和API连接，针对养老金基金和保险公司等机构参与者设计。该行将构建自身技术栈，包括花旗综合数字资产平台，首先推出核心托管功能，逐步扩展到增强资产隔离和抵押管理的高级服务。
6 小时前
火讯财经讯，2月27日消息，据Cointelegraph提醒，白宫已设定3月1日为解决稳定币奖励争议和推进《Clarity法案》的最后期限。
6 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
