celebrityanime

celebrityanime

Hyperscale Data 比特幣金庫持有約 961 枚比特幣,價值約 $6,230萬 拉斯維加斯,2026年8月11日/美通社/ — Hyperscale Data, Inc.(NYSE American:GPUS),一家以比特幣爲基石的人工智能(「AI」)數據中心公司(「Hyperscale Data」或「公司」), Hyperscale Data Bitcoin has about 961 bitcoins, valued…

Hyperscale Data 比特幣金庫持有約 961 枚比特幣,價值約 $6,230萬 拉斯維加斯,2026年8月11日/美通社/ -- Hyperscale Data, Inc.(NYSE American:GPUS),一家以比特幣爲基石的人工智能(「AI」)數據中心公司(「Hyperscale Data」或「公司」), Hyperscale Data Bitcoin has about 961 bitcoins, valued…

Hyperscale Data 披露其比特币金库持有约 961 枚比特币、市值约 6230 万美元,将 AI 数据中心业务与比特币储备直接绑定,成为又一家把加密货币纳入资产负债表的 AI 基础设施公司。

OpenSSH 10.5 发布,现接受 AI 修复

OpenSSH 10.5 发布,现接受 AI 修复

OpenSSH 发布 10.5 版本,并在官方发布说明中明确接受 AI 辅助生成的代码修复。作为全球最核心的安全基础设施之一,OpenSSH 的这一姿态意味着开源维护者开始认真对待 AI 写代码这件事。

英伟达 Nemotron 3.5 Lightning

英伟达 Nemotron 3.5 Lightning

英伟达发布了开源大模型 Nemotron 3.5 Lightning(30B 总参数、仅 3B 活动参数),主打低算力消耗和超长上下文,单张消费级或工作站级 GPU 即可运行,瞄准的是长时运行的 AI 智能体场景。

基于 Lean 的忠实性对齐评估

基于 Lean 的忠实性对齐评估

Millennium Research 发布了一款名为 leanscreen 的开源工具,用于检查 Lean 4 定理陈述是否存在“空洞承诺”——比如证明能编译通过,但定理本身只是恒等式,实际意义为空。这类问题正是大模型生成形式化证明时最隐蔽的风险点。

OpenSSH 10.5 发布,现已支持 AI 辅助

OpenSSH 10.5 发布,现已支持 AI 辅助

OpenSSH 10.5 正式发布,团队同时公开表示欢迎 AI 辅助提交的安全漏洞报告,前提是有人工研判、测试用例或修复建议。开源安全社区对“是否接受 AI 进代码树”仍有明显分歧,但至少在漏洞挖掘环节,AI 已被权威基础设施项目官方接纳。