RecodeX 重构消息，Axiom Math宣布其AxiomProver系统已完成Lean 4机器可验证证明，证实素数间隔的一个最强已知结论：存在无穷多对素数相差不超过246。该结果于2026年8月17日以交互式形式化蓝图为形式发布，署名包括41位数学、工程及首席研究员贡献者。246是目前该问题已知的最佳上界。
Axiom Math的AI系统在Lean中验证素数间隔246定理
AI 辅助判断积极仅供信息参考，不构成投资建议
原始信息来源Uniteunite.ai
查看原文 ↗更多快讯
查看全部 →股市
港股收盘恒指跌1.26% 恒生科技指数跌2.36%
RecodeX 重构消息，港股收盘，恒生指数下跌1.26%，恒生科技指数下跌2.36%。个股方面，洛阳钼业跌4.35%，长和跌4.37%，商汤-W跌4.76%，快手-W跌5.58%，阿里巴巴-W跌6.91%，MINIMAX-W跌8.16%，智谱跌9.42%。
股市
恒生指数收跌1.26%，恒生科技指数跌2.36%，阿里巴巴跌约7%
RecodeX 重构消息，港股主要指数收跌，恒生指数收盘下跌1.26%，恒生科技指数下跌2.36%。个股方面，阿里巴巴跌约7%，智谱跌约9%，minimax跌约8%；黄金股同步走弱，赤峰黄金跌约7%，山东黄金跌约5%。
Memecoin
Max coin（$Max） 曲线进度达 85%，持有人 192，临近毕业
RecodeX 重构消息，Four.meme 代币 Max coin（$Max） bonding curve 进度已达 85.1%，距离迁移 PancakeSwap 仅剩 14.9%；当前市值 23828.1 BNB（约 16.07 百万美元），1 小时涨跌 +647.3%，持有地址 192 个。曲线末段通常伴随成交放…
加密货币
Bybit WSOT 2026战队争霸赛11月13日开赛，最高奖池320万USDT
RecodeX 重构消息，Bybit WSOT 2026战队争霸赛将于11月13日18:00（北京时间）正式开启，持续至12月2日18:00，各战队将围绕最高3,200,000 USDT奖池展开角逐。 赛事规则显示，战队盈利率得分奖励按比例分配：20%发放给战队队长，20%由战队盈利率排名前10的队员瓜分，剩余60%由…
股市
德国DAX指数涨0.9%创历史新高，为8月底以来首次
RecodeX 重构消息，德国DAX指数最新上涨0.9%，自8月底以来首次刷新历史最高纪录。
Memecoin
Max coin（$Max） 发射 1 分钟即现异动：持有地址 148 个
RecodeX 重构消息，BSC 链 Four.meme 平台新代币 Max coin（$Max） 发射仅 1 分钟，持有地址 148 个，曲线进度 84.9%，市值 23578.8 BNB（约 15.91 百万美元），1 小时涨跌 +639.4%。新发射代币波动极大、绝大多数在数小时内归零，本条为链上信号播报，不构成…