MintedAtDawn

IBKR推出统一预测市场交易界面，单一平台可访问 Kalshi、CME Group 与 ForecastEx，无需多账户或资金划转，搜索、比价并以最佳价格跨平台下单，系统自动路由至最优交易所。界面与现有交易环境整合，支持统一管理并实时追踪预测头寸及股票、期权、期货、加密资产。初期聚焦选举、气候与经济指标相关合约，未来将接入更多交易所。

币界网消息，麻吉黄立成在HyperLiquid平台上减持ETH多单200枚，约合384,850美元。当前持仓规模为1,310,750美元，均价为1,952.84美元，当前盈亏为-56,243.61美元（-107.27%），当前币价为1,872.49美元，清算价为1,857.69美元。该交易员曾因蓝筹NFT获利，但今年活跃后自10月起连遭巨额回撤，资金从过亿缩水至数十万美元。

币界网消息，BTC巨鲸的多单浮亏已扩大至1142.3万美元，亏损比例达到67.10%。该巨鲸的持仓均价为76,117.30美元，目前币价为67,110.95美元，清算价为52,557.27美元，持仓规模为85,119,221.46美元。该地址曾持有超过5万枚BTC，沉寂8年后逐步将部分BTC换仓为ETH。其操作与特朗普言论及美国政策动向高度同步，曾在「10.11」大跌前布空获利近1亿美元，引发市场关注。

火星财经消息，6 月 2 日，据官方消息，链上应用 0xPPL 将逐步停止运营。6 月 6 日起平台将禁用交易，6 月 30 日应用将完全关闭。0xPPL 提醒用户在应用关闭前导出私钥，或将钱包内全部资金提取至其他钱包，以确保资产可继续访问。

火星财经消息 6月2日消息，据报道，韩国SK集团会长崔泰源1日在台北会见英伟达首席执行官（CEO）黄仁勋，两人就人工智能（AI）存储芯片合作进行交流。黄仁勋在答媒体问时表示，高带宽内存（HBM）供应链最关键的要素为性能、品质、可靠性和供应能力，因此英伟达正与SK紧密合作。（广角观察）

币界网消息，麻吉黄立成在HyperLiquid平台增持ETH多单450枚，约合995,955美元，持仓规模达到5,309,275美元，均价从2,009.25美元调整至2,007.31美元。目前该多单当前盈亏为-10,100.44美元，当前币价为2,003.50美元，清算价为1,962.71美元。该交易员曾因蓝筹NFT获利，但今年活跃后自10月起连遭巨额回撤，资金从过亿缩水至数十万美元。

GitHub 推出 Copilot 桌面端技术预览，将 Copilot 变为面向智能体驱动开发的独立应用，支持在同一界面并行管理多 AI 智能体，并为每个会话创建独立工作树与分支。智能体可协同分析修复 CI、按 Issue 编写新功能，互不干扰。新增 Agent Merge 自动审查、修复并合并 PR，原生接入 MCP 与自定义技能，企业授权后可使用。

美方称未来几日将于国际水域对与伊朗有关油轮进行登检并扣押商船，扩大海上行动范围至中东以外。与此同时，伊朗加强霍尔木兹海峡控制，周六袭击多艘商船并宣称水道处于严格管控。前一天，伊朗外长称海峡全面对商船开放，获特朗普赞扬。

ME News 消息，4 月 19 日（UTC+8），预测市场数据显示，在「霍尔木兹海峡的交通在4月底恢复正常？」事件中，「霍尔木兹海峡航运将在四月底前恢复正常？」的「是」选项成交概率由54.5%降至27.5%，单日下降27.0个百分点。

🚨 $BTC 减半理论 刚刚闪现出关键信号
当前周期正在追踪有史以来最为精准的比特币减半结构之一。历史数据显示，所有主要牛市高峰、分配阶段以及周期底部，都与反复出现的4年节奏惊人地高度契合。现在，该模型指向：在2026年8月至10月之间，可能出现一次潜在的次级回调，然后在2026年底至2027年初形成最终的周期底部。
让这一套安排变得引人入胜的，并不只是价格水平本身，而是市场心理、流动性扩张与减半时间线之间的同步性。此前的周期都几乎遵循相同的演变路径：从欣喜若狂走向分配，再进入投降，然后在下一轮积累阶段开始之前完成转折。当前的结构表明，在周期进入其最危险阶段之前，比特币可能仍有空间进行最后一轮上行动能扩张。
聪明的资金并不把注意力放在价格目标上。他们关注的是时机。如果这一框架继续成立，未来12到18个月可能会界定整个加密周期中最重要的财富转移时期之一。
历史不会完全重复。但在比特币中，它往往会以令人心悸的精确“押韵”方式重演。

火星财经消息，据 Onchain Lens 监测，随着 HYPE 价格一度走高，巨鲸“0x082”的 5 倍杠杆 HYPE 多单现已浮盈 4069 万美元，目前他仓位持有 138 万枚 HYPE，价值 9400 万美元。

ME News 4月18日称，中东局势波动致比特币回落至约7.6万美元。伊朗曾开放霍尔木兹海峡再引挤压，后关闭航道情绪逆转。本轮强平约168,336人、总额7.62亿美元，空头挤压约5.93亿美元。周线仍涨约4.5%，关注7.6万美元支撑位，若收于上方或突破，或延续上涨，否则或回到3月以来震荡区间。

国务院发布的“城市更新十五五”规划提出，以区块链赋能住房交易与产权登记，提升城市治理的智慧化与精细化水平。同步建设城市信息模型（CIM）基础平台，推动数据融合、统一底座与高效协同，完善 CIM 基础数据库和标准体系，赋码房屋建筑及市政设施，建设国家级房屋建筑和市政设施基础信息库；健全国家、省、城市三级城市运行管理服务平台，推动城市运行“一网统管”。

Math-AI 发布 MathCode 0.2.0，采用前缀缓存请求整形与策略控制，将 API 成本降至约一成。为长程证明与多轮交互的高开销提供优化，提升提示词结构稳定性以提高缓存命中率，新增前缀缓存诊断、策略控制、多断点缓存、空闲感知策略、最小前缀网关，通过对齐请求形状最大化原生缓存命中率。同时支持设定 token 预算、限制嵌套命令、动态调整思考深度；并将外接编译器作为子进程驻留、把编译检查路由至相应接口，降低部署门槛。

美国总统特朗普任命前司法部长帕姆·邦迪加入白宫人工智能委员会，成为总统科学技术顾问委员会成员。该委员会由戴维·萨克斯与迈克尔·克拉齐奥斯担任主席，成员包括英伟达创始人黄仁勋、Meta首席执行官马克·扎克伯格、甲骨文创始人拉里·埃里森等多位科技高管。邦迪将负责推动政府与科技巨头在委员会内的协调工作。

在无监督学习播客中，杨立昆提出对大型语言模型局限性的反主流观点，探讨机器人技术路径，解释离开Meta的原因，并与Hinton、Bengio在图灵奖观点上存在分歧。他还预测2027年、介绍新公司AMI对世界模型的押注，将OpenAI与Anthropic比作Sun Microsystems公司；并建议博士生停止研究LLM，分享对AI安全、突破性研究机制及Meta FAIR得失的见解。