10月29日，星期天 10:15
火讯财经讯，据新智元报道，近日热衷于用GPT-4、Copilot做研究的数学大神陶哲轩，在AI的帮助下发现了自己论文中的一处隐藏bug。一些数学爱好者粉丝在此帖中惊呼：这太惊人了，很高兴看到AI证明助手的传播，为数学研究的未来奠定了更坚实的基础。陶哲轩对此表示，“这是完全有可能的事。或许在不久的将来，我们就可以在Lean之上构建一个AI层。只要把证明中的各步描述给AI，AI就可以利用Lean来执行证明了，过程中还能各种调用计算机代数软件包。”今年6月，陶哲轩就曾在GPT-4试用体验的博客中预言：2026年，AI将与搜索和符号数学工具相结合，成为数学研究中值得信赖的合著者。这期间，不断有人证明着这一点，比如加州理工、英伟达、MIT等机构的学者，就构建出一个基于开源LLM的定理证明器。
0
火讯财经讯，币安合约将于2026年4月8日17:00下架OLUSDT、HIPPOUSDT、RLSUSDT和PUFFERUSDT U本位永续合约，及于2026年4月9日17:00下架WIFUSD和WLDUSD币本位永续合约。请用户注意在停止交易前自行平仓，以避免头寸自动清算。
8 分钟前
火讯财经讯，币安合约发布公告称，将于2026年4月8日09：00（UTC）对OLUSDT、HIPPOUSDT、RLSUSDT和PUFFERUSDT永续合约，以及2026年4月9日09：00（UTC）对WIFUSD和WLDUSD永续合约进行自动平仓和结算，并随后下架。用户需在相应时间前自行平仓。
9 分钟前
火讯财经讯，ETH若突破2149美元，主流CEX累计空单清算强度将达9.05亿美元；若跌破1952美元，主流CEX累计多单清算强度将达8.75亿美元。
10 分钟前
火讯财经讯，数据显示，若比特币（BTC）跌破63540美元，主流中心化交易所（CEX）累计多单清算规模将达13.04亿美元；反之，若BTC突破69964美元，主流CEX累计空单清算规模将达12.59亿美元。
10 分钟前
火讯财经讯，有市场消息显示，以太坊二层网络解决方案Offchain Labs联合创始人Edward Felten在EthCC 2026主题演讲中提出，需引入“动态定价”机制，以支撑数十亿用户规模并降低网络拥堵期间的手续费波动。 Felten指出，当前Gas价格剧烈波动仍是抵御网络过载的主要手段，但这种波动性对主流用户构成显著障碍；动态定价机制可在较低Gas价格下承载更多交易流量，同时避免基础设施超载。 针对该提议，开发者Julian Kors认为，动态定价的主要缺点在于可预测性低于EIP-1559；Status Network项目负责人Cyprien Grau则表示，该模型虽提升了费用准确性，但仍未解决结构性问题——随着扩容竞争加剧，二层网络Gas费用长期趋近于零，动态定价本质上仍是建立在持续贬值资产之上的收入模型。
17 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
