掃碼下載
搜索“Lean”共有92條相關結果
刚刚，OpenAI 把一个内部前沿模型做出来的数学成果，一股脑放上了 GitHub 来源：OpenAI 官方账号 Github 仓库位于 openai/math，里面收了 722 篇论文，并把结果归成 372 个族，涉及大约 4000 道问题，平均每个结果，花掉约 3 小时 ChatGPT Pro 的思考算力 如果你打开第 003 号，会发现惊人的一幕：O…
比特币走弱…相关股涨跌互现 在比特币呈现下跌趋势的情况下，加密货币相关个股根据品种不同，表现出现分化。 截至25日9时4分，比特币报收777395美元，较前一交易日下跌1.13%。相比前一日的2.01%，跌幅有所收窄。 Coinbase上涨…Strategy下跌 Strategy股价下跌0.84%，报收171.02美元，表现疲软。 Coinbase上涨0.…
Glean Technologies Inc.今日宣布增强其数字助手Glean Assistant的功能。此次更新使用户能够实现更个性化的应用，包括实时语音支持、品牌定制内容生成、主动模板提供等。此外，Glean Assistant通过企业专属操作实现了多种任务的自动化。 开发企业级AI代理的Glean提供了一个平台，可便捷创建能够在各部门及整个组织中使用…
在比特币呈现弱势的背景下，加密货币相关股票普遍走强。 当地时间3日，据雅虎财经报道，加密货币交易所Coinbase(COIN)收盘上涨2.96%，报272.82美元。 金融科技公司Block(XYZ)上涨2.72%，报66.80美元；Robinhood(HOOD)上涨0.23%，报128.49美元。 公布了比特币持有策略的Kindly MD(NAKA)上涨…
作者：Justin Drake，来源：以太坊基金会 昨日，Ethereum（以太坊）迎来了它的 10 岁生日。 今天，“Lean Ethereum（精简以太坊）”作为对未来 10 年的愿景——也是我的个人使命——正式揭幕。 我们正站在一个新时代的黎明。数百万级 TPS、量子对手的威胁…… 以太坊如何在极致性能与不妥协的安全性、去中心化之间找到平衡？ 简而言…
撰文：Timmy, The Block 编译：Gabriel, Techub News 要点： 这家日本投资公司又增持了1,005枚比特币，使其总持仓达到13,350枚。 此次最新购入使其超过了持有12,830枚比特币的Galaxy Digital和持有12,502枚比特币的CleanSpark。 Metaplanet再增持1,005枚比特币，市值约1.0…
撰文：J1N，Techub News 在信息爆炸的时代，高质量的新闻报道和深度分析往往被付费墙所阻隔。然而，用户对免费获取信息的渴望催生了名为 Bypass Paywalls Clean（BPC）等的一系列浏览器插件。该类型插件利用技术手段绕过网站的付费限制，使用户能够自由访问原本受限的内容。尽管这满足了部分用户的需求，但也引发了关于版权和道德的广泛讨论。…
Fox Business producer Eleanor Terrett’s following exploded after she began providing commentary on the SESC v. Ripple lawsuit. Fox Business producer Eleanor Terrett says that, as …
PANews 9月5日消息，比特币矿企 CleanSpark 发布的8月比特币挖矿与运营更新显示：8 月比特币产量为 659 枚，2023 年迄今已开采 4729 枚，截至 8 月 31 日 BTC 总持有量为 1677 枚。8 月 CleanSpark 售出 43 枚 BTC，约合 120 万美元。目前，比特币矿机已部署 88,217 台，算力为 9.3…
Techub News 消息，以太坊基金会发布「Lean 以太坊」升级路线图，计划通过七次协议升级在 2029 年前实现主网约 1 万 TPS 及抗量子安全，Layer 2 整体吞吐量目标约 100 万 TPS。 该路线图基于 2026 年 1 月内部研讨会提出的「草图」框架，包含精简共识、数据及执行三大技术支柱，首个升级「Glamsterdam」预计 2026 年下半年实施，并将逐步引入后量子密码学以抵御量子计算威胁。（CryptoBriefing）
Techub News 消息，@VitalikButerin 发推称，其越来越看好使用 Lean 编程语言通过「vibe-coding」（氛围编程）方式开发重要项目，并分享了相关技术示例链接。 Vibe-coding 指开发者通过自然语言描述需求，由 AI 辅助生成代码的编程模式。Lean 是一种函数式编程语言及定理证明器，常用于形式化验证数学证明和关键代码正确性。
Techub News 消息，以太坊联合创始人 Vitalik Buterin 发文警告，AI 加速数学研究可能在未来两年显著削弱格密码体系（如 ML-DSA、FHE）的实际安全性，甚至可能使 ECDSA 比预期更早面临破解风险。他认为 AI 可能在两年内推动相当于过去 50 年的数学研究进展。 Vitalik 指出，以太坊 Lean 路线图过去一年已逐步转向纯哈希签名方案，以降低对格密码的依赖。对于资产安全，他建议在操作方便时优先将资金存放于尚未发起过交易的地址，但不建议用户立即仓促迁移资产，因为迁移本身也存在资金损失风险。他还建议多签钱包尽量采用链下签名确认，避免公开暴露签名信息。（吴说区块链）
Techub News 消息，以太坊联合创始人 Vitalik Buterin 在 X 平台发文表示，精简共识机制将非常出色。他分享了一篇关于精简共识机制的文章链接，该机制旨在提升区块链网络的效率与安全性。 （@VitalikButerin）
Techub News 消息，波场创始人孙宇晨在 X 平台宣布推出 Justin Sun Prize 学术奖励计划。该计划旨在奖励数学领域的突破性研究，参与者需解决符合条件的数学问题，并使用 Lean 语言将成果形式化，通过该计划的开源 GitHub 仓库提交机器可验证的证明。 该计划已列出五个待解决的数学问题，具体细节与提交指南可在其官网查看。孙宇晨表示，此举旨在推动数学研究的开源协作与形式化验证发展。（@justinsuntron）
Techub News 消息，以太坊联合创始人 Vitalik Buterin 称，拟在「Lean 以太坊」路线图中强化验证者隐私，通过每日重新匿名化、ZK 证明余额及分离验证者注册表等措施，消除长期验证者索引并实现公钥每日更换。 该方案分三阶段推进：压缩公钥存储、以 ZK 证明替代链上奖惩计算、重构每日独立的验证者注册表。这标志着隐私与量子安全已成为以太坊继合并后的核心一等目标，协议拟在未来三至四年完成第三次重大迭代。（U.Today）
Techub News 消息，比特币矿企 CleanSpark 发布 2026 年 9 月未经审计的运营更新。公司当月产出 529 枚 BTC，截至月末共持有 13,530 枚 BTC。 此外，CleanSpark 已完成此前宣布的 22.76 亿美元高级担保票据发行，所筹资金将用于 Sandersville 数据中心的剩余建设成本、偿还部分前期投入及建立偿债储备。该项目已签署为期 20 年、价值 66 亿美元的租赁合同。 CleanSpark 同时表示，未来将过渡至与能源及数据中心行业一致的季度报告节奏，并停止发布月度运营更新。
Techub News 消息，比特币矿企 CleanSpark 已完成 22.76 亿美元高级担保票据的发行与交割。该公司表示，融资所得将用于扩展其数据中心基础设施，并为现有信贷进行再融资。此次融资通过 Rule 144A 条款向合格机构投资者非公开发行。 CleanSpark 称，随着高性能计算和 AI 基础设施需求增长，电力合同、变电站、土地和大型数据中心园区本身已成为有价值的资产。这笔大规模融资为公司提供了额外资本，使其无需完全依赖股权发行或出售比特币储备即可扩张。（NewsBTC）
Techub News 消息，美国道德办公室披露的特朗普定期交易报告显示，其投资组合于 7 月 24 日买入了价值 1,001–15,000 美元的 Coinbase 股票，并于 7 月 24 日和 27 日分别买入了价值 1,001–15,000 美元和 50,001–100,000 美元的 Strategy 股票。 报告还记录了 7 月 8 日卖出价值 1,001–15,000 美元的 Strategy 股票，以及 7 月 29 日分别卖出价值 15,001–50,000 美元的比特币矿企 CleanSpark 和 MARA Holdings 股票。白宫表示，该投资组合由第三方金融机构独立管理，特朗普及其家人无法指导、影响或提供有关投资决策或交易时机的意见。（@WuBlockchain）
Techub News 消息，数据中心开发商 CleanSpark 宣布其全资子公司 CSDC Finance I 定价发行 22.76 亿美元、利率 7.875% 的优先担保票据，预计于 2026 年 9 月 25 日完成发行。票据发行所得净收益将用于完成佐治亚州桑德斯维尔数据中心的建设、偿还公司前期投入及设立偿债储备金。 CleanSpark 将为数据中心项目提供完工担保，确保在票据收益不足时提供必要资金。该票据面向合格机构投资者及美国境外非美籍人士私募发行，未在证券交易委员会注册。（SEC EDGAR）
