OpenAI 揭示 Astra 模型，借助 $2K 的算力，解决了 10 个十年来的数学难题
根据 Beating，OpenAI 于 8 月 1 日发布了其下一代旗舰模型 Astra，并在数学与理论计算机科学领域的 10 道长期未解问题上取得了突破。这些问题至少在 10 年内都没有出现任何进展。Astra 直接攻克了其中多项，包括构造了第一个非 sofic 群、推翻了 Connes 刚性猜想，并解决了 3 道 Erdős 问题。其他成果还涵盖了球体装箱、编码理论、量子复杂性以及后量子密码学。
在当前 API 定价下，该模型使用约 2,000 美元的计算 token 生成了这 10 份解答。随后，人类将证明整理成论文形式，Astra 将其转换为 Lean 证书，以便计算机进行验证。OpenAI 已公开发布这些论文、证明以及模型推理轨迹。
xStocks 宣布推出统一执行层 xChange
代币化美股平台xStocks宣布推出统一执行层xChange，旨在整合Ethereum和Solana上的代币化股票流动性。xChange采用原子化结算机制，确保交易要么按报价全额成交，要么完全不执行，从而消除部分成交的风险。xStocks表示...
KOSDAQ 在10个月低点后，机构买入推动下收复 800 以上KOSDAQ在9日上午10点收复至805.45，较前一日下跌的785.00上涨20.45点（2.61%），突破800点并试图稳定在该水平之上。机构买入1090亿韩元股票，而个人和外资分别卖出734亿韩元和359亿韩元。前一日，KOSDAQ收盘于785.00...
Binance CSO Patrick Hillmann 表示员工持仓90天后才可交易的政策一直严格落实BinanceCSOPatrickHillmann表示，关于所有币安员工持仓90天后才可交易的规则，“至少从我2021年加入币安以来，这一直是币安的一项严格政策”，我们有一个内部安全团队，负责监控多个平台上可能存在的员工交易活动，...
以太坊拒绝趋势线阻力，空头仍保持主导地位据TheSignalyst在TradingView发布的技术分析，6月20日以太坊（Ethereum）拒绝了关键阻力汇合区域。该分析师表示，ETH在一条下跌趋势线之下交易时仍偏空，当价格在趋势线阻力与水平结构阻力交汇处遭到回绝时，出现了...
随着半导体景气带动现金流增长，SK 集团在债券发行方与买方之间完成了角色转换SK集团因半导体繁荣提升了现金创造能力，从而减少了其在韩国债券市场的公司债发行活动。该财团由此前作为主要债券发行方的角色，转变为作为债券买方的新角色，这得益于其社群再平衡举措，并且半导体业务运营带来的现...